Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
71
TITLE: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP72
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP73
TITLE: On the Algebraization of Many-Sorted Logics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP74
TITLE: On the semantics of Alice&Bob specifications of security protocols
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP75
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
DBLP76
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
DBLP77
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
DBLP78
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
DBLP79
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
DBLP80
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
DBLP