We stand with Ukraine  

Diana Costa

Orcid: 0000-0002-8312-429X

Affiliations:
  • University of Lisbon, Portugal
  • University College London, Department of Computer Science, UK (former)
  • University of Aveiro, CIDMA, Portugal (PhD)


According to our database1, Diana Costa authored at least 13 papers between 2014 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Relation-changing models meet paraconsistency.
[BibTeX]
[DOI]
Diana Costa
,
Daniel Figueiredo
,
Manuel A. Martins
J. Log. Algebraic Methods Program., June, 2023

System F<sup>μ</sup><sub>ω</sub> with Context-free Session Types.
[BibTeX]
[DOI]
Diana Costa
,
Andreia Mordido
,
Diogo Poças
,
Vasco T. Vasconcelos
CoRR, 2023

System F<sup>μ</sup> <sub>ømega</sub> with Context-free Session Types.
[BibTeX]
[DOI]
Diogo Poças
,
Diana Costa
,
Andreia Mordido
,
Vasco T. Vasconcelos
Proceedings of the Programming Languages and Systems, 2023

2022
Higher-order Context-free Session Types in System F.
[BibTeX]
[DOI]
Diana Costa
,
Andreia Mordido
,
Diogo Poças
,
Vasco T. Vasconcelos
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
J. Log. Algebraic Methods Program., 2021

2020
Reasoning over Permissions Regions in Concurrent Separation Logic.
[BibTeX]
[DOI]
James Brotherston
,
Diana Costa
,
Aquinas Hobor
,
John Wickerson
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
On Herbrand's Theorem for Hybrid Logic.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
,
João Marcos
FLAP, 2019

A Four-Valued Hybrid Logic with Non-dual Modal Operators.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

2018
Measuring inconsistent diagnoses.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

2017
Paraconsistency in hybrid logic.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
J. Log. Comput., 2017

2016
Intelligent-Based Robot to Deal with Contradictions.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

A Tableau System for Quasi-Hybrid Logic.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2014
Inconsistencies in health care knowledge.
[BibTeX]
[DOI]
Diana Costa
,
Manuel A. Martins
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014


  Loading...