default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel A. Martins 0001
Person information
- affiliation: University of Aveiro, Department of Mathematics, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i3]David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive graphs in action (extended version). CoRR abs/2407.14705 (2024)- 2023
- [j32]Suene Campos, Regivan H. N. Santiago
, Manuel A. Martins, Daniel Figueiredo:
Aggregation-based operations for reversal fuzzy switch graphs. Fuzzy Sets Syst. 466: 108273 (2023) - [j31]Diana Costa, Daniel Figueiredo, Manuel A. Martins:
Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133: 100870 (2023) - [j30]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): 1119-1121 (2023) - [e3]Alexandre Madeira, Manuel A. Martins:
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13710, Springer 2023, ISBN 978-3-031-43344-3 [contents] - 2022
- [j29]Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas:
Exorcising the phantom zone. Inf. Comput. 287: 104754 (2022) - [j28]Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins:
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125: 100732 (2022) - [j27]Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo:
Introduction to reversal fuzzy switch graph. Sci. Comput. Program. 216: 102776 (2022) - [c33]Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins:
Relating Kleene Algebras with Pseudo Uninorms. DaLí 2022: 37-55 - 2021
- [j26]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: 100679 (2021) - [j25]Tomas Veloz, Madalena Chaves, Manuel António Martins:
Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18". Soft Comput. 25(9): 6729-6730 (2021) - [j24]Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo:
Introducing fuzzy reactive graphs: a simple application on biology. Soft Comput. 25(9): 6759-6774 (2021) - [c32]Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN 2021: 53-68 - 2020
- [j23]Madalena Chaves, Daniel Figueiredo, Manuel A. Martins:
Boolean dynamics revisited through feedback interconnections. Nat. Comput. 19(1): 29-49 (2020) - [c31]Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo:
Reversal Fuzzy Switch Graphs. SBMF 2020: 137-154 - [e2]Manuel A. Martins, Igor Sedlár:
Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12569, Springer 2020, ISBN 978-3-030-65839-7 [contents]
2010 – 2019
- 2019
- [j22]Diana Costa, Manuel A. Martins, João Marcos:
On Herbrand's Theorem for Hybrid Logic. FLAP 6(2): 209-228 (2019) - [j21]María Manzano, Manuel A. Martins, Antonia Huertas:
Completeness in Equational Hybrid Propositional Type Theory. Stud Logica 107(6): 1159-1198 (2019) - [j20]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: 1-16 (2019) - [c30]Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves:
rPrism - A Software for Reactive Weighted State Transition Models. HSB 2019: 165-174 - [c29]Manisha Jain, Alexandre Madeira, Manuel A. Martins:
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA 2019: 85-103 - [c28]Diana Costa, Manuel A. Martins:
A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí 2019: 88-103 - [c27]Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas:
Rigid First-Order Hybrid Logic. WoLLIC 2019: 53-69 - [e1]Madalena Chaves, Manuel A. Martins:
Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11415, Springer 2019, ISBN 978-3-030-19431-4 [contents] - 2018
- [j19]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [c26]Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa:
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination 2018: 57-67 - [c25]Diana Costa, Manuel A. Martins:
Measuring inconsistent diagnoses. HealthCom 2018: 1-4 - [c24]Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides:
Epistemic Logics with Structured Knowledge. LSFA 2018: 137-149 - 2017
- [j18]Diana Costa, Manuel A. Martins:
Paraconsistency in hybrid logic. J. Log. Comput. 27(6): 1825-1852 (2017) - [c23]Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
A Family of Graded Epistemic Logics. LSFA 2017: 45-59 - [c22]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j17]Sergey Babenyshev, Manuel A. Martins:
Behavioral equivalence of hidden k-logics: An abstract algebraic approach. J. Appl. Log. 16: 72-91 (2016) - [j16]Alexandre Madeira, Renato Neves, Manuel A. Martins:
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85(5): 1011-1037 (2016) - [j15]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016) - [j14]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j13]Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c21]Diana Costa, Manuel A. Martins:
A Tableau System for Quasi-Hybrid Logic. IJCAR 2016: 435-451 - [c20]Diana Costa, Manuel A. Martins:
Intelligent-Based Robot to Deal with Contradictions. ICARSC 2016: 199-204 - [c19]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: 422-440 - [c18]Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
On Interval Dynamic Logic. SBMF 2016: 129-144 - [c17]Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [p1]Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j12]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [c16]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - [i2]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j11]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014) - [j10]Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23(1): 31-52 (2014) - [j9]Sergey Babenyshev, Manuel A. Martins:
Deduction-detachment theorem in hidden k-logics. J. Log. Comput. 24(1): 233-255 (2014) - [c15]Diana Costa, Manuel A. Martins:
Inconsistencies in health care knowledge. Healthcom 2014: 37-42 - [c14]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c13]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c12]Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161 - 2013
- [j8]Manuel António Martins, George Voutsadakis:
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Log. J. IGPL 21(5): 836-852 (2013) - [j7]Dirk Hofmann, Manuel A. Martins:
On a coalgebraic view on Logic. J. Log. Comput. 23(5): 1097-1106 (2013) - [j6]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013) - [c11]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c10]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: 45-75 - [c9]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519 - [c8]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c7]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82 - [c6]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2012
- [i1]Dirk Hofmann, Manuel A. Martins:
On a coalgebraic view on Logic. CoRR abs/1202.0915 (2012) - 2011
- [c5]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297 - [c4]Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285 - [c3]César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64
2000 – 2009
- 2009
- [j5]Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins:
Behavioral Algebraization of Logics. Stud Logica 91(1): 63-111 (2009) - [c2]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259 - [c1]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting. REFINE@FMWeek 2009: 105-121 - 2008
- [j4]Manuel A. Martins:
On the Behavioral Equivalence Between k-data Structures. Comput. J. 51(2): 181-191 (2008) - 2007
- [j3]Manuel A. Martins, Don Pigozzi:
Behavioural reasoning for conditional equations. Math. Struct. Comput. Sci. 17(5): 1075-1113 (2007) - [j2]Manuel A. Martins:
Closure properties for the class of behavioral models. Theor. Comput. Sci. 379(1-2): 53-83 (2007) - 2006
- [j1]Manuel A. Martins:
Behavioral Institutions and Refinements in Generalized Hidden Logics. J. Univers. Comput. Sci. 12(8): 1020-1049 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
