Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Diana Costa 0001

Diana Filipa de Pinho Costa

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/CostaFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CostaFM23
Diana Costa, Daniel Figueiredo, Manuel A. Martins:
Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133: 100870 (2023)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PocasCMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PocasCMV23
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos:
System F^μ _ømega with Context-free Session Types. ESOP 2023: 392-420
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/dali/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2022
Carlos Areces, Diana Costa:
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13780, Springer 2023, ISBN 978-3-031-26621-8 [contents]
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08659
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
System F^μ_ω with Context-free Session Types. CoRR abs/2301.08659 (2023)
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-12877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-12877
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
Higher-order Context-free Session Types in System F. PLACES@ETAPS 2022: 24-35
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CostaM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CostaM21
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)
2020
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BrotherstonCHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BrotherstonCHW20
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson:
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) 2020: 203-224

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/CostaMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/CostaMM19
Diana Costa, Manuel A. Martins, João Marcos:
On Herbrand's Theorem for Hybrid Logic. FLAP 6(2): 209-228 (2019)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/CostaM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/CostaM19
Diana Costa, Manuel A. Martins:
A Four-Valued Hybrid Logic with Non-dual Modal Operators. DaLí 2019: 88-103
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/CostaM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/CostaM18
Diana Costa, Manuel A. Martins:
Measuring inconsistent diagnoses. HealthCom 2018: 1-4
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CostaM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CostaM17
Diana Costa, Manuel A. Martins:
Paraconsistency in hybrid logic. J. Log. Comput. 27(6): 1825-1852 (2017)
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CostaM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CostaM16
Diana Costa, Manuel A. Martins:
A Tableau System for Quasi-Hybrid Logic. IJCAR 2016: 435-451
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icarsc/CostaM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarsc/CostaM16
Diana Costa, Manuel A. Martins:
Intelligent-Based Robot to Deal with Contradictions. ICARSC 2016: 199-204
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/CostaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/CostaM14
Diana Costa, Manuel A. Martins:
Inconsistencies in health care knowledge. Healthcom 2014: 37-42

Coauthor Index

see FAQ

a service of

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.