| Hasse diagram generators and Petri nets M de Oliveira Oliveira Fundamenta Informaticae 105 (3), 263-289, 2010 | 18 | 2010 |
| 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 | 11 | 2019 |
| Canonizable partial order generators M de Oliveira Oliveira International Conference on Language and Automata Theory and Applications …, 2012 | 11 | 2012 |
| Intersection non-emptiness and hardness within polynomial time M de Oliveira Oliveira, M Wehar International Conference on Developments in Language Theory, 282-290, 2018 | 9 | 2018 |
| Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs M de Oliveira Oliveira International Symposium on Parameterized and Exact Computation, 123-136, 2013 | 9 | 2013 |
| Size-treewidth tradeoffs for circuits computing the element distinctness function M de Oliveira Oliveira Theory of Computing Systems 62 (1), 136-161, 2018 | 8 | 2018 |
| An algorithmic metatheorem for directed treewidth M de Oliveira Oliveira Discrete Applied Mathematics 204, 49-76, 2016 | 8 | 2016 |
| On the satisfiability of quantum circuits of small treewidth M de Oliveira Oliveira International Computer Science Symposium in Russia, 157-172, 2015 | 7 | 2015 |
| A new refinement procedure for graph isomorphism algorithms. M de Oliveira Oliveira, F Greve Electron. Notes Discret. Math. 19, 373-379, 2005 | 7 | 2005 |
| Representations of monotone Boolean functions by linear programs M de Oliveira Oliveira, P Pudlák 32nd Computational Complexity Conference (CCC 2017), 2017 | 5 | 2017 |
| Embezzlement States are Universal for Non-Local Strategies MO Oliveira arXiv preprint arXiv:1009.0771, 2010 | 5 | 2010 |
| 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 | 4 | 2020 |
| Diversity in combinatorial optimization J Baste, MR Fellows, L Jaffke, T Masarík, M de Oliveira Oliveira, G Philip, ... CoRR, abs/1903.07410, 2019 | 4 | 2019 |
| On Supergraphs satisfying CMSO properties M de Oliveira Oliveira 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017 | 4 | 2017 |
| 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 | 3 | 2020 |
| 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 | 3 | 2019 |
| 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 | 2 | 2015 |
| 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 | 1 | 2021 |
| 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 | 1 | 2020 |
| Second-Order Finite Automata AA de Melo, M de Oliveira Oliveira International Computer Science Symposium in Russia, 46-63, 2020 | 1 | 2020 |
