Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 81 | 2011 |
An exercise on the generation of many-valued dynamic logics A Madeira, R Neves, MA Martins Journal of Logical and Algebraic Methods in Programming 85 (5), 1011-1037, 2016 | 37 | 2016 |
Behavioural reasoning for conditional equations MA Martins, D Pigozzi Mathematical Structures in Computer Science 17 (5), 1075-1113, 2007 | 30 | 2007 |
Hybrid specification of reactive systems: An institutional approach A Madeira, JM Faria, MA Martins, LS Barbosa International Conference on Software Engineering and Formal Methods, 269-285, 2011 | 29 | 2011 |
A fuzzy modal logic for fuzzy transition systems M Jain, A Madeira, MA Martins Electronic Notes in Theoretical Computer Science 348, 85-103, 2020 | 28 | 2020 |
Paraconsistency in hybrid logic D Costa, MA Martins Journal of Logic and Computation, exw027, 2016 | 21 | 2016 |
Proof theory for hybrid (ised) logics R Neves, A Madeira, MA Martins, LS Barbosa Science of Computer Programming 126, 73-93, 2016 | 20 | 2016 |
Hybridisation at work R Neves, A Madeira, MA Martins, LS Barbosa Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013 | 20 | 2013 |
A dynamic logic for every season A Madeira, R Neves, MA Martins, LS Barbosa Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015 | 18 | 2015 |
Refinement in hybridised institutions A Madeira, MA Martins, LS Barbosa, R Hennicker Formal Aspects of Computing 27 (2), 375-395, 2015 | 17 | 2015 |
Behavioral algebraization of logics C Caleiro, R Gonçalves, M Martins Studia Logica 91, 63-111, 2009 | 17 | 2009 |
Continuity as a computational effect R Neves, LS Barbosa, D Hofmann, MA Martins Journal of Logical and Algebraic Methods in Programming 85 (5), 1057-1085, 2016 | 16 | 2016 |
Closure properties for the class of behavioral models MA Martins Theoretical Computer Science 379 (1), 53-83, 2007 | 16 | 2007 |
Behavioral Institutions and Refinements in Generalized Hidden Logics. MA Martins J. UCS 12 (8), 1020-1049, 2006 | 15 | 2006 |
Behavioral reasoning in generalized hidden logics M Martins University of Lisbon, 2004 | 15 | 2004 |
A logic for the stepwise development of reactive systems A Madeira, LS Barbosa, R Hennicker, MA Martins Theoretical Computer Science 744, 78-96, 2018 | 14 | 2018 |
A method for rigorous design of reconfigurable systems A Madeira, R Neves, LS Barbosa, MA Martins Science of Computer Programming 132, 50-76, 2016 | 14 | 2016 |
Dynamic logic with binders and its application to the development of reactive systems A Madeira, LS Barbosa, R Hennicker, MA Martins International Colloquium on Theoretical Aspects of Computing, 422-440, 2016 | 14 | 2016 |
Refinement by interpretation in a general setting MA Martins, A Madeira, LS Barbosa Electronic Notes in Theoretical Computer Science 259, 105-121, 2009 | 14 | 2009 |
Introducing fuzzy reactive graphs: a simple application on biology R Santiago, MA Martins, D Figueiredo Soft Computing 25 (9), 6759-6774, 2021 | 13 | 2021 |