Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
81
TITLE: Completeness Results for Fibred Parchments: Beyond the Propositional Base
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2002, SOURCE: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, VOLUME: 2755
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2002, SOURCE: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, VOLUME: 2755
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP82
TITLE: Combining Logics: Parchments Revisited
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP83
TITLE: Specifying Communication in Distributed Information Systems
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro;
PUBLISHED: 2000, SOURCE: Acta Inf., VOLUME: 36, ISSUE: 8
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro;
PUBLISHED: 2000, SOURCE: Acta Inf., VOLUME: 36, ISSUE: 8
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP84
TITLE: Logics for Specifying Concurrent Information Systems
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLISHED: 1998, SOURCE: Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)
AUTHORS: Hans Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker;
PUBLISHED: 1998, SOURCE: Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP85
TITLE: Categorial Fibring of Logics with Terms and Binding Operators
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP86
TITLE: Synchronization of logics with mixed rules: Completeness preservation
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID87
TITLE: A linear temporal logic approach to objects with transactions
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID88
TITLE: A Linear Temporal Logic Approach to Objects with Transactions
AUTHORS: Grit Denker; Jaime Ramos; Carlos Caleiro; Amílcar Sernadas;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTHORS: Grit Denker; Jaime Ramos; Carlos Caleiro; Amílcar Sernadas;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP89
TITLE: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP90
TITLE: Deriving Liveness Goals from Temporal Logic Specifications
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP