Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
71
TÃTULO: Cryptomorphisms at Work
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2004, FONTE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2004, FONTE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP72
TÃTULO: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Completeness Results for Fibred Parchments: Beyond the Propositional Base
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2002, FONTE: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, VOLUME: 2755
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2002, FONTE: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, VOLUME: 2755
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: Combining Logics: Parchments Revisited
AUTORES: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLICAÇÃO: 2001, FONTE: 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
AUTORES: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLICAÇÃO: 2001, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP75
TÃTULO: Specifying Communication in Distributed Information Systems
AUTORES: Hans Dieter Ehrich; Carlos Caleiro;
PUBLICAÇÃO: 2000, FONTE: Acta Inf., VOLUME: 36, NÚMERO: 8
AUTORES: Hans Dieter Ehrich; Carlos Caleiro;
PUBLICAÇÃO: 2000, FONTE: Acta Inf., VOLUME: 36, NÚMERO: 8
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP76
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
DBLP77
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
DBLP78
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
DBLP79
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
DBLP80
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