| 2025 | AAAI | Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth. | Mateus de Oliveira Oliveira |
| 2025 | AAAI | Symbolic Functional Decomposition: A Reconfiguration Approach. | Mateus de Oliveira Oliveira, Wim Van den Broeck |
| 2024 | FSCD | State Canonization and Early Pruning in Width-Based Automated Theorem Proving. | Mateus de Oliveira Oliveira, Farhad Vadiee |
| 2024 | IJCAI | Optimal Extended Formulations from Optimal Dynamic Programming Algorithms. | Mateus de Oliveira Oliveira, Wim Van den Broeck |
| 2023 | AAAI | Synchronization and Diversity of Solutions. | Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf |
| 2023 | AAAI | From Width-Based Model Checking to Width-Based Automated Theorem Proving. | Mateus de Oliveira Oliveira, Farhad Vadiee |
| 2022 | CAV | Synthesis and Analysis of Petri Nets from Causal Specifications. | Mateus de Oliveira Oliveira |
| 2022 | IWOCA | Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms. | Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf |
| 2021 | ICML | Unitary Branching Programs: Learnability and Lower Bounds. | Fidel Ernesto Diaz Andino, Maria Kokkou, Mateus de Oliveira Oliveira, Farhad Vadiee |
| 2021 | IJCAI | Diversity in Kemeny Rank Aggregation: A Parameterized Approach. | Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf |
| 2021 | MFCS | Order Reconfiguration Under Width Constraints. | Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf |
| 2021 | MFCS | Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances. | Gabriel L. Duarte, Mateus de Oliveira Oliveira, Uverton S. Souza |
| 2020 | COCOON | Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity. | Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uverton dos Santos Souza |
| 2020 | CSR | Second-Order Finite Automata. | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2020 | DLT | On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection. | Mateus de Oliveira Oliveira, Michael Wehar |
| 2020 | IJCAI | Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory. | Julien Baste, Michael R. Fellows, Lars Jaffke, Toms Masark, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond |
| 2020 | KR | Symbolic Solutions for Symbolic Constraint Satisfaction Problems. | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2020 | MFCS | Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach. | Lars Jaffke, Mateus de Oliveira Oliveira, Hans Raj Tiwary |
| 2019 | CADE | On the Width of Regular Classes of Finite Structures. | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2018 | DLT | Intersection Non-emptiness and Hardness Within Polynomial Time. | Mateus de Oliveira Oliveira, Michael Wehar |
| 2018 | SODA | A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth. | Mateus de Oliveira Oliveira |
| 2018 | WG | On Weak Isomorphism of Rooted Vertex-Colored Graphs. | Lars Jaffke, Mateus de Oliveira Oliveira |
| 2018 | WG | Graph Amalgamation Under Logical Constraints. | Mateus de Oliveira Oliveira |
| 2017 | CPM | Revisiting the Parameterized Complexity of Maximum-Duo Preservation String Mapping. | Christian Komusiewicz, Mateus de Oliveira Oliveira, Meirav Zehavi |
| 2017 | CSL | On Supergraphs Satisfying CMSO Properties. | Mateus de Oliveira Oliveira |
| 2017 | TABLEAUX | Parameterized Provability in Equational Logic. | Mateus de Oliveira Oliveira |
| 2016 | STACS | Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function. | Mateus de Oliveira Oliveira |
| 2016 | SAT | Satisfiability via Smooth Pictures. | Mateus de Oliveira Oliveira |
| 2016 | WoLLIC | Causality in Bounded Petri Nets is MSO Definable. | Mateus de Oliveira Oliveira |
| 2015 | CSR | On the Satisfiability of Quantum Circuits of Small Treewidth. | Mateus de Oliveira Oliveira |
| 2015 | ICTAC | MSO Logic and the Partial Order Semantics of Place/Transition-Nets. | Mateus de Oliveira Oliveira |
| 2015 | WG | A Slice Theoretic Approach for Embedding Problems on Digraphs. | Mateus de Oliveira Oliveira |
| 2012 | LATA | Canonizable Partial Order Generators. | Mateus de Oliveira Oliveira |