Edit Profile (opens in new tab) Martins, Manuel António Compute Distance To: Compute Author ID: martins.manuel-a Published as: Martins, Manuel A.; Martins, Manuel; Martins, Manuel António; Martins, M. A. more...less Homepage: http://sweet.ua.pt/martins/ External Links: MGP · ORCID · ResearchGate · dblp Documents Indexed: 49 Publications since 2005 2 Contributions as Editor Co-Authors: 28 Co-Authors with 49 Joint Publications 363 Co-Co-Authors all top 5 Co-Authors 1 single-authored 20 Madeira, Alexandre 18 Barbosa, Luís Soares 7 Neves, Renato 6 Costa, Diana 4 Huertas, Antonia 4 Manzano, María 3 Babenyshev, Sergey 3 Benevides, Mario R. F. 3 Figueiredo, Daniel Ratton 3 Hennicker, Rolf 2 Blackburn, Patrick 2 Chaves, Madalena 2 Descalço, L. 2 Hofmann, Dirk 2 Santiago, Regivan H. Nunes 1 Bedregal, Benjamín René Callejas 1 Caleiro, Carlos 1 Campos, Suene 1 Carreteiro, Marta 1 Diaconescu, Răzvan 1 Faria, José M. 1 Ferreirim, Isabel M. A. 1 Gonçalves, Ricardo 1 Hernández-Manfredini, Enrique 1 Jain, Manisha 1 Krähmer, Ulrich 1 Pigozzi, Don Leonard 1 Sedlár, Igor 1 Voutsadakis, George all top 5 Serials 4 Journal of Logical and Algebraic Methods in Programming 3 Studia Logica 3 Bulletin of the Section of Logic 3 Journal of Logic and Computation 2 Theoretical Computer Science 2 Lecture Notes in Computer Science 1 Mathematical Biosciences 1 Semigroup Forum 1 Information and Computation 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Logic, Language and Information 1 Logic Journal of the IGPL 1 Journal of Applied Logic 1 Journal of Noncommutative Geometry 1 Logical Methods in Computer Science all top 5 Fields 43 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 104 times in 58 Documents Cited by ▼ Year ▼ Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Behavioural reasoning for conditional equations. Zbl 1129.68025Martins, Manuel A.; Pigozzi, Don 9 2007 Closure properties for the class of behavioral models. Zbl 1118.68087Martins, Manuel A. 7 2007 Behavioral algebraization of logics. Zbl 1171.03040Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel 7 2009 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 5 2016 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 5 2014 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Automatic structures for semigroup constructions. Zbl 1142.20036Andrade, I.; Descalço, L.; Martins, Manuel A. 4 2008 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 On the injectivity of the Leibniz operator. Zbl 1117.03351Descalço, L.; Martins, Manuel A. 3 2005 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Paraconsistency in hybrid logic. Zbl 1396.03065Costa, Diana; Martins, Manuel A. 2 2017 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022Babenyshev, Sergey; Martins, Manuel A. 2 2014 A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. 2 2020 Applying differential dynamic logic to reconfigurable biological networks. Zbl 1379.92014Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena 1 2017 Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193Babenyshev, Sergey; Martins, Manuel A. 1 2016 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 A four-valued hybrid logic with non-dual modal operators. Zbl 07218621Costa, Diana; Martins, Manuel A. 1 2020 The nodal cubic and quantum groups at roots of unity. Zbl 1466.81045Krähmer, Ulrich; Martins, Manuel 1 2020 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Rigid first-order hybrid logic. Zbl 07176918Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia 1 2019 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 Completeness in equational hybrid propositional type theory. Zbl 07142215Manzano, Maria; Martins, Manuel; Huertas, Antonia 1 2019 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030Martins, Manuel António; Voutsadakis, George 1 2013 A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. 2 2020 A four-valued hybrid logic with non-dual modal operators. Zbl 07218621Costa, Diana; Martins, Manuel A. 1 2020 The nodal cubic and quantum groups at roots of unity. Zbl 1466.81045Krähmer, Ulrich; Martins, Manuel 1 2020 Rigid first-order hybrid logic. Zbl 07176918Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia 1 2019 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 Completeness in equational hybrid propositional type theory. Zbl 07142215Manzano, Maria; Martins, Manuel; Huertas, Antonia 1 2019 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Paraconsistency in hybrid logic. Zbl 1396.03065Costa, Diana; Martins, Manuel A. 2 2017 Applying differential dynamic logic to reconfigurable biological networks. Zbl 1379.92014Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena 1 2017 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 5 2016 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193Babenyshev, Sergey; Martins, Manuel A. 1 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 5 2014 Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022Babenyshev, Sergey; Martins, Manuel A. 2 2014 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030Martins, Manuel António; Voutsadakis, George 1 2013 Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Behavioral algebraization of logics. Zbl 1171.03040Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel 7 2009 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 Automatic structures for semigroup constructions. Zbl 1142.20036Andrade, I.; Descalço, L.; Martins, Manuel A. 4 2008 Behavioural reasoning for conditional equations. Zbl 1129.68025Martins, Manuel A.; Pigozzi, Don 9 2007 Closure properties for the class of behavioral models. Zbl 1118.68087Martins, Manuel A. 7 2007 On the injectivity of the Leibniz operator. Zbl 1117.03351Descalço, L.; Martins, Manuel A. 3 2005 all cited Publications top 5 cited Publications all top 5 Cited by 66 Authors 21 Martins, Manuel António 19 Madeira, Alexandre 12 Barbosa, Luís Soares 6 Hennicker, Rolf 6 Neves, Renato 5 Caleiro, Carlos 4 Gonçalves, Ricardo 3 Benevides, Mario R. F. 3 Diaconescu, Răzvan 3 Knapp, Alexander 3 Manzano, María 2 Costa, Diana 2 Gaĭnă, Daniel 2 Huertas, Antonia 2 Voutsadakis, George 1 Babenyshev, Sergey 1 Bensalem, Saddek 1 Blackburn, Patrick 1 Cain, Alan J. 1 Carreteiro, Marta 1 Ciobâcă, Ştefan 1 Di Nola, Antonio 1 Dombi, Erzsébet R. 1 Ehab, Nourhan 1 Faria, José M. 1 Ferreirim, Isabel M. A. 1 Fiadeiro, José Luiz 1 Font, Josep Maria 1 Gomes, Leandro G. 1 Goncharov, Sergeĭ Savost’yanovich 1 Grigolia, Revaz 1 Hartmann, Miklós 1 Hofmann, Dirk 1 Ismail, Haythem O. 1 Jain, Manisha 1 Jakob, Julian 1 Jónás, Tamás 1 Karpuz, Eylem Güzel 1 Ledda, Antonio 1 Lopes, Antónia 1 Mereuta, Radu 1 Moore, Brandon M. 1 Moraschini, Tommaso 1 Moreno, Manuel Crescenio 1 Nora, Pedro 1 Paoli, Francesco 1 Pavlović, Duško 1 Pigozzi, Don Leonard 1 Rasga, João 1 Ren, Xueming 1 Roggenbach, Markus 1 Rosenberger, Tobias 1 Roşu, Grigore 1 Salibra, Antonino 1 Sánchez, Alejandro D. 1 Şerbănuţă, Traian Florin 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Shum, Kar-Ping 1 Ştefănescu, Andrei 1 Ţuţu, Ionuţ 1 Viganò, Luca 1 Vitale, Gaetano 1 Wang, Yanhui 1 Wang, Yuhan 1 Wirsing, Martin all top 5 Cited in 21 Serials 7 Studia Logica 5 Theoretical Computer Science 5 Journal of Logical and Algebraic Methods in Programming 3 Formal Aspects of Computing 2 International Journal of Approximate Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Logica Universalis 1 Journal of Algebra 1 Bulletin of the Section of Logic 1 Acta Mathematica Hungarica 1 Information and Computation 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Asian-European Journal of Mathematics 1 The Review of Symbolic Logic 1 Journal of Mathematics all top 5 Cited in 8 Fields 38 Mathematical logic and foundations (03-XX) 33 Computer science (68-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) Citations by Year