Manuel A. Martins

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 36

Top Topics

Reactive Systems

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
Reactive graphs in action (extended version). CoRR (2024)
Manuel A. Martins, Igor Sedlár
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). J. Log. Comput. 33 (6) (2023)
Diana Costa, Daniel Figueiredo, Manuel A. Martins
Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133 (2023)
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
Aggregation-based operations for reversal fuzzy switch graphs. Fuzzy Sets Syst. 466 (2023)
Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125 (2022)
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Exorcising the phantom zone. Inf. Comput. 287 (2022)
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
Introduction to reversal fuzzy switch graph. Sci. Comput. Program. 216 (2022)
Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins
Relating Kleene Algebras with Pseudo Uninorms. DaLí (2022)
Diana Costa, Manuel A. Martins
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. J. Log. Algebraic Methods Program. 121 (2021)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN (2021)
Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
Introducing fuzzy reactive graphs: a simple application on biology. Soft Comput. 25 (9) (2021)
Madalena Chaves, Daniel Figueiredo, Manuel A. Martins
Boolean dynamics revisited through feedback interconnections. Nat. Comput. 19 (1) (2020)
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
Reversal Fuzzy Switch Graphs. SBMF (2020)
María Manzano, Manuel A. Martins, Antonia Huertas
Completeness in Equational Hybrid Propositional Type Theory. Stud Logica 107 (6) (2019)
Diana Costa, Manuel A. Martins, João Marcos
On Herbrand's Theorem for Hybrid Logic. FLAP 6 (2) (2019)
Manisha Jain, Alexandre Madeira, Manuel A. Martins
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA (2019)
Diana Costa, Manuel A. Martins
A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí (2019)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. 175 (2019)
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
Rigid First-Order Hybrid Logic. WoLLIC (2019)
Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
Epistemic Logics with Structured Knowledge. LSFA (2018)
Diana Costa, Manuel A. Martins
Measuring inconsistent diagnoses. HealthCom (2018)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744 (2018)
Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination (2018)
Diana Costa, Manuel A. Martins
Paraconsistency in hybrid logic. J. Log. Comput. 27 (6) (2017)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Hierarchical Hybrid Logic. LSFA (2017)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
A Family of Graded Epistemic Logics. LSFA (2017)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC (2016)
Diana Costa, Manuel A. Martins
Intelligent-Based Robot to Deal with Contradictions. ICARSC (2016)
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
Asymmetric Combination of Logics is Functorial: A Survey. WADT (2016)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126 (2016)
Diana Costa, Manuel A. Martins
A Tableau System for Quasi-Hybrid Logic. IJCAR (2016)
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132 (2016)
Alexandre Madeira, Renato Neves, Manuel A. Martins
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85 (5) (2016)
Sergey Babenyshev, Manuel A. Martins
Behavioral equivalence of hidden k-logics: An abstract algebraic approach. J. Appl. Log. 16 (2016)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
On Interval Dynamic Logic. SBMF (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85 (5) (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. CoRR (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
A logic for n-dimensional hierarchical refinement. Refine@FM (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
Refinement in hybridised institutions. Formal Aspects Comput. 27 (2) (2015)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10 (1) (2014)
Diana Costa, Manuel A. Martins
Inconsistencies in health care knowledge. Healthcom (2014)
Sergey Babenyshev, Manuel A. Martins
-logics. J. Log. Comput. 24 (1) (2014)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
A Dynamic Logic for Every Season. SBMF (2014)
Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23 (1) (2014)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
Paradigm integration in a specification course. IRI (2014)
Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF (2014)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Hybridisation at Work. CALCO (2013)
Dirk Hofmann, Manuel A. Martins
On a coalgebraic view on Logic. J. Log. Comput. 23 (5) (2013)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101 (4) (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Giving Alloy a family. IRI (2013)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
When Even the Interface Evolves... TASE (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Bisimilarity and refinement for hybrid(ised) logics Refine@IFM (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) (2013)
Dirk Hofmann, Manuel A. Martins
On a coalgebraic view on Logic CoRR (2012)
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
Hybridization of Institutions. CALCO (2011)
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM (2011)
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement by interpretation in π-institutions Refine@FM (2011)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement via Interpretation. SEFM (2009)
Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins
Behavioral Algebraization of Logics. Stud Logica 91 (1) (2009)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement by Interpretation in a General Setting. Electron. Notes Theor. Comput. Sci. 259 (2009)
Manuel A. Martins
-data Structures. Comput. J. 51 (2) (2008)
Manuel A. Martins, Don Pigozzi
Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. 17 (5) (2007)
Manuel A. Martins
Closure properties for the class of behavioral models. Theor. Comput. Sci. 379 (1-2) (2007)
Manuel A. Martins
Behavioral Institutions and Refinements in Generalized Hidden Logics. J. Univers. Comput. Sci. 12 (8) (2006)