me

    Mateus de Oliveira Oliveira


  • I'm a researcher at the University of Bergen (Norway).

  • I'm the leader of the project "Automated Theorem Proving From the Mindset of Parameterized Complexity Theory" (AUTOPROVING). This is a 8 Million NOK project is financed by the Research Council of Norway within the IKTPLUSS "Young Research Talents" program.

  • My main research interests are computational complexity theory, logic, and structural graph theory.


Contact Information


  • mateus.oliveira@uib.no
  • mateus.oliveira@gmail.com

Publications


2020


2019



2018


2017


2016


2015


Earlier


  • Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs
    Mateus de Oliveira Oliveira
    Proc. of the 8th International Symposium on Parameterized and Exact Computation (IPEC 2013)
    Sophia Antipolis, France, September, 2013.
    Excelent Student Paper Award at IPEC 2013.

  • Canonizable Partial Order Generators
    Mateus de Oliveira Oliveira
    Proc. of the 6th International Conference on Language and Automata Theory and Applications (LATA 2012)
    A Coruña, Spain, March 2012.

  • Hasse diagram Generators and Petri Nets 
    Mateus de Oliveira Oliveira
    Journal version: Fundamenta Informaticae 105(3):263-289, 2010.
    Conference version: Proc. of the 30th Int. Conf. on Applications and Theory of Petri Nets (Petri Nets 2009).
    Paris, France, June 2009.

   Notes

   Doctoral Thesis