???global.info.a_carregar???
Carlos Caleiro. Completed the Título de Agregado in Agregação em Matemática in 2022/10/01 by Universidade de Lisboa Instituto Superior Técnico, Doutoramento in Doutoramento em Matemática in 2000 by Universidade de Lisboa Instituto Superior Técnico, Mestrado in Mestrado em Matemática e Aplicações in 1996 by Universidade de Lisboa Instituto Superior Técnico and Licenciatura in Licenciatura em Matemática Aplicada e Computação in 1993 by Universidade de Lisboa Instituto Superior Técnico. Is Assistant in Universidade de Lisboa Instituto Superior Técnico, Assistant Professor in Universidade de Lisboa Instituto Superior Técnico and Associate Professor in Universidade de Lisboa Instituto Superior Técnico. Published 39 articles in journals. Has 26 section(s) of books. Participates and/or participated as Principal investigator in 2 project(s) and Researcher in 8 project(s). Works in the area(s) of Exact Sciences with emphasis on Mathematics. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Mathematics; .
Read full resume ↓
Identification

Personal identification

Full name
Carlos Caleiro

Citation names

  • Caleiro, Carlos

Author identifiers

Ciência ID
5314-DA90-95C9
ORCID iD
0000-0001-5587-6585

Knowledge fields

  • Exact Sciences - Mathematics
Education
Degree Classification
2022/10/01
Concluded
 Agregação em Matemática (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"A manifesto for multiple-conclusions in logic" (THESIS/DISSERTATION)
2000
Concluded
 Doutoramento em Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 aprovado
1996
Concluded
 Mestrado em Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 aprovado
1993
Concluded
 Licenciatura em Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2010 - Current Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2000 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
1995 - Current Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
2010 - Current Semântica Computacional de Métodos Formais em Segurança
PTDC/EIA-CCO/113033/2009
Researcher
2009 - Current Applied Mathematics: from dynamical systems to cryptography
UTAustin/MAT/0057/2008
Researcher
2005/01/01 - Current QuantLog: Logic for Quantum Computation and Information
info:eu-repo/grantAgreement/FCT/POCI/55796/PT
 Universidade do Algarve Faculdade de Ciências e Tecnologia
2002/01/01 - Current FIBLOG: Fibring Logics
info:eu-repo/grantAgreement/FCT/POCI/37239/PT
 Universidade do Algarve Faculdade de Ciências e Tecnologia
1999 - Current Probabilistic Methods in Logic of Reactive Systems
PRAXIS/P/MAT/10002/1998
Researcher
1997 - Current Advanced Modeling and Specification of Distributed Information Systems
ESPRIT IV WG 22704 ASPIRE
Researcher
1996 - Current Logic and Computation
2/2.1/TIT/1658/95
Researcher
1996 - Current Feature Integration in Requirements Engineering
ESPRIT IV WG 23531 FIREWorks
Researcher
1996 - Current Algebraic Combination of Logics
PCEX/P/MAT/46/96 ACL
Researcher
1994 - Current Situation Calculus
2/2.1/MAT/262/94 SitCalc
Researcher
1994 - Current Situation Calculus
2/2.1/MAT/262/94 SitCalc
 N/A
2013 - 2016 GeTFun: Generalizing Truth-Functionality
318986 FP7-PEOPLE-2012-IRSES
Principal investigator
Concluded
2007 - 2009 Kleistic Logic
PTDC/MAT/68723/2006
Principal investigator
Outputs

Publications

Book chapter
  1. Sérgio Marcelino; Carlos Caleiro; Pedro Filipe. "Computational Properties of Partial Non-deterministic Matrices and Their Logics". 180-197. Springer International Publishing, 2022.
    10.1007/978-3-030-93100-1_12
  2. Carlos Caleiro; Sérgio Marcelino. "On Axioms and Rexpansions". 2021.
    10.1007/978-3-030-71258-7_3
  3. Guilherme Ramos; Caleiro, Carlos. "A novel similarity measure for group recommender systems with optimal time complexity". In Bias and Social Aspects in Search and Recommendation. 2020.
    10.1007/978-3-030-52485-2
  4. Caleiro, Carlos. "Analytic calculi for monadic PNmatrices". In Logic, Language, Information and Computation. 2019.
  5. Caleiro, Carlos. "Plug and play negations". In Contradictions, from Consistency to Inconsistency, 307-322. 2018.
  6. Caleiro, Carlos. "A tableau-based decision procedure for distributed temporal logic". In Logic and Computation -- Essays in Honour of Amilcar Sernadas. 2017.
  7. Caleiro, Carlos. "Merging fragments of classical logic". In Frontiers of Combining Systems. 2017.
  8. Caleiro, Carlos. "Disjoint fibring of non-deterministic matrices". In Logic, Language, Information and Computation. 2017.
  9. Mordido, A.; Caleiro, C.. "An equation-based classical logic". In Lecture Notes in Computer Science. 2015.
    10.1007/978-3-662-47709-0_4
  10. Caleiro, Carlos. "Deciding theoremhood in fibred logics without shared connectives". In The Road to Universal Logic -- Volume 2. 2015.
  11. Conchinha, B.; Basin, D.; Caleiro, C.. "Symbolic probabilistic analysis of off-line guessing". In Computer Security. 2013.
    10.1007/978-3-642-40203-6_21
  12. Volpe, M.; Marcos, J.; Caleiro, C.. "Classic-like cut-based tableau systems for finite-valued logics". In Lecture Notes in Computer Science. 2012.
    10.1007/978-3-642-32621-9_24
  13. Conchinha, B.; Basin, D.; Caleiro, C.. "Efficient decision procedures for message deducibility and static equivalence". In Lecture Notes in Computer Science. 2011.
    10.1007/978-3-642-19751-2_3
  14. Caleiro, C.; Marcos, J.. "Classic-like analytic tableaux for finite-valued logics". In Lecture Notes in Artificial Intelligence. 2009.
    10.1007/978-3-642-02261-6_22
  15. Caleiro, C.; Gonçalves, R.. "Algebraic valuations as behavioral logical matrices". In Lecture Notes in Artificial Intelligence. 2009.
    10.1007/978-3-642-02261-6_2
  16. Caleiro, C.; Gonçalves, R.. "Equipollent logical systems". In Logica Universalis. 2007.
    10.1007/978-3-7643-8354-1_6
  17. Caleiro, C.; Carnielli, W.; Coniglio, M.E.; Marcos, J.. "Two's company: The humbug of many logical values". In Logica Universalis. 2007.
    10.1007/978-3-7643-8354-1_10
  18. Caleiro, C.; Ramos, J.. "Combining classical and intuitionistic implications". In Lecture Notes in Artificial Intelligence. 2007.
  19. Caleiro, C.; Gonçalves, R.. "On the algebraization of many-sorted logics". In Lecture Notes in Computer Science. 2007.
  20. Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.. "Quantum institutions". In Lecture Notes in Computer Science. 2006.
  21. Caleiro, C.; Ramos, J.. "Cryptomorphisms at work". In Lecture Notes in Computer Science, 45-60. 2005.
  22. Caleiro, C.; Gouveia, P.; Ramos, J.. "Completeness results for fibred parchments: Beyond the propositional base". In Lecture Notes in Computer Science. 2003.
  23. Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.. "Combining logics: Parchments revisited". In Lecture Notes in Computer Science. 2002.
  24. Caleiro, C.; Sernadas, C.; Sernadas, A.. "Parameterisation of logics". In Lecture Notes in Computer Science. 1999.
    10.1007/3-540-48483-3_4
  25. Denker, G.; Ramos, J.; Caleiro, C.; Sernadas, A.. "A linear temporal logic approach to objects with transactions". In Lecture Notes in Computer Science. 1997.
  26. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Synchronization of logics with mixed rules: Completeness preservation". In Lecture Notes in Computer Science. 1997.
Conference paper
  1. Pedro Filipe; Caleiro, Carlos; Marcelino, Sérgio. Corresponding author: Pedro Filipe. "Monadicity of non-deterministic logical matrices is undecidable". Paper presented in Non-ClassicalLogics, Theory and Applications, 2022.
    10.4204/eptcs.358
  2. Carlos Caleiro; Sergio Marcelino; Pedro Filipe. "Infectious semantics and analytic calculi for even more inclusion logics". 2020.
    10.1109/ismvl49045.2020.000-1
  3. Caleiro, Carlos. "The robust minimal controllability problem for switched linear continuous-time systems". 2018.
    10.23919/acc.2018.8431919
  4. Caleiro, Carlos. "Reputation-Based Ranking Systems and Their Resistance to Bribery". 2017.
    10.1109/icdm.2017.139
  5. Caleiro, Carlos. "Classical Generalized Probabilistic Satisfiability". 2017.
    10.24963/ijcai.2017/126
  6. Caleiro, C.; Viganò, L.; Volpe, M.. "A labeled deduction system for the logic UB". 2013.
    10.1109/TIME.2013.14
  7. Caleiro, Carlos. "Symbolic probabilistic analysis of off-line guessing". Paper presented in ESORICS, 2013.
  8. Caleiro, C.; Marcos, J.. "Two many values: An algorithmic outlook on Suszko's thesis". 2010.
    10.1109/ISMVL.2010.25
  9. Basin, D.; Caleiro, C.; Ramos, J.; Viganò, L.. "A labeled tableaux system for the distributed temporal logic DTL". Paper presented in 15th Int. Symp. on Temporal Representation and Reasoning, 2008.
    10.1109/TIME.2008.21
Journal article
  1. CARLOS CALEIRO; SÉRGIO MARCELINO. "MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS". The Journal of Symbolic Logic (2023): https://doi.org/10.1017/jsl.2023.22.
    10.1017/jsl.2023.22
  2. Pedro Filipe; Sérgio Marcelino; Carlos Caleiro. "Computational properties of finite PNmatrices". Journal of Logic and Computation (2022): http://dx.doi.org/10.1093/logcom/exac073.
    10.1093/logcom/exac073
  3. HUGO ALBUQUERQUE; CARLOS CALEIRO. "AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS". The Bulletin of Symbolic Logic (2022): https://doi.org/10.1017/bsl.2022.36.
    10.1017/bsl.2022.36
  4. Carlos Caleiro; Sérgio Marcelino. "Decidability Preservation and Complexity Bounds for Combined Logics". Mathematics (2022): https://doi.org/10.3390/math10193481.
    10.3390/math10193481
  5. Joao Saude; Guilherme Ramos; Ludovico Boratto; Carlos Caleiro. "A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery". ACM Transactions on Knowledge Discovery from Data (2022): http://dx.doi.org/10.1145/3462210.
    10.1145/3462210
  6. Caleiro, Carlos. "On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms". Information Processing & Management (2020): http://dx.doi.org/10.1016/j.ipm.2019.102058.
    10.1016/j.ipm.2019.102058
  7. Caleiro, Carlos. "On the index of convergence of a class of Boolean matrices with structural properties". International Journal of Control (2019): http://dx.doi.org/10.1080/00207179.2019.1656822.
    10.1080/00207179.2019.1656822
  8. Caleiro, Carlos. "What is a logical theory? On theories containing assertions and denials". Synthese (2019): http://dx.doi.org/10.1007/s11229-019-02183-z.
    10.1007/s11229-019-02183-z
  9. Caleiro, Carlos. "Axiomatizing non-deterministic many-valued generalized consequence relations". Synthese (2019): http://dx.doi.org/10.1007/s11229-019-02142-8.
    10.1007/s11229-019-02142-8
  10. Caleiro, Carlos. "Combining fragments of classical logic: When are interaction principles needed?". Soft Computing 23 7 (2019): 2213-2231.
  11. Caleiro, Carlos. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29 6 (2019): 872-895.
  12. Caleiro, Carlos. "Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities". Theoretical Computer Science 781 (2019): 39-62.
  13. Caleiro, Carlos. "Characterizing finite-valuedness". Fuzzy Sets and Systems 345 (2018): 113-125.
  14. Caleiro, Carlos. "On the characterization of fibred logics, with applications to conservativity and finite-valuedness". Journal of Logic and Computation 27 7 (2017): 2063-2088.
  15. Caleiro, Carlos. "Compositional meaning in logic". Logica Universalis 11 3 (2017): 283-295.
  16. Marcelino, S.; Caleiro, C.. "Decidability and complexity of fibred logics without shared connectives". Logic Journal of the IGPL 24 5 (2016): 673-707. http://www.scopus.com/inward/record.url?eid=2-s2.0-84995745441&partnerID=MN8TOARS.
    10.1093/jigpal/jzw033
  17. Caleiro, C.; Marcos, J.; Volpe, M.. "Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics". Theoretical Computer Science 603 (2015): 84-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-84943585698&partnerID=MN8TOARS.
    10.1016/j.tcs.2015.07.016
  18. Caleiro, C.; Viganò, L.; Volpe, M.. "On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators". Logica Universalis 7 1 (2013): 33-69. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874655357&partnerID=MN8TOARS.
    10.1007/s11787-012-0074-5
  19. Caleiro, C.; Gonçalves, R.. "Abstract Valuation Semantics". Studia Logica 101 4 (2013): 677-712. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881611789&partnerID=MN8TOARS.
    10.1007/s11225-013-9495-2
  20. Caleiro, C.; Marcos, J.. "Many-valuedness meets bivalence: Using logical values in an effective way". Journal of Multiple-Valued Logic and Soft Computing 19 1-3 (2012): 51-70. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864071802&partnerID=MN8TOARS.
  21. Caleiro, C.; Gonçalves, R.. "Towards a behavioral algebraic theory of logical valuations". Fundamenta Informaticae 106 2-4 (2011): 191-209. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052614072&partnerID=MN8TOARS.
    10.3233/FI-2011-383
  22. Basin, D.; Caleiro, C.; Ramos, J.; Viganò, L.. "Distributed temporal logic for the analysis of security protocol models". Theoretical Computer Science 412 31 (2011): 4007-4043. http://www.scopus.com/inward/record.url?eid=2-s2.0-79958066911&partnerID=MN8TOARS.
    10.1016/j.tcs.2011.04.006
  23. Caleiro, C.; Gouveia, P.; Ramos, J.. "Hierarchical logical consequence". Logic Journal of the IGPL 19 4 (2011): 544-565. http://www.scopus.com/inward/record.url?eid=2-s2.0-79958812216&partnerID=MN8TOARS.
    10.1093/jigpal/jzp093
  24. Caleiro, C.; Gonçalves, R.. "Behavioral algebraization of da Costa's C-systems". Journal of Applied Non-Classical Logics 19 2 (2009): 127-148. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052610238&partnerID=MN8TOARS.
    10.3166/jancl.19.127-148
  25. Basin, D.; Caleiro, C.; Ramos, J.; Viganó, L.. "Labelled tableaux for distributed temporal logic". Journal of Logic and Computation 19 6 (2009): 1245-1279. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649099109&partnerID=MN8TOARS.
    10.1093/logcom/exp022
  26. Montalto, B.; Caleiro, C.. "Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities". Electronic Notes in Theoretical Computer Science 253 3 (2009): 143-165. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350000139&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.10.010
  27. Caleiro, C.; Gonçalves, R.; Martins, M.. "Behavioral algebraization of logics". Studia Logica 91 1 (2009): 63-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-59549106251&partnerID=MN8TOARS.
    10.1007/s11225-009-9163-8
  28. Caleiro, C.; Ramos, J.. "From fibring to cryptofibring. A solution to the collapsing problem". Logica Universalis 1 1 (2007): 71-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250742586&partnerID=MN8TOARS.
    10.1007/s11787-006-0004-5
  29. Caleiro, C.; Viganò, L.; Basin, D.. "On the semantics of Alice&Bob specifications of security protocols". Theoretical Computer Science 367 1-2 (2006): 88-122. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750486827&partnerID=MN8TOARS.
    10.1016/j.tcs.2006.08.041
  30. Caleiro, C.; Viganò, L.; Basin, D.. "Relating strand spaces and distributed temporal logic for security protocol analysis". Logic Journal of the IGPL 13 6 (2005): 637-663. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750107820&partnerID=MN8TOARS.
    10.1093/jigpal/jzi048
  31. Caleiro, C.; Viganò, L.; Basin, D.. "Metareasoning about security protocols using distributed temporal logic". Electronic Notes in Theoretical Computer Science 125 1 (2005): 67-89. http://www.scopus.com/inward/record.url?eid=2-s2.0-14044252798&partnerID=MN8TOARS.
    10.1016/j.entcs.2004.05.020
  32. Caleiro, C.; Viganò, L.; Basin, D.. "Deconstructing Alice and Bob". Electronic Notes in Theoretical Computer Science 135 (2005): 3-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144446730&partnerID=MN8TOARS.
    10.1016/j.entcs.2005.06.007
  33. Caleiro, C; Carnielli, W; Coniglio, M; Marcos, J; Beziau, JY. "Two's company: "The humbug of many logical values"". Logica Universalis: Towards a General Theory of Logic (2005): 169-189.
    10.1007/3-7643-7304-0_10
  34. Caleiro, C; Goncalves, R; Beziau, JY. "Equipollent logical systems". Logica Universalis: Towards a General Theory of Logic (2005): 99-111.
    10.1007/3-7643-7304-0_6
  35. Ehrich, H.-D.; Caleiro, C.. "Specifying communication in distributed information systems". Acta Informatica 36 8 (2000): 591-616. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034144974&partnerID=MN8TOARS.
  36. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Fibring of logics as a categorial construction". Journal of Logic and Computation 9 2 (1999): 149-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032640209&partnerID=MN8TOARS.
  37. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Denotational semantics of object specification". Acta Informatica 35 9 (1998): 729-773. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032375623&partnerID=MN8TOARS.
  38. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Synchronization of logics". Studia Logica 59 2 (1997): 217-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-0002154823&partnerID=MN8TOARS.
  39. Caleiro, C.; Saake, G.; Sernadas, A.. "Deriving liveness goals from temporal logic specifications". Journal of Symbolic Computation 22 5-6 (1996): 521-553. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030295472&partnerID=MN8TOARS.