34
Publications
1.7K
Citations
20
H-Index
1987
Active since
Lane A. Hemachandra is an author at University of Rochester specializing in computational complexity, computer science, and engineering.
Top concepts
Computational ComplexityEngineeringComputer ScienceDiscrete MathematicsFormal MethodsAutomated ReasoningCombinatorial OptimizationComplexityProof ComplexityFormal Verification
Publications per year
1987–2003
34
34
The Boolean Hierarchy I: Structural Properties
Jin‐Yi Cai, Thomas Gundermann, Juris Hartmanis et al. · SIAM Journal on Computing · 1988 · 200 citations
The Boolean Hierarchy II: Applications
Jin‐Yi Cai, Thomas Gundermann, J. Hartmanis et al. · SIAM Journal on Computing · 1989 · 108 citations
Circuit Complexity, Computational Complexity Theory, Engineering +18
Rows per page
1–5 of 34