Diana Costa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HCI | Illustration as a Key to Understanding Data in Information Design. | Cristina Pires dos Santos, Marco Neves, Diana Costa |
| 2023 | ESOP | System F | Diogo Poas, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos |
| 2020 | CAV | Reasoning over Permissions Regions in Concurrent Separation Logic. | James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson |
| 2020 | IDEAL | Anticipating Maintenance in Telecom Installation Processes. | Diana Costa, Carlos Pereira, Hugo Peixoto, Jos Machado |
| 2019 | TAP | A Four-Valued Hybrid Logic with Non-dual Modal Operators. | Diana Costa, Manuel A. Martins |
| 2018 | HealthCom | Measuring inconsistent diagnoses. | Diana Costa, Manuel A. Martins |
| 2016 | CADE | A Tableau System for Quasi-Hybrid Logic. | Diana Costa, Manuel A. Martins |
| 2014 | HealthCom | Inconsistencies in health care knowledge. | Diana Costa, Manuel A. Martins |