Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
1
TÃTULO: Can You Answer While You Wait?
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Reconciling Communication Delays and Negation
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
INDEXADO EM: Scopus
Scopus3
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, NÚMERO: 3
AUTORES: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, NÚMERO: 3
INDEXADO EM: Scopus WOS 
Unpaywall
Scopus WOS Unpaywall4
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
5
TÃTULO: From description-logic programs to multi-context systems
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
INDEXADO EM: WOS
WOS6
TÃTULO: The boolean pythagorean triples problem in coq
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: Scopus
Scopus7
TÃTULO: Efficient Certified Resolution Proof Checking
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
8
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXADO EM: 
CrossRef
CrossRef10
TÃTULO: Active Integrity Constraints for Multi-context Systems
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
INDEXADO EM: Scopus WOS
Scopus WOS