Exploiting hierarchy in VLSI design
Proc. of the Aegean workshop on computing on VLSI algorithms and architectures
Efficient solution to connectivity problems on hierarchically defined graphs
SIAM Journal on Computing
Hierarchical planarity testing algorithms
Journal of the ACM (JACM)
Strongly polynomial-time and NC algorithms for detecting cycles in dynamic graphs
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Fundamentals of software engineering
Fundamentals of software engineering
Maximum bounded 3-dimensional matching is MAX SNP-complete
Information Processing Letters
Recognizing strong connectivity in (dynamic) periodic graphs and its relation to integer programming
SODA '91 Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms
On the approximation of maximum satisfiability
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
Journal of Computer and System Sciences
The complexity of processing hierarchical specifications
SIAM Journal on Computing
Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
.879-approximation algorithms for MAX CUT and MAX 2SAT
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
The Organization of Computations for Uniform Recurrence Equations
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Complexity of Problems Concerning Graphs with Regularities (Extended Abstract)
Proceedings of the Mathematical Foundations of Computer Science 1984
Paths and Cycles in Finite Periodic Graphs
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Dynamic Programming on Graphs with Bounded Treewidth
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Hierarchical Specified Unit Disk Graphs (Extended Abstract)
WG '93 Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science
Processing of Hierarchically Defined Graphs and Graph Families
Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative
Succinct representation of graphs
Succinct representation of graphs
Approximate solutions to problems in PSPACE
ACM SIGACT News
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing
| Hi-index | 0.00 |