| Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 80 | 2011 |
| Encoding hybridized institutions into first-order logic R Diaconescu, A Madeira Mathematical Structures in Computer Science 26 (5), 745-788, 2016 | 43 | 2016 |
| 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 | 36 | 2016 |
| Foundations and techniques for software reconfigurability ALC Madeira PQDT-Global, 2013 | 29 | 2013 |
| 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 | 28 | 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 | 27 | 2020 |
| Hybridisation at work R Neves, A Madeira, MA Martins, LS Barbosa Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013 | 20 | 2013 |
| A hybrid dynamic logic for event/data-based systems R Hennicker, A Madeira, A Knapp International Conference on Fundamental Approaches to Software Engineering …, 2019 | 19 | 2019 |
| Proof theory for hybrid (ised) logics R Neves, A Madeira, MA Martins, LS Barbosa Science of Computer Programming 126, 73-93, 2016 | 19 | 2016 |
| 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, 375-395, 2015 | 17 | 2015 |
| 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 | 15 | 2016 |
| Refinement by interpretation in a general setting MA Martins, A Madeira, LS Barbosa Electronic Notes in Theoretical Computer Science 259, 105-121, 2009 | 15 | 2009 |
| Generalising KAT to verify weighted computations L Gomes, A Madeira, LS Barbosa arXiv preprint arXiv:1911.01146, 2019 | 13 | 2019 |
| A method for rigorous design of reconfigurable systems A Madeira, R Neves, LS Barbosa, MA Martins Science of Computer Programming 132, 50-76, 2016 | 13 | 2016 |
| Refinement via interpretation MA Martins, A Madeira, LS Barbosa 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 13 | 2009 |
| A logic for the stepwise development of reactive systems A Madeira, LS Barbosa, R Hennicker, MA Martins Theoretical Computer Science 744, 78-96, 2018 | 12 | 2018 |
| Modelling and Verifying Smell-Free Architectures with the Archery Language A Sanchez, LS Barbosa, A Madeira Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015 | 11 | 2015 |
| Taming hierarchical connectors J Proença, A Madeira Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 10 | 2019 |
| A logic for paraconsistent transition systems A Cruz, A Madeira, LS Barbosa arXiv preprint arXiv:2204.06737, 2022 | 9 | 2022 |
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
