| 2022 | LFCS | Computational Properties of Partial Non-deterministic Matrices and Their Logics. | Srgio Marcelino, Carlos Caleiro, Pedro Filipe |
| 2019 | WoLLIC | Analytic Calculi for Monadic PNmatrices. | Carlos Caleiro, Srgio Marcelino |
| 2017 | ICDM | Reputation-Based Ranking Systems and Their Resistance to Bribery. | Joo Sade, Guilherme Ramos, Carlos Caleiro, Soummya Kar |
| 2017 | IJCAI | Classical Generalized Probabilistic Satisfiability. | Carlos Caleiro, Filipe Casal, Andreia Mordido |
| 2017 | WoLLIC | Disjoint Fibring of Non-deterministic Matrices. | Srgio Marcelino, Carlos Caleiro |
| 2015 | WoLLIC | An Equation-Based Classical Logic. | Andreia Mordido, Carlos Caleiro |
| 2013 | ESORICS | Symbolic Probabilistic Analysis of Off-Line Guessing. | Bruno Conchinha, David A. Basin, Carlos Caleiro |
| 2013 | TIME | A Labeled Deduction System for the Logic UB. | Carlos Caleiro, Luca Vigan, Marco Volpe |
| 2012 | WoLLIC | Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. | Marco Volpe, Joo Marcos, Carlos Caleiro |
| 2009 | WoLLIC | Algebraic Valuations as Behavioral Logical Matrices. | Carlos Caleiro, Ricardo Gonalves |
| 2009 | WoLLIC | Classic-Like Analytic Tableaux for Finite-Valued Logics. | Carlos Caleiro, Joo Marcos |
| 2008 | TIME | A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Vigan |