Observational Refinement Process. - Alexandre Madeira (Refine@FM, 2008)

Refinement via Interpretation. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (SEFM, 2009)

Refinement by Interpretation in a General Setting. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (REFINE@FMWeek, 2009)

Hybridization of Institutions. - Manuel A. Martins 001; Alexandre Madeira; Razvan Diaconescu; Luís Soares Barbosa (CALCO, 2011)

Hybrid Specification of Reactive Systems: An Institutional Approach. - Alexandre Madeira; José M. Faria; Manuel A. Martins 001; Luís Soares Barbosa (SEFM, 2011)

Refinement by interpretation in π-institutions - César Jesus Rodrigues; Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Refine@FM, 2011)

Hybridisation at Work. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (CALCO, 2013)

Giving Alloy a family. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI, 2013)

An Institution for Alloy and Its Translation to Second-Order Logic. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI (best papers), 2013)

Boilerplates for Reconfigurable Systems: A Language and Its Semantics. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (SBLP, 2013)

When Even the Interface Evolves... - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (TASE, 2013)

Bisimilarity and refinement for hybrid(ised) logics - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Refine@IFM, 2013)

A Coalgebraic Perspective on Logical Interpretations. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Stud Logica, 2013)

Foundations and techniques for software reconfigurability - Alexandre Madeira (2013)

Paradigm integration in a specification course. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa; Renato Neves (IRI, 2014)

A Dynamic Logic for Every Season. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

Modelling and Verifying Smell-Free Architectures with the Archery Language. - Alejandro Sanchez; Luís Soares Barbosa; Alexandre Madeira (SEFM Workshops, 2014)

The role of logical interpretations in program development. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Log. Methods Comput. Sci., 2014)

On the verification of architectural reconfigurations. - Alejandro Sanchez; Alexandre Madeira; Luís Soares Barbosa (Comput. Lang. Syst. Struct., 2015)

A logic for n-dimensional hierarchical refinement. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Refine@FM, 2015)

Refinement in hybridised institutions. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa; Rolf Hennicker (Formal Aspects Comput., 2015)

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (ICTAC, 2016)

On Interval Dynamic Logic. - Regivan H. N. Santiago; Benjamín R. C. Bedregal; Alexandre Madeira; Manuel A. Martins 001 (SBMF, 2016)

Observational Semantics for Dynamic Logic with Binders. - Rolf Hennicker; Alexandre Madeira (WADT, 2016)

Asymmetric Combination of Logics is Functorial: A Survey. - Renato Neves; Alexandre Madeira; Luís Soares Barbosa; Manuel A. Martins 001 (WADT, 2016)

An exercise on the generation of many-valued dynamic logics. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2016)

Encoding hybridized institutions into first-order logic. - Razvan Diaconescu; Alexandre Madeira (Math. Struct. Comput. Sci., 2016)

A method for rigorous design of reconfigurable systems. - Alexandre Madeira; Renato Neves; Luís Soares Barbosa; Manuel A. Martins 001 (Sci. Comput. Program., 2016)

Proof theory for hybrid(ised) logics. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Sci. Comput. Program., 2016)

Reuse and Integration of Specification Logics: The Hybridisation Perspective. - Luís Soares Barbosa; Manuel A. Martins 001; Alexandre Madeira; Renato Neves (Theoretical Information Reuse and Integration, 2016)

Institutions for Behavioural Dynamic Logic with Binders. - Rolf Hennicker; Alexandre Madeira (ICTAC, 2017)

On Kleene Algebras for Weighted Computation. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (SBMF, 2017)

A Family of Graded Epistemic Logics. - Mario R. F. Benevides; Alexandre Madeira; Manuel A. Martins 001 (LSFA, 2017)

Hierarchical Hybrid Logic. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (LSFA, 2017)

Verification for Everyone? An Overview of Dynamic Logic. - Alexandre Madeira (MLCSB, 2018)

Epistemic Logics with Structured Knowledge. - Alexandre Madeira; Manuel A. Martins 001; Mario R. F. Benevides (LSFA, 2018)

A Research Agenda on Quantum Algoritmics. - Luís Soares Barbosa; Alexandre Madeira (ERCIM News, 2018)

Behavioural and abstractor specifications revisited. - Rolf Hennicker; Alexandre Madeira; Martin Wirsing (Theor. Comput. Sci., 2018)

A logic for the stepwise development of reactive systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (Theor. Comput. Sci., 2018)

A Hybrid Dynamic Logic for Event/Data-Based Systems. - Rolf Hennicker; Alexandre Madeira; Alexander Knapp (FASE, 2019)

Logics for Petri Nets with Propagating Failures. - Leandro Gomes 001; Alexandre Madeira; Mario R. F. Benevides (FSEN, 2019)

Taming Hierarchical Connectors. - José Proença; Alexandre Madeira (FSEN, 2019)

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. - Leandro Gomes 001; Alexandre Madeira; Manisha Jain; Luís Soares Barbosa (ICFEM, 2019)

Introducing Synchrony in Fuzzy Automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2019)

A Fuzzy Modal Logic for Fuzzy Transition Systems. - Manisha Jain; Alexandre Madeira; Manuel A. Martins 001 (LSFA, 2019)

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira; Felix Mindt (DaLí, 2019)

Generalising KAT to Verify Weighted Computations. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Sci. Ann. Comput. Sci., 2019)

On interval dynamic logic: Introducing quasi-action lattices. - Regivan H. N. Santiago; Benjamín R. C. Bedregal; Alexandre Madeira; Manuel A. Martins 001 (Sci. Comput. Program., 2019)

DaLí - Dynamic Logic, new trends and applications. - Mario R. F. Benevides; Alexandre Madeira (J. Log. Algebraic Methods Program., 2020)

Adding Proof Calculi to Epistemic Logics with Structured Knowledge. - Mario R. F. Benevides; Alexandre Madeira; Manuel A. Martins 001 (FSEN, 2021)

Towards a specification theory for fuzzy modal logic. - Manisha Jain; Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (TASE, 2021)

Hybrid dynamic logic institutions for event/data-based systems. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (Formal Aspects Comput., 2021)

Observational interpretations of hybrid dynamic logic with binders and silent transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira (J. Log. Algebraic Methods Program., 2021)

A semantics and a logic for Fuzzy Arden Syntax. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Soft Comput., 2021)

Relating Kleene Algebras with Pseudo Uninorms. - Benjamín R. C. Bedregal; Regivan H. N. Santiago; Alexandre Madeira; Manuel A. Martins 001 (DaLí, 2022)

A Logic for Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (NCL, 2022)

Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2022)

Graded epistemic logic with public announcement. - Mario Roberto Folhadela Benevides; Alexandre Madeira; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2022)

Weighted synchronous automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Math. Struct. Comput. Sci., 2022)

Structured Specification of Paraconsistent Transition Systems. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (FSEN, 2023)

Capturing Qubit Decoherence through Paraconsistent Transition Systems. - Luís Soares Barbosa; Alexandre Madeira (Programming, 2023)

Stepwise Development of Paraconsistent Processes. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (TASE, 2023)

idDL2DL - Interval Syntax to dℒ. - Jaime Santos; Daniel Figueiredo 001; Alexandre Madeira (TASE, 2023)

The Institution of Many-Logics Modal Logic. - Alfredo R. Freire; Manuel A. Martins 001; Alexandre Madeira (WADT, 2024)

Reactive Graphs in Action. - David Tinoco; Alexandre Madeira; Manuel A. Martins 001; José Proença (FACS, 2024)

Paraconsistent Reactive Graphs. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (SEFM, 2024)

Binders for Switch Graphs Specification. - Daniel Figueiredo 001; Alexandre Madeira (SEFM, 2024)

Reactive graphs in action (extended version). - David Tinoco; Alexandre Madeira; Manuel A. Martins 001; José Proença (CoRR, 2024)

Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. - Alexandre Madeira; José Nuno Oliveira; José Proença; Renato Neves (J. Log. Algebraic Methods Program., 2025)

Specification of paraconsistent transition systems, revisited. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (Sci. Comput. Program., 2025)

Paraconsistent Relations as a Variant of Kleene Algebras. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (CoRR, 2025)