Showing results 8 to 27 of 67
< previous
next >
Issue Date | Title | Author(s) | Type | Access Type |
2009 | Behavioral algebraization of logics | Caleiro, C.; Gonçalves, R.; Martins, Manuel A. | article | |
Jul-2016 | Behavioral equivalence of hidden k-logics: an abstract algebraic approach | Babenyshev, Sergey; Martins, Manuel A. | article | |
2006 | Behavioral institutions and refinements in generalized hidden logics | Martins, Manuel A. | article | |
2007 | Behavioural reasoning for conditional equations | Martins, Manuel A.; Pigozzi, D. | article | |
15-Sep-2021 | Biochar-TiO2 magnetic nanocomposites for photocatalytic solar-driven removal of antibiotics from aquaculture effluents | Silva, Carla Patrícia; Pereira, Diogo; Calisto, Vânia; Martins, Manuel A.; Otero, Marta; Esteves, Valdemar I.; Lima, Diana L. D. | article | |
22-Sep-2017 | Bisimulation for reactive frames | Figueiredo, Daniel; Martins, Manuel A. | conferenceObject | |
Mar-2020 | Boolean dynamics revisited through feedback interconnections | Chaves, Madalena; Figueiredo, Daniel; Martins, Manuel A. | article | |
2007 | Closure properties for the class of behavioral models | Martins, Manuel A. | article | |
2015 | Completeness and decidability results for hybrid(ised) logics | Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. | bookPart | |
Dec-2019 | Completeness in Equational Hybrid Propositional Type Theory | Manzano, Maria; Martins, Manuel A.; Huertas, Antonia | article | |
15-Feb-2020 | Conductive polysaccharides-based proton-exchange membranes for fuel cell applications: the case of bacterial cellulose and fucoidan | Vilela, Carla; Silva, Ana C. Q.; Domingues, Eddy M.; Gonçalves, Gil; Martins, Manuel A.; Figueiredo, Filipe M. L.; Santos, Sónia A. O.; Freire, Carmen S. R. | article | |
15-Aug-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. | article | |
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 | |