Showing results 51 to 67 of 67
< previous
Issue Date | Title | Author(s) | Type | Access Type |
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 | |
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 | |
2023 | Relating Kleene algebras with pseudo uninorms | Bedregal, Benjamin; Santiago, Regivan; Madeira, Alexandre; Martins, Manuel A. | bookPart | |
15-Mar-2023 | Relation-changing models meet paraconsistency | Costa, Diana; Figueiredo, Daniel; Martins, Manuel A. | 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 | |
19-Nov-2020 | Reversal Fuzzy Switch Graphs | Campos, Suene; Santiago, Regivan; Martins, Manuel A.; Figueiredo, Daniel | article | |
Jun-2019 | Rigid first-order hybrid logic | Blackburn, Patrick; Martins, Manuel A.; Manzano, María; Huertas, Antonia | bookPart | |
2019 | rPrism: a software for reactive weighted state transition models | Figueiredo, Daniel; Rocha, Eugénio; Martins, Manuel A.; Chaves, Madalena | 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 | |
May-2021 | Special issue “International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18” | Veloz, Tomas; Chaves, Madalena; 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 | |
Aug-2018 | Tuning lysozyme nanofibers dimensions using deep eutectic solvents for improved reinforcement ability | Silva, Nuno H. C. S.; Vilela, Carla; Pinto, Ricardo J. B.; Martins, Manuel A.; Marrucho, Isabel M.; Freire, Carmen S. R. | article | |