Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
91
TÃTULO: Logics for Specifying Concurrent Information Systems
AUTORES: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLICAÇÃO: 1998, FONTE: Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)
AUTORES: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLICAÇÃO: 1998, FONTE: Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP92
TÃTULO: Categorial Fibring of Logics with Terms and Binding Operators
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP93
TÃTULO: Synchronization of logics with mixed rules: Completeness preservation
AUTORES: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTORES: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID94
TÃTULO: A linear temporal logic approach to objects with transactions
AUTORES: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTORES: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID95
TÃTULO: A Linear Temporal Logic Approach to Objects with Transactions
AUTORES: Grit Denker; Jaime Ramos; Carlos Caleiro; Amílcar Sernadas;
PUBLICAÇÃO: 1997, FONTE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTORES: Grit Denker; Jaime Ramos; Carlos Caleiro; Amílcar Sernadas;
PUBLICAÇÃO: 1997, FONTE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP96
TÃTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLICAÇÃO: 1997, FONTE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLICAÇÃO: 1997, FONTE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP97
TÃTULO: Deriving Liveness Goals from Temporal Logic Specifications
AUTORES: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLICAÇÃO: 1996, FONTE: J. Symb. Comput., VOLUME: 22, NÚMERO: 5/6
AUTORES: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLICAÇÃO: 1996, FONTE: J. Symb. Comput., VOLUME: 22, NÚMERO: 5/6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP