| From Flower to Seed Germination in Cynara cardunculus: A Role for Aspartic Proteinases. J Pissarra, C Pereira, D Costa, A Figueiredo, P Macedo, J Teixeira, ... | 22 | 2007 |
| Paraconsistency in hybrid logic D Costa, MA Martins Journal of Logic and Computation 27 (6), 1825-1852, 2017 | 20 | 2017 |
| Higher-order context-free session types in system F D Costa, A Mordido, D Poças, VT Vasconcelos arXiv preprint arXiv:2203.12877, 2022 | 9 | 2022 |
| Reasoning over permissions regions in concurrent separation logic J Brotherston, D Costa, A Hobor, J Wickerson Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 8 | 2020 |
| System with Context-free Session Types D Poças, D Costa, A Mordido, VT Vasconcelos European Symposium on Programming, 392-420, 2023 | 7 | 2023 |
| Autism spectrum disorder in infancy and early childhood: the model of the centro de estudos do bebé e da criança for diagnosis and therapeutic intervention CM Halpern, PC SILVA, D Costa, MJ Nascimento, JM Reis, MT Martins, ... Acta Medica Portuguesa 34 (10), 657-663, 2021 | 7 | 2021 |
| Inconsistencies in health care knowledge D Costa, MA Martins 2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014 | 6 | 2014 |
| A four-valued hybrid logic with non-dual modal operators D Costa, MA Martins Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020 | 4 | 2020 |
| Intelligent-based robot to deal with contradictions D Costa, MA Martins 2016 International Conference on Autonomous Robot Systems and Competitions …, 2016 | 4 | 2016 |
| Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic D Costa, MA Martins Journal of Logical and Algebraic Methods in Programming 121, 100679, 2021 | 3 | 2021 |
| A tableau system for quasi-hybrid logic D Costa, MA Martins Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 2 | 2016 |
| Polymorphic higher-order context-free session types D Costa, A Mordido, D Poças, VT Vasconcelos Theoretical Computer Science 1001, 114582, 2024 | 1 | 2024 |
| Relation-changing models meet paraconsistency D Costa, D Figueiredo, MA Martins Journal of Logical and Algebraic Methods in Programming 133, 100870, 2023 | 1 | 2023 |
| On Herbrand's Theorem for Hybrid Logic. D Costa, MA Martins, J Marcos FLAP 6 (2), 209-228, 2019 | 1 | 2019 |
| Measuring inconsistent diagnoses D Costa, MA Martins 2018 IEEE 20th International Conference on e-Health Networking, Applications …, 2018 | 1 | 2018 |
| Classical principles in molecular logic D Costa, P Fuentes, C Fuentes, MA Martins AIP Conference Proceedings 1648 (1), 2015 | 1 | 2015 |
| TRABALHADORES DE UNIDADES DE ALIMENTAÇÃO COLETIVA: PRINCIPAIS FATORES DE RISCO/RISCOS OCUPACIONAIS, DOENÇAS PROFISSIONAIS E MEDIDAS DE PROTEÇÃO RECOMENDADAS D Costa Ajeogene Serviços Médicos Lda, 2024 | | 2024 |
| Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software D Costa, R Hu arXiv preprint arXiv:2404.03712, 2024 | | 2024 |
| 4DL: a four-valued dynamic logic and its proof theory D Costa Journal of Logic and Computation 33 (6), 1326-1349, 2023 | | 2023 |
| And now worlds may vary! B Dinis, D Costa BOOK OF ABSTRACTS, 3, 2023 | | 2023 |
