Edit Profile Martins, Manuel António Compute Distance To: Compute Author ID: martins.manuel-a Published as: Martins, M. A.; Martins, Manuel; Martins, Manuel A.; Martins, Manuel António Homepage: http://sweet.ua.pt/martins/ External Links: MGP · ORCID · ResearchGate · dblp Documents Indexed: 46 Publications since 2005, including 1 Book all top 5 Co-Authors 1 single-authored 19 Madeira, Alexandre 9 Barbosa, Luís Soares 8 Barbosa, Luís S. 7 Neves, Renato 5 Costa, Diana 3 Babenyshev, Sergey 3 Hennicker, Rolf 3 Huertas, Antonia 3 Manzano, María 2 Benevides, Mario R. F. 2 Chaves, Madalena 2 Descalço, L. 2 Figueiredo, Daniel Ratton 2 Hofmann, Dirk 1 Andrade, Iván 1 Barbosa, L. S. 1 Bedregal, Benjamín R. Callejas 1 Blackburn, Patrick 1 Caleiro, Carlos 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 Pigozzi, Don Leonard 1 Santiago, Regivan H. Nunes 1 Voutsadakis, George all top 5 Serials 3 Studia Logica 3 Bulletin of the Section of Logic 3 Journal of Logic and Computation 2 Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Mathematical Biosciences 1 Semigroup Forum 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 Lecture Notes in Computer Science 1 Logical Methods in Computer Science all top 5 Fields 37 Mathematical logic and foundations (03-XX) 26 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 86 times in 50 Documents Cited by ▼ Year ▼ Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 12 2011 Behavioural reasoning for conditional equations. Zbl 1129.68025Martins, Manuel A.; Pigozzi, Don 9 2007 Behavioral algebraization of logics. Zbl 1171.03040Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel 7 2009 Closure properties for the class of behavioral models. Zbl 1118.68087Martins, Manuel A. 7 2007 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 4 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 4 2015 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Dynamic logic with binders and its application to the development of reactive systems. Zbl 06667720Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 3 2016 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. 3 2008 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. 2 2018 Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022Babenyshev, Sergey; Martins, Manuel A. 2 2014 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Paraconsistency in hybrid logic. Zbl 1396.03065Costa, Diana; Martins, Manuel A. 1 2017 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 Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030Martins, Manuel António; Voutsadakis, George 1 2013 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 2 2018 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Paraconsistency in hybrid logic. Zbl 1396.03065Costa, Diana; Martins, Manuel A. 1 2017 Applying differential dynamic logic to reconfigurable biological networks. Zbl 1379.92014Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena 1 2017 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 4 2016 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 4 2016 Dynamic logic with binders and its application to the development of reactive systems. Zbl 06667720Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 3 2016 Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193Babenyshev, Sergey; Martins, Manuel A. 1 2016 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 4 2015 A semantics for equational hybrid propositional type theory. Zbl 1318.03031Manzano, María; Martins, Manuel A.; Huertas, Antonia 4 2014 Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022Babenyshev, Sergey; Martins, Manuel A. 2 2014 A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta 1 2014 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030Martins, Manuel António; Voutsadakis, George 1 2013 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 12 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. 3 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 61 Authors 18 Martins, Manuel António 16 Madeira, Alexandre 7 Barbosa, Luís Soares 5 Caleiro, Carlos 5 Neves, Renato 4 Barbosa, Luís S. 4 Gonçalves, Ricardo 4 Hennicker, Rolf 3 Diaconescu, Răzvan 2 Benevides, Mario R. F. 2 Gaĭnă, Daniel 2 Manzano, María 2 Voutsadakis, George 1 Babenyshev, Sergey 1 Barbosa, L. S. 1 Cain, Alan J. 1 Carreteiro, Marta 1 Ciobâcă, Ştefan 1 Costa, Diana 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 Grigolia, Revaz 1 Hartmann, Miklós 1 Hofmann, Dirk 1 Huertas, Antonia 1 Ismail, Haythem O. 1 Jain, Manisha 1 Ledda, Antonio 1 Lopes, Antónia 1 Mereuta, Radu 1 Miraldo, Victor Cacciari 1 Moore, Brandon M. 1 Moraschini, Tommaso 1 Moreno, Manuel Crescenio 1 Nora, Pedro 1 Oliveira, José Nuno 1 Paoli, Francesco 1 Pavlović, Duško 1 Pigozzi, Don Leonard 1 Rasga, João 1 Ren, Xueming 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 19 Serials 7 Studia Logica 5 Theoretical Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Formal Aspects of Computing 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 International Journal of Approximate Reasoning 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 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 33 Mathematical logic and foundations (03-XX) 29 Computer science (68-XX) 5 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) Citations by Year