Manuel A. Martins

According to our database, Manuel A. Martins authored at least 68 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reactive graphs in action (extended version).

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

CoRR, 2024

Reactive Graphs in Action.

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).

Manuel A. Martins, Igor Sedlár

J. Log. Comput., August, 2023

Aggregation-based operations for reversal fuzzy switch graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Fuzzy Sets Syst., August, 2023

Relation-changing models meet paraconsistency.

Diana Costa, Daniel Figueiredo, Manuel A. Martins

J. Log. Algebraic Methods Program., June, 2023

2022

Introduction to reversal fuzzy switch graph.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Sci. Comput. Program., 2022

Graded epistemic logic with public announcement.

Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins

J. Log. Algebraic Methods Program., 2022

Exorcising the phantom zone.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Inf. Comput., 2022

Relating Kleene Algebras with Pseudo Uninorms.

Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18".

Tomas Veloz, Madalena Chaves, Manuel António Martins

Soft Comput., 2021

Introducing fuzzy reactive graphs: a simple application on biology.

Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Soft Comput., 2021

Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.

Diana Costa, Manuel A. Martins

J. Log. Algebraic Methods Program., 2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Boolean dynamics revisited through feedback interconnections.

Madalena Chaves, Daniel Figueiredo, Manuel A. Martins

Nat. Comput., 2020

Reversal Fuzzy Switch Graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

On interval dynamic logic: Introducing quasi-action lattices.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Sci. Comput. Program., 2019

Completeness in Equational Hybrid Propositional Type Theory.

María Manzano, Manuel A. Martins, Antonia Huertas

Stud Logica, 2019

On Herbrand's Theorem for Hybrid Logic.

Diana Costa, Manuel A. Martins, João Marcos

FLAP, 2019

Rigid First-Order Hybrid Logic.

Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas

Proceedings of the Logic, Language, Information, and Computation, 2019

A Four-Valued Hybrid Logic with Non-dual Modal Operators.

Diana Costa, Manuel A. Martins

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

A Fuzzy Modal Logic for Fuzzy Transition Systems.

Manisha Jain, Alexandre Madeira, Manuel A. Martins

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

rPrism - A Software for Reactive Weighted State Transition Models.

Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

2018

A logic for the stepwise development of reactive systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Theor. Comput. Sci., 2018

Epistemic Logics with Structured Knowledge.

Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Measuring inconsistent diagnoses.

Diana Costa, Manuel A. Martins

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

A Note on Reactive Transitions and Reo Connectors.

Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the It's All About Coordination, 2018

2017

Paraconsistency in hybrid logic.

Diana Costa, Manuel A. Martins

J. Log. Comput., 2017

Hierarchical Hybrid Logic.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

A Family of Graded Epistemic Logics.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016

Reuse and Integration of Specification Logics: The Hybridisation Perspective.

Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.

Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins

Sci. Comput. Program., 2016

Continuity as a computational effect.

Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

An exercise on the generation of many-valued dynamic logics.

Alexandre Madeira, Renato Neves, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

Behavioral equivalence of hidden k-logics: An abstract algebraic approach.

Sergey Babenyshev, Manuel A. Martins

J. Appl. Log., 2016

Asymmetric Combination of Logics is Functorial: A Survey.

Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

On Interval Dynamic Logic.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Intelligent-Based Robot to Deal with Contradictions.

Diana Costa, Manuel A. Martins

Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

A Tableau System for Quasi-Hybrid Logic.

Diana Costa, Manuel A. Martins

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Refinement in hybridised institutions.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker

Formal Aspects Comput., 2015

A logic for n-dimensional hierarchical refinement.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014

Deduction-detachment theorem in hidden <i>k</i>-logics.

Sergey Babenyshev, Manuel A. Martins

J. Log. Comput., 2014

A Hilbert-Style Axiomatisation for Equational Hybrid Logic.

Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro

J. Log. Lang. Inf., 2014

The role of logical interpretations in program development.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Log. Methods Comput. Sci., 2014

Completeness and Decidability Results for Hybrid(ised) Logics.

Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Paradigm integration in a specification course.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Inconsistencies in health care knowledge.

Diana Costa, Manuel A. Martins

Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

2013

A Coalgebraic Perspective on Logical Interpretations.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Stud Logica, 2013

On a coalgebraic view on Logic.

Dirk Hofmann, Manuel A. Martins

J. Log. Comput., 2013

Malinowski modalization, modalization through fibring and the Leibniz hierarchy.

Manuel António Martins, George Voutsadakis

Log. J. IGPL, 2013

Bisimilarity and refinement for hybrid(ised) logics

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

When Even the Interface Evolves...

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Boilerplates for Reconfigurable Systems: A Language and Its Semantics.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Giving Alloy a family.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Hybridisation at Work.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

Refinement by interpretation in π-institutions

César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Hybrid Specification of Reactive Systems: An Institutional Approach.

Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Hybridization of Institutions.

Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

Behavioral Algebraization of Logics.

Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins

Stud Logica, 2009

Refinement by Interpretation in a General Setting.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement via Interpretation.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

On the Behavioral Equivalence Between <i>k</i>-data Structures.

Manuel A. Martins

Comput. J., 2008

2007

Closure properties for the class of behavioral models.

Manuel A. Martins

Theor. Comput. Sci., 2007

Behavioural reasoning for conditional equations.

Manuel A. Martins, Don Pigozzi

Math. Struct. Comput. Sci., 2007

2006

Behavioral Institutions and Refinements in Generalized Hidden Logics.

Manuel A. Martins

J. Univers. Comput. Sci., 2006