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. 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. 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. 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. On supergraphs satisfying CMSO properties. Leibniz International Proceedings in Informatics. 82. doi: 10.4230/LIPIcs.CSL.2017.33
  • 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)