Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



61
TÍTULO: Behavioral and spatial observations in a Logic for the pi-calculus
AUTORES: Caires, L ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Foundations of Software Science and Computation Structures in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, VOLUME: 2987
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP
62
TÍTULO: Elimination of quantifiers and undecidability in spatial logics for concurrency
AUTORES: Caires, L ; Lozes, E;
PUBLICAÇÃO: 2004, FONTE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
63
TÍTULO: A spatial logic for concurrency (part I)  Full Text
AUTORES: Caires, L ; Cardelli, L;
PUBLICAÇÃO: 2003, FONTE: 4th Symposium on Theoretical Aspects of Computer Software in INFORMATION AND COMPUTATION, VOLUME: 186, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 121
NO MEU: ORCID | DBLP
64
TÍTULO: A spatial logic for concurrency (Part II)
AUTORES: Caires, L ; Cardelli, L;
PUBLICAÇÃO: 2002, FONTE: 13th International Conference on Concurrency Theory, CONCUR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2421 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 27
NO MEU: ORCID | DBLP
65
TÍTULO: A Spatial Logic for Concurrency
AUTORES: Luís Caires ; Luca Cardelli;
PUBLICAÇÃO: 2001, FONTE: 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001 in Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, VOLUME: 2215
INDEXADO EM: Scopus DBLP CrossRef: 34
NO MEU: DBLP
66
TÍTULO: A basic model of typed components
AUTORES: Seco, JC; Caires, L ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Object Oriented Programming (ECOOP 2000) in ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 1850
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: DBLP
67
TÍTULO: Verifiable and executable logic specifications of concurrent objects in L-pi  Full Text
AUTORES: Caires, L ; Monteiro, L ;
PUBLICAÇÃO: 1998, FONTE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
68
TÍTULO: Proof Net Semantics of Proof Search Computation
AUTORES: Luís Caires ; Luís Monteiro;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
69
TÍTULO: A Language for the Logical Specification of Processes and Relations
AUTORES: Luís Caires ;
PUBLICAÇÃO: 1996, FONTE: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, VOLUME: 1139
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
70
TÍTULO: HIGHER-ORDER POLYMORPHIC UNIFICATION FOR LOGIC PROGRAMMING
AUTORES: CAIRES, L ; MONTEIRO, L ;
PUBLICAÇÃO: 1994, FONTE: 11th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
NO MEU: DBLP
Página 7 de 8. Total de resultados: 72.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service