Inconsistencies in health care knowledge. - Diana Costa 001; Manuel A. Martins 001 (Healthcom, 2014)

A Tableau System for Quasi-Hybrid Logic. - Diana Costa 001; Manuel A. Martins 001 (IJCAR, 2016)

Intelligent-Based Robot to Deal with Contradictions. - Diana Costa 001; Manuel A. Martins 001 (ICARSC, 2016)

Paraconsistency in hybrid logic. - Diana Costa 001; Manuel A. Martins 001 (J. Log. Comput., 2017)

Measuring inconsistent diagnoses. - Diana Costa 001; Manuel A. Martins 001 (HealthCom, 2018)

A Four-Valued Hybrid Logic with Non-dual Modal Operators. - Diana Costa 001; Manuel A. Martins 001 (DaLí, 2019)

On Herbrand's Theorem for Hybrid Logic. - Diana Costa 001; Manuel A. Martins 001; João Marcos 001 (FLAP, 2019)

Reasoning over Permissions Regions in Concurrent Separation Logic. - James Brotherston; Diana Costa 001; Aquinas Hobor; John Wickerson (CAV (2), 2020)

Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. - Diana Costa 001; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2021)

Higher-order Context-free Session Types in System F. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (PLACES@ETAPS, 2022)

System Fμ ømega with Context-free Session Types. - Diogo Poças; Diana Costa 001; Andreia Mordido; Vasco T. Vasconcelos (ESOP, 2023)

System Fμω with Context-free Session Types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (CoRR, 2023)

Relation-changing models meet paraconsistency. - Diana Costa 001; Daniel Figueiredo 001; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2023)

Polymorphic higher-order context-free session types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (Theor. Comput. Sci., 2024)