Showing results 32 to 51 of 67
< previous
next >
Issue Date | Title | Author(s) | Type | Access Type |
Feb-2022 | Graded epistemic logic with public announcement | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | article | |
2011 | Hybrid specification of reactive systems: An institutional approach | Madeira, A.; Faria, J.M.; Martins, Manuel A.; Barbosa, L.S. | bookPart | |
2011 | Hybridization of institutions | Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S. | bookPart | |
May-2021 | Introducing fuzzy reactive graphs: a simple application on biology | Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
1-Apr-2022 | Introduction to reversal fuzzy switch graph | Campos, Suene; Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
5-Oct-2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. | article | |
Oct-2010 | Luminescent SiO(2)-coated Gd(2)O(3):Eu(3+) nanorods/poly(styrene) nanocomposites by in situ polymerization | Macedo, Andreia G.; Martins, Manuel A.; Fernandes, Silvia E. M.; Barros-Timmons, Ana; Trindade, Tito; Carlos, Luis D.; Rocha, Joao | article | |
15-Dec-2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A. | article | |
2019 | Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers | Chaves, Madalena; Martins, Manuel A. | book | |
Jun-2021 | Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic | Costa, Diana; Martins, Manuel A. | article | |
2018 | A note on reactive transitions and Reo connectors | Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís Soares | bookPart | |
1-Apr-2019 | On Herbrand’s Theorem for Hybrid Logic | Costa, Diana; Martins, Manuel A.; Marcos, João | article | |
15-Apr-2019 | On interval dynamic logic: Introducing quasi-action lattices | Santiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A. | article | |
2008 | On the behavioral equivalence between k-data structures | Martins, Manuel A. | article | |
2005 | On the injectivity of the Leibniz operator | Descalço, L.; Martins, Manuel A. | article | |
1-Sep-2017 | Paraconsistency in hybrid logic | Costa, Diana; Martins, Manuel A. | article | |
Apr-2008 | Photoluminescent, transparent and flexible di-ureasil hybrids containing CdSe/ZnS quantum dots | Neves, Marcia C.; Martins, Manuel A.; Soares-Santos, Paula C. R.; Rauwel, Protima; Ferreira, Rute A. S.; Monteiro, Teresa; Carlos, Luís D.; Trindade, Tito | article | |
Jul-2019 | Polystyrene nanoplastics alter the cytotoxicity of human pharmaceuticals on marine fish cell lines | Almeida, Mónica; Martins, Manuel A.; Soares, Amadeu M. V.; Cuesta, Alberto; Oliveira, Miguel | article | |
14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article | |
Oct-2023 | Recent trends in algebraic development techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers | Madeira, Alexandre; Martins, Manuel A. | book | |