Personensuche
X
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
1
Mortality and Edge-to-Edge Reachability are Decidable on Su..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Synthesis and Analysis of Petri Nets from Causal Specificat..:
, In:
?
Lecture Notes in Computer Science; Combinatorial Algorithms ,
3
Learning from Positive and Negative Examples: Dichotomies a..:
, In:
?
Developments in Language Theory; Lecture Notes in Computer Science ,
4
On the Fine Grained Complexity of Finite Automata Non-empti..:
, In:
?
Lecture Notes in Computer Science; Computing and Combinatorics ,
5
Succinct Monotone Circuit Certification: Planarity and Para..:
, In:
?
Computer Science – Theory and Applications; Lecture Notes in Computer Science ,
6
Second-Order Finite Automata:
, In:
?
16th International Conference on Information Technology-New Generations (ITNG 2019); Advances in Intelligent Systems and Computing ,
7
Social Perceptions About Adopting Smartphone Applications i..:
, In:
?
Proceedings of the 18th Brazilian Symposium on Human Factors in Computing Systems ,
8
Social dimensions in the acceptance of and access to techno..:
, In:
?
Lecture Notes in Computer Science; Automated Deduction – CADE 27 ,
9
On the Width of Regular Classes of Finite Structures:
, In:
?
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms ,
10
A near-quadratic lower bound for the size of quantum circui..:
, In:
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
11
On Weak Isomorphism of Rooted Vertex-Colored Graphs:
, In:
?
Proceedings of the XIV Brazilian Symposium on Information Systems ,
12
Social Perceptions about Adopting Smartphone Applications i..:
, In:
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
13
Graph Amalgamation Under Logical Constraints:
, In:
?
Developments in Language Theory; Lecture Notes in Computer Science ,
14
Intersection Non-emptiness and Hardness Within Polynomial T..:
, In:
?
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms ,
15