Mateus de Oliveira Oliveira
According to our database^{1},
Mateus de Oliveira Oliveira
authored at least 30 papers
between 2005 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2020
Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
Diversity of Solutions: An Exploration Through the Lens of FixedParameter Tractability Theory.
Proceedings of the TwentyNinth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Developments in Language Theory  24th International Conference, 2020
Proceedings of the Computer Science  Theory and Applications, 2020
Proceedings of the Computing and Combinatorics  26th International Conference, 2020
2019
CoRR, 2019
Proceedings of the Automated Deduction  CADE 27, 2019
2018
SizeTreewidth Tradeoffs for Circuits Computing the Element Distinctness Function.
Theory Comput. Syst., 2018
Proceedings of the GraphTheoretic Concepts in Computer Science, 2018
Proceedings of the GraphTheoretic Concepts in Computer Science, 2018
A NearQuadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth.
Proceedings of the TwentyNinth Annual ACMSIAM Symposium on Discrete Algorithms, 2018
A StronglyUniform Slicewise PolynomialTime Algorithm for the Embedded Planar Diameter Improvement Problem.
Proceedings of the 13th International Symposium on Parameterized and Exact Computation, 2018
Proceedings of the Developments in Language Theory  22nd International Conference, 2018
2017
Theory Comput. Syst., 2017
Electron. Colloquium Comput. Complex., 2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Revisiting the Parameterized Complexity of MaximumDuo Preservation String Mapping.
Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching, 2017
2016
Discret. Appl. Math., 2016
Proceedings of the Logic, Language, Information, and Computation, 2016
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2016, 2016
Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth.
Proceedings of the 11th International Symposium on Parameterized and Exact Computation, 2016
2015
Proceedings of the GraphTheoretic Concepts in Computer Science, 2015
Proceedings of the Theoretical Aspects of Computing  ICTAC 2015, 2015
Proceedings of the Graph Transformation  8th International Conference, 2015
2014
Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic.
CoRR, 2014
2013
Proceedings of the Parameterized and Exact Computation  8th International Symposium, 2013
2012
Proceedings of the Language and Automata Theory and Applications, 2012
2010
Fundam. Informaticae, 2010
2005
Electron. Notes Discret. Math., 2005