Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oliveira, Mateus de Oliveira
113  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Mortality and Edge-to-Edge Reachability are Decidable on Su..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
de Oliveira Oliveira, Mateus ; Tveretina, Olga - p. 1-10 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Synthesis and Analysis of Petri Nets from Causal Specificat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
de Oliveira Oliveira, Mateus - p. 447-467 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Learning from Positive and Negative Examples: Dichotomies a..:

, In: Lecture Notes in Computer Science; Combinatorial Algorithms,
Lingg, Jonas ; de Oliveira Oliveira, Mateus ; Wolf, Petra - p. 398-411 , 2022
Link: https://doi.org/10.1007/..
 
?
4

On the Fine Grained Complexity of Finite Automata Non-empti..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
de Oliveira Oliveira, Mateus ; Wehar, Michael - p. 69-82 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Succinct Monotone Circuit Certification: Planarity and Para..:

, In: Lecture Notes in Computer Science; Computing and Combinatorics,
Alves, Mateus Rodrigues ; de Oliveira Oliveira, Mateus ; Silva, Janio Carlos Nascimento. - p. 496-507 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Second-Order Finite Automata:

, In: Computer Science – Theory and Applications; Lecture Notes in Computer Science,
de Melo, Alexsander Andrade ; de Oliveira Oliveira, Mateus - p. 46-63 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Social Perceptions About Adopting Smartphone Applications i..:

, In: 16th International Conference on Information Technology-New Generations (ITNG 2019); Advances in Intelligent Systems and Computing,
de Oliveira, Mateus ; Mattedi, Adriana Prest ; Seabra, Rodrigo Duarte - p. 177-181 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Social dimensions in the acceptance of and access to techno..:

, In: Proceedings of the 18th Brazilian Symposium on Human Factors in Computing Systems,
de Oliveira, Mateus ; Mattedi, Adriana Prest ; Seabra, Rodrigo Duarte - p. 1-11 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

On the Width of Regular Classes of Finite Structures:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Andrade de Melo, Alexsander ; de Oliveira Oliveira, Mateus - p. 18-34 , 2019
Link: https://doi.org/10.1007/..
 
?
10

A near-quadratic lower bound for the size of quantum circui..:

, In: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms,
de Oliveira Oliveira, Mateus - p. 136-145 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

On Weak Isomorphism of Rooted Vertex-Colored Graphs:

, In: Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science,
Jaffke, Lars ; de Oliveira Oliveira, Mateus - p. 266-278 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Social Perceptions about Adopting Smartphone Applications i..:

, In: Proceedings of the XIV Brazilian Symposium on Information Systems,
de Oliveira, Mateus ; Mattedi, Adriana Prest ; Seabra, Rodrigo Duarte - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Graph Amalgamation Under Logical Constraints:

, In: Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science,
de Oliveira Oliveira, Mateus - p. 152-163 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Intersection Non-emptiness and Hardness Within Polynomial T..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
de Oliveira Oliveira, Mateus ; Wehar, Michael - p. 282-290 , 2018
Link: https://doi.org/10.1007/..
 
?
15

A Near-Quadratic Lower Bound for the Size of Quantum Circui..:

, In: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms,
de Oliveira Oliveira, Mateus - p. 136-145 , 2018
Link: https://doi.org/10.1137/..
 
1-15