Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
81
TITLE: Fibring Logics: Past, Present and Future
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP82
TITLE: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP83
TITLE: Deconstructing Alice and Bob
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP84
TITLE: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP85
TITLE: Cryptomorphisms at Work
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2004, SOURCE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2004, SOURCE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP86
TITLE: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: Journal of Logic, Language and Information, VOLUME: 12, ISSUE: 2
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: Journal of Logic, Language and Information, VOLUME: 12, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP87
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
DBLP88
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
DBLP89
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
DBLP90
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
DBLP