| 2026 | LICS | Guarded Negation Transitive Closure Logic. | Diego Figueira, Santiago Figueira, Yoshiki Nakamura |
| 2023 | LICS | PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2020 | KR | Finite Controllability for Ontology-Mediated Query Answering of CRPQ. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2019 | STACS | Closure Properties of Synchronized Relations. | Mara Emilia Descotte, Diego Figueira, Santiago Figueira |
| 2017 | FOSSACS | Logics of Repeating Values on Data Trees and Branching Counter Systems. | Sergio Abriola, Diego Figueira, Santiago Figueira |
| 2016 | KR | Bisimulations on Data Graphs. | Sergio Abriola, Pablo Barcel, Diego Figueira, Santiago Figueira |
| 2014 | CLEI | A note on the order type of minoring orderings and some algebraic properties of ω | Sergio Abriola, Santiago Figueira |
| 2014 | ICDT | Basic Model Theory of XPath on Data Trees. | Diego Figueira, Santiago Figueira, Carlos Areces |
| 2014 | WoLLIC | Definability for Downward and Vertical XPath on Data Trees. | Sergio Abriola, Mara Emilia Descotte, Santiago Figueira |
| 2012 | WoLLIC | Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. | Sergio Abriola, Santiago Figueira, Gabriel Senno |
| 2011 | LICS | Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
| 2011 | WoLLIC | Basic Model Theory for Memory Logics. | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |
| 2011 | WoLLIC | On the Expressive Power of IF-Logic with Classical Negation. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2010 | AiML | On the Size of Shortest Modal Descriptions. | Santiago Figueira, Daniel Gorn |
| 2010 | CiE | Counting the Changes of Random D | Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, Andr Nies |
| 2009 | LFCS | Completeness Results for Memory Logics. | Carlos Areces, Santiago Figueira, Sergio Mera |
| 2008 | WoLLIC | Expressive Power and Decidability for Memory Logics. | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
| 2008 | WoLLIC | On the Formal Semantics of IF-Like Logics. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2006 | LATIN | Classical Computability and Fuzzy Turing Machines. | Benjamn Ren Callejas Bedregal, Santiago Figueira |
| 2005 | CCA | Randomness and Universal Machines. | Santiago Figueira, Frank Stephan, Guohua Wu |