| 2024 | LPNMR | Compiling Metric Temporal Answer Set Programming. | Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2024 | LPNMR | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2023 | ICLP | Past-present temporal programs over finite traces: a preliminary report. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | JELIA | Past-Present Temporal Programs over Finite Traces. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2022 | KR | A Gdel Calculus for Linear Temporal Logic. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | LPNMR | Metric Temporal Answer Set Programming over Timed Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Anna Schuhmann |
| 2022 | WoLLIC | Time and Gdel: Fuzzy Temporal Reasoning in PSPACE. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2021 | ICLP | Automata for Dynamic Answer Set Solving: Preliminary Report. | Pedro Cabalar, Martn Diguez, Susana Hahn, Torsten Schaub |
| 2021 | LICS | Some constructive variants of S4 with the finite model property. | Philippe Balbiani, Martn Diguez, David Fernndez-Duque |
| 2020 | ECAI | Implementing Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Franois Laferrire |
| 2019 | JELIA | Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque, Fabin Romero |
| 2019 | LPNMR | Towards Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2018 | AiML | Here and There Modal Logic with Dual Implication. | Philippe Balbiani, Martn Diguez |
| 2018 | AiML | An Intuitionistic Axiomatization of 'Eventually'. | Martn Diguez, David Fernndez-Duque |
| 2018 | KR | Introducing Temporal Stable Models for Linear Dynamic Logic. | Anne-Gwenn Bosser, Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2017 | CSL | A Decidable Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque |
| 2016 | JELIA | Metabolic Pathways as Temporal Logic Programs. | Jean-Marc Alliot, Martn Diguez, Luis Farias del Cerro |
| 2016 | JELIA | Temporal Here and There. | Philippe Balbiani, Martn Diguez |
| 2014 | KR | Strong Equivalence of Non-Monotonic Temporal Theories. | Pedro Cabalar, Martn Diguez |
| 2013 | CEC | Cellular automata for modeling protein folding using the HP model. | Jos Santos Reyes, Pablo Villot, Martn Diguez |
| 2013 | GECCO | Protein folding with cellular automata in the 3D HP model. | Jos Santos Reyes, Pablo Villot, Martn Diguez |
| 2012 | ICLP | Paving the Way for Temporal Grounding. | Felicidad Aguado, Pedro Cabalar, Martn Diguez, Gilberto Prez, Concepcin Vidal |
| 2012 | ICLP | Temporal Answer Set Programming. | Martn Diguez |
| 2011 | IWINAC | Differential Evolution for Protein Structure Prediction Using the HP Model. | Jos Santos, Martn Diguez |
| 2011 | LPNMR | STeLP - A Tool for Temporal Answer Set Programming. | Pedro Cabalar, Martn Diguez |