Browsing by Author Martins, Manuel A.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 17 to 36 of 38 < previous   next >
Issue DateTitleAuthor(s)TypeAccess Type
2011Hybrid specification of reactive systems: An institutional approachMadeira, A.; Faria, J.M.; Martins, Manuel A.; Barbosa, L.S.bookPartrestrictedAccess
2011Hybridization of institutionsMartins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S.bookPartopenAccess
5-Oct-2018A logic for the stepwise development of reactive systemsMadeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.articleembargoedAccess
Oct-2010Luminescent SiO(2)-coated Gd(2)O(3):Eu(3+) nanorods/poly(styrene) nanocomposites by in situ polymerizationMacedo, Andreia G.; Martins, Manuel A.; Fernandes, Silvia E. M.; Barros-Timmons, Ana; Trindade, Tito; Carlos, Luis D.; Rocha, JoaoarticlerestrictedAccess
15-Dec-2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre; Neves, Renato; Barbosa, Luís S.; Martins, Manuel A.articleopenAccess
2019Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected PapersChaves, Madalena; Martins, Manuel A.bookrestrictedAccess
2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís SoaresbookPartrestrictedAccess
15-Apr-2019On interval dynamic logic: Introducing quasi-action latticesSantiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A.articleembargoedAccess
2008On the behavioral equivalence between k-data structuresMartins, Manuel A.articlerestrictedAccess
2005On the injectivity of the Leibniz operatorDescalço, L.; Martins, Manuel A.articleopenAccess
1-Sep-2017Paraconsistency in hybrid logicCosta, Diana; Martins, Manuel A.articleopenAccess
Apr-2008Photoluminescent, transparent and flexible di-ureasil hybrids containing CdSe/ZnS quantum dotsNeves, Marcia C.; Martins, Manuel A.; Soares-Santos, Paula C. R.; Rauwel, Protima; Ferreira, Rute A. S.; Monteiro, Teresa; Carlos, Luís D.; Trindade, TitoarticlerestrictedAccess
14-Mar-2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.articleopenAccess
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L.S.articlerestrictedAccess
19-Dec-2014Refinement in hybridised institutionsMadeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S.; Hennicker, RolfarticleopenAccess
2-Apr-2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, RenatobookPartopenAccess
2010Shaping gold nanocomposites with tunable optical propertiesMartins, Manuel A.; Fateixa, Sara; Girao, Ana V.; Pereira, Sergio S.; Trindade, TitoarticleopenAccess
16-Feb-2018A short overview of Hidden LogicFerreirim, Isabel; Martins, Manuel A.bookPartembargoedAccess
2016Simultaneous CVD synthesis of graphene-diamond hybrid filmsCarvalho, Alexandre F.; Holz, Tiago; Santos, Nuno F.; Ferro, Marta C.; Martins, Manuel A.; Fernandes, Antonio J. S.; Silva, Rui F.; Costa, Florinda M.articlerestrictedAccess
2003Some applications of propositional calculusManfredini, Enrique H.; Martins, Manuel A.articleopenAccess