| 2026 | KR | Revisiting Ability-Based Bisimulation. | Carlos Areces, Raul Fervari, Antonio Mondejar |
| 2026 | TACAS | AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. | Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2025 | KR | How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. | Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari |
| 2025 | KR | On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories. | Stphane Demri, Raul Fervari |
| 2025 | WoLLIC | Graded Relation Updates in Modal Logic. | Raul Fervari, Daniel Figueiredo, Manuel A. Martins |
| 2024 | SEFM | Arbitrary Radical Upgrades. | Raul Fervari, Benjamin Icard |
| 2023 | AAAI | Model-Checking for Ability-Based Logics with Constrained Plans. | Stphane Demri, Raul Fervari |
| 2023 | JELIA | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia |
| 2023 | JELIA | Data Graphs with Incomplete Information (and a Way to Complete Them). | Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
| 2023 | TABLEAUX | DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann |
| 2022 | FOSSACS | Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. | Raul Fervari, Alessio Mansutti |
| 2022 | WoLLIC | Non-monotonic Reasoning via Dynamic Consequence. | Carlos Areces, Valentin Cassano, Raul Fervari |
| 2020 | LICS | Modal Logics with Composition on Finite Forests: Expressivity and Complexity. | Bartosz Bednarczyk, Stphane Demri, Raul Fervari, Alessio Mansutti |
| 2019 | CADE | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | JELIA | Interpolation and Beth Definability in Default Logics. | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
| 2019 | JELIA | Axiomatising Logics with Separating Conjunction and Modalities. | Stphane Demri, Raul Fervari, Alessio Mansutti |
| 2019 | TAP | Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. | Raul Fervari, Francisco Trucco, Beta Ziliani |
| 2018 | AiML | On the Complexity of Modal Separation Logics. | Stphane Demri, Raul Fervari |
| 2017 | EPIA | Tableaux for Hybrid XPath with Data. | Carlos Areces, Raul Fervari, Nahuel Seiler |
| 2017 | IJCAI | Strategically knowing how. | Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang |
| 2017 | TABLEAUX | Undecidability of Relation-Changing Modal Logics. | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel |
| 2017 | TABLEAUX | Dynamic Epistemic Logics of Introspection. | Raul Fervari, Fernando R. Velzquez-Quesada |
| 2016 | JELIA | Hilbert-Style Axiomatization for Hybrid XPath with Data. | Carlos Areces, Raul Fervari |
| 2014 | WoLLIC | Logics with Copy and Remove. | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber |
| 2012 | WoLLIC | Moving Arrows and Four Model Checking Results. | Carlos Areces, Raul Fervari, Guillaume Hoffmann |