Manuel A. Martins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
2009–2025
Best venue rank
National
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECSQARU | Measuring Inconsistency in a Fragment of Hybrid Logic. | John Grant, Manuel A. Martins |
| 2025 | WoLLIC | Graded Relation Updates in Modal Logic. | Raul Fervari, Daniel Figueiredo, Manuel A. Martins |
| 2019 | TAP | A Four-Valued Hybrid Logic with Non-dual Modal Operators. | Diana Costa, Manuel A. Martins |
| 2019 | WoLLIC | Rigid First-Order Hybrid Logic. | Patrick Blackburn, Manuel A. Martins, Mara Manzano, Antonia Huertas |
| 2018 | HealthCom | Measuring inconsistent diagnoses. | Diana Costa, Manuel A. Martins |
| 2016 | CADE | A Tableau System for Quasi-Hybrid Logic. | Diana Costa, Manuel A. Martins |
| 2016 | ICTAC | Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. | Alexandre Madeira, Lus Soares Barbosa, Rolf Hennicker, Manuel A. Martins |
| 2014 | HealthCom | Inconsistencies in health care knowledge. | Diana Costa, Manuel A. Martins |
| 2014 | IRI | Paradigm integration in a specification course. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa, Renato Neves |
| 2013 | CALCO | Hybridisation at Work. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | Giving Alloy a family. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | An Institution for Alloy and Its Translation to Second-Order Logic. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | TASE | When Even the Interface Evolves... | Alexandre Madeira, Renato Neves, Manuel A. Martins, Lus Soares Barbosa |
| 2011 | CALCO | Hybridization of Institutions. | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Lus Soares Barbosa |
| 2011 | SEFM | Hybrid Specification of Reactive Systems: An Institutional Approach. | Alexandre Madeira, Jos M. Faria, Manuel A. Martins, Lus Soares Barbosa |
| 2009 | SEFM | Refinement via Interpretation. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa |