Showing results 20 to 39 of 67
< previous
next >
Issue Date | Title | Author(s) | Type | Access Type |
2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
1-Dec-2020 | Dynamic logic: new trends and applications | Martins, Manuel A.; Sedlár, Igor | book | |
22-Mar-2019 | Eco-friendly preparation of electrically conductive chitosan - reduced graphene oxide flexible bionanocomposites for food packaging and biological applications | Barra, Ana; Ferreira, Nuno M.; Martins, Manuel A.; Lazar, Oana; Pantazi, Aida; Jderu, Alin Alexandru; Neumayer, Sabine M.; Rodriguez, Brian J.; Enăchescu, Marius; Ferreira, Paula; Nunes, Cláudia | article | |
Sep-2023 | Editorial: special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) | Martins, Manuel A.; Sedlár, Igor | article | |
Aug-2007 | Electrostatic assembly and growth of gold nanoparticles in cellulosic fibres | Pinto, Ricardo J. B.; Marques, Paula A. A. P.; Martins, Manuel A.; Neto, Carlos Pascoal; Trindade, Tito | article | |
16-Aug-2019 | Epistemic logics with structured knowledge | Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. | article | |
15-Mar-2020 | Establishment of a brain cell line (FuB-1) from mummichog (Fundulus heteroclitus) and its application to fish virology, immunity and nanoplastics toxicology | Ruiz-Palacios, María; Almeida, Mónica; Martins, Manuel A.; Oliveira, Miguel; Esteban, María Ángeles; Cuesta, Alberto | article | |
Sep-2022 | Exorcising the phantom zone | Blackburn, Patrick; Martins, Manuel A.; Manzano, María; Huertas, Antonia | article | |
23-Sep-2017 | A family of graded epistemic logics | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. | conferenceObject | |
26-Oct-2018 | A family of graded epistemic logics | Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. | article | |
2020 | A four-valued hybrid logic with non-dual modal operators | Costa, Diana; Martins, Manuel A. | bookPart | |
Mar-2020 | A fuzzy modal logic for fuzzy transition systems | Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. | article | |
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 | |