1. Home

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 58 to 67 of 67 < previous 
Issue DateTitleAuthor(s)TypeAccess Type
Jun-2019Rigid first-order hybrid logicBlackburn, Patrick; Martins, Manuel A.; Manzano, María; Huertas, AntoniabookPartopenAccess
2019rPrism: a software for reactive weighted state transition modelsFigueiredo, Daniel; Rocha, Eugénio; Martins, Manuel A.; Chaves, MadalenabookPartopenAccess
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
May-2021Special issue “International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18”Veloz, Tomas; Chaves, Madalena; Martins, Manuel A.articlerestrictedAccess
12-Jun-2016A tableau system for Quasi-hybrid logicCosta, Diana; Martins, Manuel A.bookPartopenAccess
2016Timesaving microwave assisted synthesis of insulin amyloid fibrils with enhanced nanofiber aspect ratioCarvalho, Tiago; Pinto, Ricardo J. B.; Martins, Manuel A.; Silvestre, Armando J. D.; Freire, Carmen S. R.articlerestrictedAccess
Aug-2018Tuning lysozyme nanofibers dimensions using deep eutectic solvents for improved reinforcement abilitySilva, Nuno H. C. S.; Vilela, Carla; Pinto, Ricardo J. B.; Martins, Manuel A.; Marrucho, Isabel M.; Freire, Carmen S. R.articleopenAccess
Showing results 58 to 67 of 67 < previous