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, ...
28 2007 Paraconsistency in hybrid logic D Costa, MA Martins
Journal of Logic and Computation 27 (6), 1825-1852, 2017
22 2017 System D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
11 2023 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
9 2020 Inconsistencies in health care knowledge D Costa, MA Martins
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
8 2014 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 Intelligent-based robot to deal with contradictions D Costa, MA Martins
2016 International Conference on Autonomous Robot Systems and Competitions …, 2016
6 2016 Relation-changing models meet paraconsistency D Costa, D Figueiredo, MA Martins
Journal of Logical and Algebraic Methods in Programming 133, 100870, 2023
5 2023 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 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
3 2016 Measuring inconsistent diagnoses D Costa, MA Martins
2018 IEEE 20th International Conference on e-Health Networking, Applications …, 2018
2 2018 Polymorphic higher-order context-free session types D Costa, A Mordido, D Poças, VT Vasconcelos
Theoretical Computer Science 1001, 114582, 2024
1 2024 On Herbrand's Theorem for Hybrid Logic. D Costa, MA Martins, J Marcos
FLAP 6 (2), 209-228, 2019
1 2019 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 KITCHEN WORKERS … D Costa
17º VOLUME (JANEIRO A JUNHO DE 2024), 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 Participação comunicativa em crianças com perturbações da comunicação: uma abordagem conceptual D Costa, A Cruz-Santos
De Castro, 2024
2024 Redução da Rotatividade em Ginásios: O Papel da Gamificação e dos Fatores Influenciadores da Frequência DRC Costa
PQDT-Global, 2024
2024 