Search for persons
X
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
7
Cutting Barnette Graphs Perfectly is Hard:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Model Checking on Interpretations of Classes of Bounded Loc..:
, In:
?
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing ,
13