Academic position:
Assistant Professor
Joining date:
31-12-2006
Role in IT: Researcher Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx
ComFormCrypt - Computational Semantics of Formal Methods in Cryptography
FCT/PTDC
01-02-2011
01-02-2014
Academic Activities
Supervision of theses
PhD
- Logic in Security, PhD, Andreia Mordido, 1-2015, Instituto Superior Técnico
- Models and Proof Methods for Information Protection, PhD, Maxime Gamboni, 12-2010, Instituto Superior Técnico
- Algebraizability of Quantum Logics, PhD, Ricardo João Rodrigues Gonçalves, 7-2008, Instituto Superior Técnico
Publications
Books [2]
- J. Carmo; Sernadas, A.; Sernadas, C.; Dionísio, F.; Caleiro, C.; Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004. | BibTex
- MV Volpe; J. Marcos; Caleiro, C.; "Classic-like cut-based tableau systems for finite-valued logics" - Chapter in WoLLIC 2012, Selected Papers, L. Ong, R. de Queiroz, Springer, ,
2012.
- B. M. Montalto; D. Basin; Caleiro, C.; "Efficient decision procedures for message deducibility and static equivalence" - Chapter in Formal Aspects of Security and Trust - Lecture Notes in Computer Science, volume 6561, P. Degano, S. Etalle, J. Guttman, Springer, ,
2011.
- Caleiro, C.; Sernadas, A.; "Fibring Logics" - Chapter in Universal Logic: An Anthology (from Paul Hertz to Dov Gabbay), J-Y Béziau, Birkhäuser, ,
2010.
- Caleiro, C.; Gonçalves, R.; "Algebraic valuations as behavioral logical matrices" - Chapter in WoLLIC 2009, Selected Papers, volume 5514 of Lectures Notes in Artificial Intelligence, pages 13-25, M. Kanazawa, H. Ono e R. de Queiroz, Springer, ,
2009.
- Caleiro, C.; J. Marcos; "Classic-like analytic tableaux for finite-valued logics" - Chapter in WoLLIC 2009, Selected Papers, volume 5514 of Lecture Notes in Artificial Intelligence, pages 268-280, H. Ono, R. de Queiroz, M. Kanazawa, Springer, ,
2009.
- Caleiro, C.; Ramos, J.; "Combining Classical and Intuitionistic implications" - Chapter in Frontiers of Combining Systems ( FroCoS2007), volume 4720 of Lecture Notes in Artificial Intelligence, B. Konev and F. Wolter, Springer, Liverpool,
2007.
- Caleiro, C.; Gonçalves, R.; "On the algebraization of many-sorted logics" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 4409 of Lecture Notes in Computer Science, pages 21-36, J. Fiadeiro and P.-Y. Schobbens, Springer, ,
2007.
- Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.; "Quantum institutions" - Chapter in Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego,
2006.
- Caleiro, C.; Ramos, J.; "Cryptomorphisms at work" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 3423 of Lecture Notes in Computer Science, pages 45-60, J. Fiadeiro, P. Mosses and F. Orejas, Springer, ,
2005.
- Caleiro, C.; Sernadas, A.; Sernadas, C.; "Fibring logics: Past, present and future" - Chapter in We Will Show Them: Essays in Honour of Dog Gabbay, Volume 1, pages 363-388, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb and J. Woods, King's College Publications, ,
2005.
- Caleiro, C.; W. Carnielli ; Rasga, J.; Sernadas, C.; "Fibring of logics as a universal construction" - Chapter in Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, ,
2005.
- Caleiro, C.; Gouveia, M.P.G.; Ramos, J.; "Completeness results for fibred parchments: Beyond the propositional base" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200, M. Wirsing, D. Pattinson, and R. Hennicker, Springer, ,
2003.
- Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.; "Combining logics: Parchments revisited" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, ,
2001.
- Sernadas, A.; Sernadas, C.; Caleiro, C.; T. Mossakowski; "Categorial fibring of logics with terms and binding operators" - Chapter in Frontiers of Combining Systems 2, pages 295--316, D. Gabbay and M. de Rijke, Research Studies Press, ,
2000.
- Caleiro, C.; Sernadas, C.; Sernadas, A.; "Parameterisation of logics" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48-62, J. Fiadeiro, Springer, ,
1999.
- H.-D. Ehrich; Caleiro, C.; Sernadas, A.; G. Denker; "Logics for specifying concurrent information systems" - Chapter in Logic for Databases and Information Systems, pages 167--198, J. Chomicki and G. Saake, Kluwer Academic, ,
1998.
- G. Denker; Ramos, J.; Caleiro, C.; Sernadas, A.; "A linear temporal logic approach to objects with transactions" - Chapter in Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170-184, M. Johnson, Springer, ,
1997.
- Sernadas, A.; Sernadas, C.; Caleiro, C.; "Synchronization of Logics with Mixed Rules: Completeness preservation" - Chapter in Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478, M. Johnson, Springer, ,
1997.
- Caleiro, C.; "On the relationship between operational and denotational semantics of temporal logic specification of object behaviour" - Chapter in IS-CORE'94 - Selected papers, pages 69-83, R. Wieringa and R. Feenstra, World Scientific Publishing, ,
1995.
Papers in Journals [23]
- Caleiro, C.; L. Viganò; MV Volpe; "On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators", Logica Universalis, Vol. 0, No. 0, pp. 0 - 0, January, 2012.
| BibTex
- Caleiro, C.; J. Marcos; "Many-valuedness meets bivalence: Using logical values in an effective way", Journal of Mutiple-Valued Logic and Soft Computing, Vol. 0, No. 0, pp. 0 - 0, July, 2011.
| BibTex
- Caleiro, C.; L. Viganò; MV Volpe; "On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators", Logica Universalis, Vol. 0, No. 0, pp. 0 - 0, January, 2011.
| BibTex
- Caleiro, C.; Gonçalves, R.; "Towards a behavioral algebraic theory of logical valuations", Fundamenta Informaticae, Vol. 106, No. 0, pp. 2 - 4, May, 2010.
| BibTex
- B. M. Montalto; Caleiro, C.; "Modeling and reasoning about an attacker with cryptanalytical capabilities", Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3, pp. 143 - 165, July, 2009.
| BibTex
- Caleiro, C.; Gonçalves, R.; "Behavioral algebraization of da Costa's C-systems", Journal of Appl. Non-Classical Logics, Vol. 19, No. 2, pp. 127 - 148, January, 2009.
| BibTex
- Caleiro, C.; Gonçalves, R.; M.M. Martins; "Behavioral algebraization of logics", Studia Logica, Vol. 91, No. 1, pp. 63 - 111, January, 2009.
| BibTex
- D. Basin; Caleiro, C.; Ramos, J.; L. Viganò; "Labelled tableaux for distributed temporal logic", Journal of Logic and Computation, Vol. 19, No. 6, pp. 1245 - 1279, January, 2009.
| BibTex
- Caleiro, C.; Ramos, J.; "From fibring to cryptofibring: a solution to the collapsing problem", Logica Universalis, Vol. 1, No. 1, pp. 71 - 92, January, 2007.
| BibTex
- Caleiro, C.; L. Viganò; D. Basin; "On the semantics of Alice&Bob specifications of security protocols", Theoretical Computer Science, Vol. 367, No. 1-2, pp. 88 - 122, May, 2006.
| BibTex
- Caleiro, C.; L. Viganò; D. Basin; "Deconstructing Alice and Bob", Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1, pp. 3 - 22, January, 2005.
| BibTex
- Caleiro, C.; L. Viganò; D. Basin; "Metareasoning about security protocols using distributed temporal logic", Electronic Notes in Theoretical Computer Science, Vol. 125, No. 1, pp. 67 - 89, January, 2005.
| BibTex
- Caleiro, C.; L. Viganò; D. Basin; "Relating strand spaces and distributed temporal logic for security protocol analysis", Logic Journal of the IGPL, Vol. 13, No. 6, pp. 637 - 664, January, 2005.
| BibTex
- Caleiro, C.; W. Carnielli ; Coniglio, M.; Sernadas, A.; Sernadas, C.; "Fibring non-truth-functional logics: Completeness Preservation", Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003.
| BibTex
- H.-D. Ehrich; Caleiro, C.; "Specifying communication in distributed information systems", Acta Informatica, Vol. 36, No. -, pp. 591 - 616, January, 2000.
| BibTex
- Sernadas, A.; Sernadas, C.; Caleiro, C.; "Fibring of logics as a categorial construction", Journal of Logic and Computation, Vol. 9, No. 2, pp. 149 - 179, January, 1999.
| BibTex
- Caleiro, C.; G. Saake; Sernadas, A.; "Deriving liveness goals from temporal logic specifications", Journal of Symbolic Computation, Vol. 22, No. -, pp. 521 - 553, January, 1996.
| BibTex
- Caleiro, C.; "Operational semantics of temporal object specification", INESC Journal on Junior Activities in Science and Technology, Vol. 1, No. 1, pp. 7 - 35, January, 1994.
| BibTex
Papers in Conference Proceedings [10]
- Caleiro, C.; Marcelino, S.; "Combining logics, cryptofibred semantics and completeness preservation", Proc World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 0, pp. 0 - 0, April, 2013.
| BibTex
- Ramos, J.; Caleiro, C.; "Classical and intuitionistic propositinal logic", Proc World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 1, pp. 244 - 245, March, 2013. Abstract | Full text (PDF 81KB) | BibTex
- B. M. Montalto; D. Basin; Caleiro, C.; "FAST - An efficient decision procedure for deduction and static equivalence", Proc International Conf. on Rewriting Techniques and Applications - RTA, Novi Sad, Serbia & Montenegro, Vol. 10, pp. 11 - 20, July, 2011.
| BibTex
- Caleiro, C.; J. Marcos; "Two Many Values: An algorithmic outlook on Suszko’s Thesis", Proc International Symp. on Many-Valued Logic - ISMVL, Barcelona, Spain, Vol. -, pp. - - -, January, 2010.
| BibTex
- Caleiro, C.; "Modeling and reasoning about an attacker with cryptanalytical capabilities", Proc Workshop on Quantitative Aspects of Programming Languages - QAPL, York, United Kingdom, Vol. -, pp. - - -, March, 2009.
| BibTex
- D. Basin; Caleiro, C.; Ramos, J.; L. Viganò; "Labeled tableaux for distributed temporal logic", Proc Symp. on Temporal Representation and Reasoning, Québec, Canada, Vol. -, pp. 101 - 109, June, 2008.
| BibTex
- Caleiro, C.; Ramos, J.; "Accepted for publication - Combining classical and intuitionistic implications", Proc Frontiers of Combining Systems - FroCos 98, Santa Margherita, Italy, Vol. -, pp. - - -, April, 2008.
| BibTex
- Caleiro, C.; Ramos, J.; "Cryptofibring", Proc Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 87 - 92, January, 2004.
| BibTex
- Caleiro, C.; L. Viganò; D. Basin; "Towards a metalogics for security protocol analysis", Proc Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 187 - 196, January, 2004.
| BibTex
- Caleiro, C.; J. Marcos; "Non-truth-functional fibred semantics", Proc International Conf. on Artificial Intelligence - IC-AI, Nevada, United States, Vol. -, pp. 48 - 70, June, 2001.
| BibTex
- Sernadas, A.; Sernadas, C.; Caleiro, C.;
"
Fibring of Logics with Terms and Binding Operators: Semantics
",
Portugal
",
Segundo Encontro ACL, Figueira da Foz
",
6-1998
.
