Hierarchical planarity testing algorithms
Journal of the ACM (JACM)
Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)
The complexity of connectivity problems on context-free graph languages
Journal of Computer and System Sciences
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing
HGV: A Library for Hierarchies, Graphs, and Views
GD '02 Revised Papers from the 10th International Symposium on Graph Drawing
Finite graph automata for linear and boundary graph languages
Theoretical Computer Science
Model-checking hierarchical structures
Journal of Computer and System Sciences
Fixpoint logics on hierarchical structures
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A comparison of succinctly represented finite-state systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
| Hi-index | 0.00 |