- E-post
- mateus.oliveira@uib.no
- Telefonnummer
- +47 55584278
- Besøksadresse
-
HIB - Thormøhlens gate 55
5006 Bergen - Postadresse
-
Postboks 7803
5020 Bergen
Følg meg
Publikasjoner
Vitenskapelig artikkel
- Mateus De Oliveira Oliveira (2017). On supergraphs satisfying CMSO properties. (ekstern lenke)
- Christian Komusiewicz; Mateus De Oliveira Oliveira; Meirav Zehavi (2017). Revisiting the parameterized complexity of maximum-duo preservation string mapping. (ekstern lenke)
- Mateus De Oliveira Oliveira (2025). Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth. (ekstern lenke)
- Gabriel L. Duarte; Mateus De Oliveira Oliveira; Uéverton S. Souza (2021). Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances. (ekstern lenke)
- Mateus De Oliveira Oliveira; Pavel Pudlak (2017). Representations of monotone boolean functions by linear programs. (ekstern lenke)
- Emmanuel Jean Paul Pierre Arrighi; Henning Fernau; Stefan Hoffmann et al. (2021). On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. (ekstern lenke)
- Mateus De Oliveira Oliveira (2017). Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth. (ekstern lenke)
- Mateus De Oliveira Oliveira (2022). Synthesis and Analysis of Petri Nets from Causal Specifications. (ekstern lenke)
- Mateus De Oliveira Oliveira; Wim van den Broeck (2025). Symbolic Functional Decomposition: A Reconfiguration Approach. (ekstern lenke)
- Mateus Rodrigues Alves; Mateus De Oliveira Oliveira; Janio Carlos Nascimento Silva et al. (2020). Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity. (ekstern lenke)
- Christian Komusiewicz; Mateus De Oliveira Oliveira; Meirav Zehavi (2020). Revisiting the parameterized complexity of Maximum-Duo Preservation String Mapping. (ekstern lenke)
- Mateus De Oliveira Oliveira; Pavel Pudlák (2019). Representations of monotone boolean functions by linear programs. (ekstern lenke)
- Jonas Lingg; Mateus De Oliveira Oliveira; Petra Henrike Karola Wolf (2022). Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms. (ekstern lenke)
- Mateus De Oliveira Oliveira (2017). Size-treewidth tradeoffs for circuits computing the element distinctness function. (ekstern lenke)
- Alexsander Andrade de Melo; Mateus De Oliveira Oliveira (2019). On the width of regular classes of finite structures. (ekstern lenke)
- Mateus De Oliveira Oliveira (2017). Parameterized provability in equational logic. (ekstern lenke)
- Julien Baste; Michael Fellows; Lars Jaffke et al. (2020). Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory. (ekstern lenke)
- Mateus De Oliveira Oliveira; Wim van den Broeck (2024). Optimal Extended Formulations from Optimal Dynamic Programming Algorithms. (ekstern lenke)
- Mateus De Oliveira Oliveira (2021). On Supergraphs Satisfying CMSO Properties. (ekstern lenke)
- Mateus De Oliveira Oliveira; Farhad Vadiee (2023). From Width-Based Model Checking to Width-Based Automated Theorem Proving. (ekstern lenke)
- Emmanuel Arrighi; Henning Fernau; Mateus De Oliveira Oliveira et al. (2020). Width Notions for Ordering-Related Problems. (ekstern lenke)
- Lars Jaffke; Mateus De Oliveira Oliveira (2018). On weak isomorphism of rooted vertex-colored graphs. (ekstern lenke)
- Mitre Dourado; Celina de Figueiredo; Alexsander Andrade de Melo et al. (2022). Computing the zig-zag number of directed graphs. (ekstern lenke)
- Emmanuel Jean Paul Pierre Arrighi; Henning Fernau; Daniel Lokshtanov et al. (2021). Diversity in Kemeny Rank Aggregation: A Parameterized Approach. (ekstern lenke)
- Emmanuel Jean Paul Pierre Arrighi; Henning Fernau; Mateus De Oliveira Oliveira et al. (2021). Order Reconfiguration Under Width Constraints. (ekstern lenke)
- Alexsander Andrade de Melo; Mateus De Oliveira Oliveira (2022). Second-Order Finite Automata. (ekstern lenke)
- Mateus De Oliveira Oliveira; Michael Wehar (2020). On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection. (ekstern lenke)
- Emmanuel Arrighi; Mateus De Oliveira Oliveira (2021). Three is Enough for Steiner Trees. (ekstern lenke)
- Mateus De Oliveira Oliveira (2018). Graph amalgamation under logical constraints. (ekstern lenke)
- Julien Baste; Michael Ralph Fellows; Lars Jaffke et al. (2022). Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory. (ekstern lenke)
- Mateus De Oliveira Oliveira; Farhad Vadiee (2024). State Canonization and Early Pruning in Width-Based Automated Theorem Proving. (ekstern lenke)
- Vasily Alferov; Mateus De Oliveira Oliveira (2022). On the Satisfiability of Smooth Grid CSPs. (ekstern lenke)
- Daniel Lokshtanov; Mateus De Oliveira Oliveira; Saket Saurabh (2019). A strongly-uniform slicewise polynomial-time algorithm for the embedded planar diameter improvement problem. (ekstern lenke)
- Emmanuel Jean Paul Pierre Arrighi; Henning Fernau; Mateus De Oliveira Oliveira et al. (2023). Synchronization and Diversity of Solutions. (ekstern lenke)
- Emmanuel Jean Paul Pierre Arrighi; Henning Fernau; Mateus De Oliveira Oliveira et al. (2023). Order Reconfiguration under Width Constraints. (ekstern lenke)
- Jonas Lingg; Mateus De Oliveira Oliveira; Petra Henrike Karola Wolf (2023). Learning from positive and negative examples: New proof for binary alphabets. (ekstern lenke)
- Lars Jaffke; Mateus De Oliveira Oliveira; Hans Raj Tiwary (2020). Compressing permutation groups into grammars and polytopes. A graph embedding approach. (ekstern lenke)
- Mateus Rodrigues Alves; Mateus De Oliveira Oliveira; Janio Carlos Nascimento Silva et al. (2021). Succinct certification of monotone circuits. (ekstern lenke)
- Fidel Ernesto Diaz Andino; Maria Kokkou; Mateus De Oliveira Oliveira et al. (2021). Unitary Branching Programs: Learnability and Lower Bounds. (ekstern lenke)
- Mateus De Oliveira Oliveira; Michael Wehar (2018). Intersection Non-emptiness and Hardness Within Polynomial Time. (ekstern lenke)
- Alexsander Andrade de Melo; Mateus De Oliveira Oliveira (2020). Second-Order Finite Automata. (ekstern lenke)
- Mateus De Oliveira Oliveira; Olga Tveretina (2022). Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. (ekstern lenke)
Konferanseforedrag
- Frances Rosamond; Lars Jaffke; Mateus De Oliveira Oliveira et al. (2021). Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory. (ekstern lenke)
- Mateus De Oliveira Oliveira; Alexsander Andrade de Melo (2020). Symbolic Solutions for Symbolic Constraint Satisfaction Problems. (ekstern lenke)