Showing results 25 to 39 of 39
< previous
Issue Date | Title | Author(s) | Type | Access Type |
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 |  |
14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article |  |
2009 | Refinement by interpretation in a general setting | Martins, Manuel A.; Madeira, A.; Barbosa, L.S. | article |  |
19-Dec-2014 | Refinement in hybridised institutions | Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.; Hennicker, Rolf | article |  |
2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart |  |
2010 | Shaping gold nanocomposites with tunable optical properties | Martins, Manuel A.; Fateixa, Sara; Girao, Ana V.; Pereira, Sergio S.; Trindade, Tito | article |  |
16-Feb-2018 | A short overview of Hidden Logic | Ferreirim, Isabel; Martins, Manuel A. | bookPart |  |
2016 | Simultaneous CVD synthesis of graphene-diamond hybrid films | Carvalho, Alexandre F.; Holz, Tiago; Santos, Nuno F.; Ferro, Marta C.; Martins, Manuel A.; Fernandes, Antonio J. S.; Silva, Rui F.; Costa, Florinda M. | article |  |
2003 | Some applications of propositional calculus | Manfredini, Enrique H.; Martins, Manuel A. | article |  |
12-Jun-2016 | A tableau system for Quasi-hybrid logic | Costa, Diana; Martins, Manuel A. | bookPart |  |
2016 | Timesaving microwave assisted synthesis of insulin amyloid fibrils with enhanced nanofiber aspect ratio | Carvalho, Tiago; Pinto, Ricardo J. B.; Martins, Manuel A.; Silvestre, Armando J. D.; Freire, Carmen S. R. | article |  |