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 1 to 20 of 67  next >
Issue DateTitleAuthor(s)TypeAccess Type
2021Adding proof calculi to epistemic logics with structured knowledgeBenevides, Mario; Madeira, Alexandre; Martins, Manuel A.bookPartembargoedAccess
2010Admissible equivalence systemsBabenyshev, Sergey; Martins, Manuel A.articleopenAccess
Aug-2023Aggregation-based operations for reversal fuzzy switch graphsCampos, Suene; Santiago, Regivan; Martins, Manuel A.; Daniel FigueiredoarticlerestrictedAccess
Aug-2016An exercise on the generation of many-valued dynamic logicsMadeira, Alexandre; Neves, Renato; Martins, Manuel A.articleopenAccess
Sep-2017Applying differential dynamic logic to reconfigurable biological networksFigueiredo, Daniel; Martins, Manuel A.; Chaves, MadalenaarticleopenAccess
11-Dec-2017Asymmetric Combination of Logics is Functorial: A SurveyNeves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A.bookPartopenAccess
2008Automatic structures for semigroup constructionsAndrade, I.; Descalço, L.; Martins, Manuel A.articleopenAccess
2009Behavioral algebraization of logicsCaleiro, C.; Gonçalves, R.; Martins, Manuel A.articlerestrictedAccess
Jul-2016Behavioral equivalence of hidden k-logics: an abstract algebraic approachBabenyshev, Sergey; Martins, Manuel A.articleopenAccess
2006Behavioral institutions and refinements in generalized hidden logicsMartins, Manuel A.articleopenAccess
2007Behavioural reasoning for conditional equationsMartins, Manuel A.; Pigozzi, D.articleopenAccess
15-Sep-2021Biochar-TiO2 magnetic nanocomposites for photocatalytic solar-driven removal of antibiotics from aquaculture effluentsSilva, Carla Patrícia; Pereira, Diogo; Calisto, Vânia; Martins, Manuel A.; Otero, Marta; Esteves, Valdemar I.; Lima, Diana L. D.articleembargoedAccess
22-Sep-2017Bisimulation for reactive framesFigueiredo, Daniel; Martins, Manuel A.conferenceObjectopenAccess
Mar-2020Boolean dynamics revisited through feedback interconnectionsChaves, Madalena; Figueiredo, Daniel; Martins, Manuel A.articleopenAccess
2007Closure properties for the class of behavioral modelsMartins, Manuel A.articleopenAccess
2015Completeness and decidability results for hybrid(ised) logicsNeves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess
Dec-2019Completeness in Equational Hybrid Propositional Type TheoryManzano, Maria; Martins, Manuel A.; Huertas, AntoniaarticleopenAccess
15-Feb-2020Conductive polysaccharides-based proton-exchange membranes for fuel cell applications: the case of bacterial cellulose and fucoidanVilela, 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.articleopenAccess
15-Aug-2016Continuity as a computational effectNeves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.articleopenAccess
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.bookPartopenAccess