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