Diana Costa

15 papers A 2C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Polymorphic higher-order context-free session types.
Theor. Comput. Sci.
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2023 — ed.
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers
DaLí
Carlos Areces, Diana Costa
2023 J jnl
Relation-changing models meet paraconsistency.
J. Log. Algebraic Methods Program.
Diana Costa, Daniel Figueiredo, Manuel A. Martins
2023 A conf
System F
ESOP
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
System F
CoRR
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022 — conf
Higher-order Context-free Session Types in System F.
PLACES@ETAPS
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
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 — conf
Reasoning over Permissions Regions in Concurrent Separation Logic.
CAV (2)
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
2019 — conf
A Four-Valued Hybrid Logic with Non-dual Modal Operators.
DaLí
Diana Costa, Manuel A. Martins
2019 J jnl
On Herbrand's Theorem for Hybrid Logic.
FLAP
Diana Costa, Manuel A. Martins, João Marcos
2018 C conf
Measuring inconsistent diagnoses.
HealthCom
Diana Costa, Manuel A. Martins
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 — conf
Intelligent-Based Robot to Deal with Contradictions.
ICARSC
Diana Costa, Manuel A. Martins
2014 C conf
Inconsistencies in health care knowledge.
Healthcom
Diana Costa, Manuel A. Martins