Manuel A. Martins

80 papers A 1B 5C 5Misc 3Journal 37Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers SEFM José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
2025	—	`conf`	A Function-Set Framework: General Properties and Applications to Modal Logic. LSFA Luke Bayzid, Alexandre Madeira, Manuel A. Martins
2025	—	`conf`	Characterization of Lattice Properties Within Modal Extensions. LSFA Alfredo R. Freire, Manuel A. Martins
2025	C	`conf`	Graded Relation Updates in Modal Logic. WoLLIC Raul Fervari, Daniel Figueiredo, Manuel A. Martins
2025	J	`jnl`	Hybrid Partial Type Theory. J. Symb. Log. María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda
2025	J	`jnl`	Labeled fuzzy reactive graphs. Fuzzy Sets Syst. Suene Campos, Daniel Figueiredo, Manuel A. Martins, Regivan H. N. Santiago
2025	—	`conf`	Measuring Inconsistency in a Fragment of Hybrid Logic. ECSQARU (Workshops and Tutorials) John Grant, Manuel A. Martins
2025	J	`jnl`	Modality across different logics. Log. J. IGPL Alfredo Roque Freire, Manuel A. Martins
2024	J	`jnl`	Propositional Type Theory of Indeterminacy. Stud Logica Víctor Aranda, Manuel A. Martins, María Manzano
2024	—	`conf`	Reactive Graphs in Action. FACS David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	J	`jnl`	Reactive graphs in action (extended version). CoRR David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	—	`conf`	The Institution of Many-Logics Modal Logic. WADT Alfredo R. Freire, Manuel A. Martins, Alexandre Madeira
2023	J	`jnl`	Aggregation-based operations for reversal fuzzy switch graphs. Fuzzy Sets Syst. Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2023	J	`jnl`	Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020). J. Log. Comput. Manuel A. Martins, Igor Sedlár
2023	—	`ed.`	Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers WADT Alexandre Madeira, Manuel A. Martins
2023	J	`jnl`	Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. Diana Costa, Daniel Figueiredo, Manuel A. Martins
2022	J	`jnl`	Exorcising the phantom zone. Inf. Comput. Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2022	J	`jnl`	Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins
2022	J	`jnl`	Introduction to reversal fuzzy switch graph. Sci. Comput. Program. Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2022	—	`conf`	Relating Kleene Algebras with Pseudo Uninorms. DaLí Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins
2021	—	`conf`	Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2021	J	`jnl`	Introducing fuzzy reactive graphs: a simple application on biology. Soft Comput. Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2021	J	`jnl`	Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. J. Log. Algebraic Methods Program. Diana Costa, Manuel A. Martins
2020	J	`jnl`	Boolean dynamics revisited through feedback interconnections. Nat. Comput. Madalena Chaves, Daniel Figueiredo, Manuel A. Martins
2020	—	`ed.`	Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers DaLí Manuel A. Martins, Igor Sedlár
2020	—	`conf`	Reversal Fuzzy Switch Graphs. SBMF Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2019	—	`conf`	A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí Diana Costa, Manuel A. Martins
2019	—	`conf`	A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA Manisha Jain, Alexandre Madeira, Manuel A. Martins
2019	J	`jnl`	Completeness in Equational Hybrid Propositional Type Theory. Stud Logica María Manzano, Manuel A. Martins, Antonia Huertas
2019	—	`ed.`	Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers MLCSB Madalena Chaves, Manuel A. Martins
2019	J	`jnl`	On Herbrand's Theorem for Hybrid Logic. FLAP Diana Costa, Manuel A. Martins, João Marcos
2019	J	`jnl`	On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
2019	C	`conf`	Rigid First-Order Hybrid Logic. WoLLIC Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas
2018	—	`conf`	A Note on Reactive Transitions and Reo Connectors. It's All About Coordination Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa
2018	J	`jnl`	A logic for the stepwise development of reactive systems. Theor. Comput. Sci. Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2018	—	`conf`	Epistemic Logics with Structured Knowledge. LSFA Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
2018	C	`conf`	Measuring inconsistent diagnoses. HealthCom Diana Costa, Manuel A. Martins
2017	—	`conf`	A Family of Graded Epistemic Logics. LSFA Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2017	—	`conf`	Hierarchical Hybrid Logic. LSFA Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2017	J	`jnl`	Paraconsistency in hybrid logic. J. Log. Comput. Diana Costa, Manuel A. Martins
2016	A	`conf`	A Tableau System for Quasi-Hybrid Logic. IJCAR Diana Costa, Manuel A. Martins
2016	J	`jnl`	A method for rigorous design of reconfigurable systems. Sci. Comput. Program. Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
2016	J	`jnl`	An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. Alexandre Madeira, Renato Neves, Manuel A. Martins
2016	—	`conf`	Asymmetric Combination of Logics is Functorial: A Survey. WADT Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
2016	J	`jnl`	Behavioral equivalence of hidden k-logics: An abstract algebraic approach. J. Appl. Log. Sergey Babenyshev, Manuel A. Martins
2016	J	`jnl`	Continuity as a computational effect. J. Log. Algebraic Methods Program. Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2016	C	`conf`	Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2016	—	`conf`	Intelligent-Based Robot to Deal with Contradictions. ICARSC Diana Costa, Manuel A. Martins
2016	—	`conf`	On Interval Dynamic Logic. SBMF Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
2016	J	`jnl`	Proof theory for hybrid(ised) logics. Sci. Comput. Program. Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2016	—	`ch.`	Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
2015	—	`conf`	A logic for n-dimensional hierarchical refinement. Refine@FM Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2015	J	`jnl`	Continuity as a computational effect. CoRR Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2015	J	`jnl`	Refinement in hybridised institutions. Formal Aspects Comput. Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
2014	—	`conf`	A Dynamic Logic for Every Season. SBMF Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014	J	`jnl`	A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro
2014	—	`conf`	Completeness and Decidability Results for Hybrid(ised) Logics. SBMF Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014	J	`jnl`	Deduction-detachment theorem in hidden J. Log. Comput. Sergey Babenyshev, Manuel A. Martins
2014	C	`conf`	Inconsistencies in health care knowledge. Healthcom Diana Costa, Manuel A. Martins
2014	Misc	`conf`	Paradigm integration in a specification course. IRI Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
2014	J	`jnl`	The role of logical interpretations in program development. Log. Methods Comput. Sci. Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013	J	`jnl`	A Coalgebraic Perspective on Logical Interpretations. Stud Logica Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013	—	`conf`	An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	—	`conf`	Bisimilarity and refinement for hybrid(ised) logics Refine@IFM Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	—	`conf`	Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	Misc	`conf`	Giving Alloy a family. IRI Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	B	`conf`	Hybridisation at Work. CALCO Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	J	`jnl`	On a coalgebraic view on Logic. J. Log. Comput. Dirk Hofmann, Manuel A. Martins
2013	Misc	`conf`	When Even the Interface Evolves... TASE Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2012	J	`jnl`	On a coalgebraic view on Logic CoRR Dirk Hofmann, Manuel A. Martins
2011	B	`conf`	Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa
2011	B	`conf`	Hybridization of Institutions. CALCO Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
2011	—	`conf`	Refinement by interpretation in π-institutions Refine@FM César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009	J	`jnl`	Behavioral Algebraization of Logics. Stud Logica Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins
2009	—	`conf`	Refinement by Interpretation in a General Setting. REFINE@FMWeek Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009	B	`conf`	Refinement via Interpretation. SEFM Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2008	J	`jnl`	On the Behavioral Equivalence Between Comput. J. Manuel A. Martins
2007	J	`jnl`	Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. Manuel A. Martins, Don Pigozzi
2007	J	`jnl`	Closure properties for the class of behavioral models. Theor. Comput. Sci. Manuel A. Martins
2006	J	`jnl`	Behavioral Institutions and Refinements in Generalized Hidden Logics. J. Univers. Comput. Sci. Manuel A. Martins