Manuel A. Martins

Orcid: 0000-0002-5109-8066

Affiliations:
  • University of Aveiro, Department of Mathematics, Portugal


According to our database1, Manuel A. Martins authored at least 66 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
J. Log. Comput., August, 2023

Aggregation-based operations for reversal fuzzy switch graphs.
Fuzzy Sets Syst., August, 2023

Relation-changing models meet paraconsistency.
J. Log. Algebraic Methods Program., June, 2023

2022
Introduction to reversal fuzzy switch graph.
Sci. Comput. Program., 2022

Graded epistemic logic with public announcement.
J. Log. Algebraic Methods Program., 2022

Exorcising the phantom zone.
Inf. Comput., 2022

Relating Kleene Algebras with Pseudo Uninorms.
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".
Soft Comput., 2021

Introducing fuzzy reactive graphs: a simple application on biology.
Soft Comput., 2021

Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.
J. Log. Algebraic Methods Program., 2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge.
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020
Boolean dynamics revisited through feedback interconnections.
Nat. Comput., 2020

Reversal Fuzzy Switch Graphs.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019
On interval dynamic logic: Introducing quasi-action lattices.
Sci. Comput. Program., 2019

Completeness in Equational Hybrid Propositional Type Theory.
Stud Logica, 2019

On Herbrand's Theorem for Hybrid Logic.
FLAP, 2019

Rigid First-Order Hybrid Logic.
Proceedings of the Logic, Language, Information, and Computation, 2019

A Four-Valued Hybrid Logic with Non-dual Modal Operators.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

A Fuzzy Modal Logic for Fuzzy Transition Systems.
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

rPrism - A Software for Reactive Weighted State Transition Models.
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

2018
A logic for the stepwise development of reactive systems.
Theor. Comput. Sci., 2018

Epistemic Logics with Structured Knowledge.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Measuring inconsistent diagnoses.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

A Note on Reactive Transitions and Reo Connectors.
Proceedings of the It's All About Coordination, 2018

2017
Paraconsistency in hybrid logic.
J. Log. Comput., 2017

Hierarchical Hybrid Logic.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

A Family of Graded Epistemic Logics.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016
Reuse and Integration of Specification Logics: The Hybridisation Perspective.
Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.
Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.
Sci. Comput. Program., 2016

Continuity as a computational effect.
J. Log. Algebraic Methods Program., 2016

An exercise on the generation of many-valued dynamic logics.
J. Log. Algebraic Methods Program., 2016

Behavioral equivalence of hidden k-logics: An abstract algebraic approach.
J. Appl. Log., 2016

Asymmetric Combination of Logics is Functorial: A Survey.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

On Interval Dynamic Logic.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Intelligent-Based Robot to Deal with Contradictions.
Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

A Tableau System for Quasi-Hybrid Logic.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Refinement in hybridised institutions.
Formal Aspects Comput., 2015

A logic for n-dimensional hierarchical refinement.
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014
Deduction-detachment theorem in hidden <i>k</i>-logics.
J. Log. Comput., 2014

A Hilbert-Style Axiomatisation for Equational Hybrid Logic.
J. Log. Lang. Inf., 2014

The role of logical interpretations in program development.
Log. Methods Comput. Sci., 2014

Completeness and Decidability Results for Hybrid(ised) Logics.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Dynamic Logic for Every Season.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Paradigm integration in a specification course.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Inconsistencies in health care knowledge.
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

2013
A Coalgebraic Perspective on Logical Interpretations.
Stud Logica, 2013

On a coalgebraic view on Logic.
J. Log. Comput., 2013

Malinowski modalization, modalization through fibring and the Leibniz hierarchy.
Log. J. IGPL, 2013

Bisimilarity and refinement for hybrid(ised) logics
Proceedings of the Proceedings 16th International Refinement Workshop, 2013

When Even the Interface Evolves...
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Boilerplates for Reconfigurable Systems: A Language and Its Semantics.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.
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.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Hybridisation at Work.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011
Refinement by interpretation in π-institutions
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Hybrid Specification of Reactive Systems: An Institutional Approach.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Hybridization of Institutions.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009
Behavioral Algebraization of Logics.
Stud Logica, 2009

Refinement by Interpretation in a General Setting.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement via Interpretation.
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.
Comput. J., 2008

2007
Closure properties for the class of behavioral models.
Theor. Comput. Sci., 2007

Behavioural reasoning for conditional equations.
Math. Struct. Comput. Sci., 2007

2006
Behavioral Institutions and Refinements in Generalized Hidden Logics.
J. Univers. Comput. Sci., 2006


  Loading...