OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Mateus de Oliveira Oliveira
Associate Professor, University of Bergen
Associate Professor, Stockholm University
Joined
March 2019
Names
Mateus de Oliveira Oliveira
(Preferred)
,
Mateus Oliveira
,
Mateus De Oliveira Oliveira
Emails
****@gmail.com
(Confirmed)
,
****@dsv.su.se
(Confirmed)
,
****@uib.no
(Confirmed)
Personal Links
Homepage
DBLP
ORCID
Career & Education History
Associate Professor
University of Bergen
(uib.no)
2022
–
Present
Associate Professor
Stockholm University
(su.se)
2022
–
Present
Advisors, Relations & Conflicts
No relations added
Expertise
Algorithms
,
complexity
Present
tensor networks
Present
quantum computing
,
machine learning
Present
Publications
Second-Order Finite Automata
Alexsander Andrade de Melo
,
Mateus de Oliveira Oliveira
2022 (modified: 24 Apr 2023)
Theory Comput. Syst. 2022
Readers:
Everyone
Computing the zig-zag number of directed graphs
Mitre Costa Dourado
,
Celina M. H. de Figueiredo
,
Alexsander Andrade de Melo
,
Mateus de Oliveira Oliveira
,
Uéverton S. Souza
2022 (modified: 24 Apr 2023)
Discret. Appl. Math. 2022
Readers:
Everyone
Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms
Jonas Lingg
,
Mateus de Oliveira Oliveira
,
Petra Wolf
2022 (modified: 24 Apr 2023)
IWOCA 2022
Readers:
Everyone
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory
Julien Baste
,
Michael R. Fellows
,
Lars Jaffke
,
Tomás Masarík
,
Mateus de Oliveira Oliveira
,
Geevarghese Philip
,
Frances A. Rosamond
2022 (modified: 24 Apr 2023)
Artif. Intell. 2022
Readers:
Everyone
From Width-Based Model Checking to Width-Based Automated Theorem Proving
Mateus de Oliveira Oliveira
,
Farhad Vadiee
2022 (modified: 24 Apr 2023)
CoRR 2022
Readers:
Everyone
On the Satisfiability of Smooth Grid CSPs
Vasily Alferov
,
Mateus de Oliveira Oliveira
2022 (modified: 24 Apr 2023)
SEA 2022
Readers:
Everyone
Synthesis and Analysis of Petri Nets from Causal Specifications
Mateus de Oliveira Oliveira
2022 (modified: 24 Apr 2023)
CAV (2) 2022
Readers:
Everyone
Learning from Positive and Negative Examples: New Proof for Binary Alphabets
Jonas Lingg
,
Mateus de Oliveira Oliveira
,
Petra Wolf
2022 (modified: 24 Apr 2023)
CoRR 2022
Readers:
Everyone
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Mateus de Oliveira Oliveira
,
Olga Tveretina
2022 (modified: 24 Apr 2023)
HSCC 2022
Readers:
Everyone
Three Is Enough for Steiner Trees
Emmanuel Arrighi
,
Mateus de Oliveira Oliveira
2021 (modified: 24 Apr 2023)
SEA 2021
Readers:
Everyone
View all 67 publications
Co-Authors
Alexsander Andrade de Melo
Celina M. H. de Figueiredo
Christian Komusiewicz
Daniel Lokshtanov
Emmanuel Arrighi
Fabíola Greve
Farhad Vadiee
Fidel Ernesto Diaz Andino
Frances A. Rosamond
Gabriel L. Duarte
Geevarghese Philip
Hans Raj Tiwary
Henning Fernau
Ismaël Jecker
Janio Carlos Nascimento Silva
Jonas Lingg
Julien Baste
Lars Jaffke
Maria Kokkou
Markus Holzer
Mateus Rodrigues Alves
Meirav Zehavi
Michael R. Fellows
Michael Wehar
Mitre Costa Dourado
View all 34 co-authors