???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; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Carlos Caleiro

Nomes de citação

  • Caleiro, Carlos

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Matemática
Formação
Grau Classificação
2022/10/01
Concluído
 Agregação em Matemática (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"A manifesto for multiple-conclusions in logic" (TESE/DISSERTAÇÃO)
2000
Concluído
 Doutoramento em Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 aprovado
1996
Concluído
 Mestrado em Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 aprovado
1993
Concluído
 Licenciatura em Matemática Aplicada e Computação (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2010 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2000 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1995 - Atual Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
2010 - Atual Semântica Computacional de Métodos Formais em Segurança
PTDC/EIA-CCO/113033/2009
Investigador
2009 - Atual Applied Mathematics: from dynamical systems to cryptography
UTAustin/MAT/0057/2008
Investigador
2005/01/01 - Atual 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 - Atual FIBLOG: Fibring Logics
info:eu-repo/grantAgreement/FCT/POCI/37239/PT
 Universidade do Algarve Faculdade de Ciências e Tecnologia
1999 - Atual Probabilistic Methods in Logic of Reactive Systems
PRAXIS/P/MAT/10002/1998
Investigador
1997 - Atual Advanced Modeling and Specification of Distributed Information Systems
ESPRIT IV WG 22704 ASPIRE
Investigador
1996 - Atual Logic and Computation
2/2.1/TIT/1658/95
Investigador
1996 - Atual Feature Integration in Requirements Engineering
ESPRIT IV WG 23531 FIREWorks
Investigador
1996 - Atual Algebraic Combination of Logics
PCEX/P/MAT/46/96 ACL
Investigador
1994 - Atual Situation Calculus
2/2.1/MAT/262/94 SitCalc
Investigador
1994 - Atual Situation Calculus
2/2.1/MAT/262/94 SitCalc
 N/A
2013 - 2016 GeTFun: Generalizing Truth-Functionality
318986 FP7-PEOPLE-2012-IRSES
Investigador responsável
Concluído
2007 - 2009 Kleistic Logic
PTDC/MAT/68723/2006
Investigador responsável
Produções

Publicações

Artigo em conferência
  1. Pedro Filipe; Caleiro, Carlos; Marcelino, Sérgio. Autor correspondente: Pedro Filipe. "Monadicity of non-deterministic logical matrices is undecidable". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 15th Int. Symp. on Temporal Representation and Reasoning, 2008.
    10.1109/TIME.2008.21
Artigo em revista
  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.
Capítulo de livro
  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.