Behavioral Institutions and Refinements in Generalized Hidden Logics. - Manuel A. Martins 001 (J. Univers. Comput. Sci., 2006)

Behavioural reasoning for conditional equations. - Manuel A. Martins 001; Don Pigozzi (Math. Struct. Comput. Sci., 2007)

Closure properties for the class of behavioral models. - Manuel A. Martins 001 (Theor. Comput. Sci., 2007)

On the Behavioral Equivalence Between k-data Structures. - Manuel A. Martins 001 (Comput. J., 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)

Behavioral Algebraization of Logics. - Carlos Caleiro; Ricardo Gonçalves 001; Manuel A. Martins 001 (Stud Logica, 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)

Malinowski modalization, modalization through fibring and the Leibniz hierarchy. - Manuel António Martins; George Voutsadakis (Log. J. IGPL, 2013)

On a coalgebraic view on Logic. - Dirk Hofmann; Manuel A. Martins 001 (J. Log. Comput., 2013)

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

Inconsistencies in health care knowledge. - Diana Costa 001; Manuel A. Martins 001 (Healthcom, 2014)

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)

Completeness and Decidability Results for Hybrid(ised) Logics. - Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

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

A Hilbert-Style Axiomatisation for Equational Hybrid Logic. - Luís Soares Barbosa; Manuel A. Martins 001; Marta Carreteiro (J. Log. Lang. Inf., 2014)

Deduction-detachment theorem in hidden k-logics. - Sergey Babenyshev; Manuel A. Martins 001 (J. Log. Comput., 2014)

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)

A Tableau System for Quasi-Hybrid Logic. - Diana Costa 001; Manuel A. Martins 001 (IJCAR, 2016)

Intelligent-Based Robot to Deal with Contradictions. - Diana Costa 001; Manuel A. Martins 001 (ICARSC, 2016)

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)

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

Behavioral equivalence of hidden k-logics: An abstract algebraic approach. - Sergey Babenyshev; Manuel A. Martins 001 (J. Appl. Log., 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)

Continuity as a computational effect. - Renato Neves; Luís Soares Barbosa; Dirk Hofmann; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 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)

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)

Paraconsistency in hybrid logic. - Diana Costa 001; Manuel A. Martins 001 (J. Log. Comput., 2017)

A Note on Reactive Transitions and Reo Connectors. - Daniel Figueiredo 001; Manuel A. Martins 001; Luís Soares Barbosa (It's All About Coordination, 2018)

Measuring inconsistent diagnoses. - Diana Costa 001; Manuel A. Martins 001 (HealthCom, 2018)

Epistemic Logics with Structured Knowledge. - Alexandre Madeira; Manuel A. Martins 001; Mario R. F. Benevides (LSFA, 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)

rPrism - A Software for Reactive Weighted State Transition Models. - Daniel Figueiredo 001; Eugénio Rocha; Manuel António Martins; Madalena Chaves (HSB, 2019)

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

A Four-Valued Hybrid Logic with Non-dual Modal Operators. - Diana Costa 001; Manuel A. Martins 001 (DaLí, 2019)

Rigid First-Order Hybrid Logic. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (WoLLIC, 2019)

On Herbrand's Theorem for Hybrid Logic. - Diana Costa 001; Manuel A. Martins 001; João Marcos 001 (FLAP, 2019)

Completeness in Equational Hybrid Propositional Type Theory. - María Manzano; Manuel A. Martins 001; Antonia Huertas (Stud Logica, 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)

Reversal Fuzzy Switch Graphs. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (SBMF, 2020)

Boolean dynamics revisited through feedback interconnections. - Madalena Chaves; Daniel Figueiredo 001; Manuel A. Martins 001 (Nat. Comput., 2020)

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

Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. - Diana Costa 001; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2021)

Introducing fuzzy reactive graphs: a simple application on biology. - Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Soft Comput., 2021)

Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18". - Tomas Veloz; Madalena Chaves; Manuel António Martins (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)

Exorcising the phantom zone. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (Inf. Comput., 2022)

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

Introduction to reversal fuzzy switch graph. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Sci. Comput. Program., 2022)

Relation-changing models meet paraconsistency. - Diana Costa 001; Daniel Figueiredo 001; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2023)

Aggregation-based operations for reversal fuzzy switch graphs. - Suene Campos; Regivan H. N. Santiago; Manuel A. Martins 001; Daniel Figueiredo 001 (Fuzzy Sets Syst., 2023)

Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). - Manuel A. Martins 001; Igor Sedlár (J. Log. Comput., 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)

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

Propositional Type Theory of Indeterminacy. - Víctor Aranda; Manuel A. Martins 001; María Manzano (Stud Logica, 2024)

Graded Relation Updates in Modal Logic. - Raul Fervari; Daniel Figueiredo 001; Manuel A. Martins 001 (WoLLIC, 2025)

Hybrid Partial Type Theory. - María Manzano; Antonia Huertas; Patrick Blackburn; Manuel A. Martins 001; Víctor Aranda (J. Symb. Log., 2025)