Home
Mateus De Oliveira Oliveira's picture

Mateus De Oliveira Oliveira

Postdoctoral fellow
  • E-mailMateus.Oliveira@uib.no
  • Phone+47 55 58 42 78
  • Visitor Address
    HIB - Thormøhlensgt. 55
  • Postal Address
    Postboks 7803
    5020 Bergen
Journal articles
  • De Oliveira Oliveira, Mateus. 2018. Graph amalgamation under logical constraints. Lecture Notes in Computer Science. 11159 LNCS: 152-163. doi: 10.1007/978-3-030-00256-5_13
  • De Oliveira Oliveira, Mateus; Wehar, Michael. 2018. Intersection Non-emptiness and Hardness Within Polynomial Time. Lecture Notes in Computer Science. 11088 LNCS: 282-290. doi: 10.1007/978-3-319-98654-8_23
  • Jaffke, Lars; De Oliveira Oliveira, Mateus. 2018. On weak isomorphism of rooted vertex-colored graphs. Lecture Notes in Computer Science. 11159 LNCS: 266-278. doi: 10.1007/978-3-030-00256-5_22
  • De Oliveira Oliveira, Mateus. 2017. On supergraphs satisfying CMSO properties. Leibniz International Proceedings in Informatics. 82. doi: 10.4230/LIPIcs.CSL.2017.33
  • De Oliveira Oliveira, Mateus. 2017. Size-treewidth tradeoffs for circuits computing the element distinctness function. Theory of Computing Systems. 62: 136-161. Published 2017-10-05. doi: 10.1007/s00224-017-9814-5
  • De Oliveira Oliveira, Mateus. 2017. Parameterized provability in equational logic. Lecture Notes in Computer Science. 10501 LNAI: 364-380. doi: 10.1007/978-3-319-66902-1_22
  • De Oliveira Oliveira, Mateus. 2017. Ground reachability and joinability in linear term rewriting systems are fixed parameter tractable with respect to depth. Leibniz International Proceedings in Informatics. 63: 1-12. doi: 10.4230/LIPIcs.IPEC.2016.25
  • De Oliveira Oliveira, Mateus; Pudlak, Pavel. 2017. Representations of monotone boolean functions by linear programs. Leibniz International Proceedings in Informatics. 79. doi: 10.4230/LIPIcs.CCC.2017.3
  • Komusiewicz, Christian; De Oliveira Oliveira, Mateus; Zehavi, Meirav. 2017. Revisiting the parameterized complexity of maximum-duo preservation string mapping. Leibniz International Proceedings in Informatics. 78. doi: 10.4230/LIPIcs.CPM.2017.11

More information in national current research information system (CRIStin)