Mateus de Oliveira Oliveira
Mateus de Oliveira Oliveira
Verified email at uib.no - Homepage
Title
Cited by
Cited by
Year
Hasse diagram generators and Petri nets
M de Oliveira Oliveira
Fundamenta Informaticae 105 (3), 263-289, 2010
182010
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory
J Baste, MR Fellows, L Jaffke, T Masařík, MO Oliveira, G Philip, ...
arXiv preprint arXiv:1903.07410, 2019
112019
Canonizable partial order generators
M de Oliveira Oliveira
International Conference on Language and Automata Theory and Applications …, 2012
112012
Intersection non-emptiness and hardness within polynomial time
M de Oliveira Oliveira, M Wehar
International Conference on Developments in Language Theory, 282-290, 2018
92018
Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs
M de Oliveira Oliveira
International Symposium on Parameterized and Exact Computation, 123-136, 2013
92013
Size-treewidth tradeoffs for circuits computing the element distinctness function
M de Oliveira Oliveira
Theory of Computing Systems 62 (1), 136-161, 2018
82018
An algorithmic metatheorem for directed treewidth
M de Oliveira Oliveira
Discrete Applied Mathematics 204, 49-76, 2016
82016
On the satisfiability of quantum circuits of small treewidth
M de Oliveira Oliveira
International Computer Science Symposium in Russia, 157-172, 2015
72015
A new refinement procedure for graph isomorphism algorithms.
M de Oliveira Oliveira, F Greve
Electron. Notes Discret. Math. 19, 373-379, 2005
72005
Representations of monotone Boolean functions by linear programs
M de Oliveira Oliveira, P Pudlák
32nd Computational Complexity Conference (CCC 2017), 2017
52017
Embezzlement States are Universal for Non-Local Strategies
MO Oliveira
arXiv preprint arXiv:1009.0771, 2010
52010
Revisiting the parameterized complexity of maximum-duo preservation string mapping
C Komusiewicz, M de Oliveira Oliveira, M Zehavi
Theoretical Computer Science 847, 27-38, 2020
42020
Diversity in combinatorial optimization
J Baste, MR Fellows, L Jaffke, T Masarík, M de Oliveira Oliveira, G Philip, ...
CoRR, abs/1903.07410, 2019
42019
On Supergraphs satisfying CMSO properties
M de Oliveira Oliveira
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
42017
On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection
M de Oliveira Oliveira, M Wehar
International Conference on Developments in Language Theory, 69-82, 2020
32020
A strongly-uniform slicewise polynomial-time algorithm for the embedded planar diameter improvement problem
D Lokshtanov, M de Oliveira Oliveira, S Saurabh
13th International Symposium on Parameterized and Exact Computation (IPEC 2018), 2019
32019
MSO logic and the partial order semantics of place/transition-nets
M de Oliveira Oliveira
International Colloquium on Theoretical Aspects of Computing, 368-387, 2015
22015
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes
E Arrighi, H Fernau, S Hoffmann, M Holzer, I Jecker, MO Oliveira, P Wolf
arXiv preprint arXiv:2110.01279, 2021
12021
Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity
MR Alves, M de Oliveira Oliveira, JCN Silva, U dos Santos Souza
International Computing and Combinatorics Conference, 496-507, 2020
12020
Second-Order Finite Automata
AA de Melo, M de Oliveira Oliveira
International Computer Science Symposium in Russia, 46-63, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20