Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The complexity of computing | 1976 | |||
On uniform circuit complexity | Journal of Computer and System Sciences |
| 173 | 1981 |
Log Space Recognition and Translation of Parenthesis Languages | Journal of the ACM |
| 39 | 1977 |
10.1016/B978-0-444-88071-0.50022-9 | ||||
Some Exact Complexity Results for Straight-Line Computations over Semirings | Journal of the ACM |
| 44 | 1982 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Complexity of regular functions | Journal of Computer and System Sciences |
| 2 | 2019 |
A Universal Tree Balancing Theorem | ACM Transactions on Computation Theory |
| 2 | 2018 |
The NP Search Problems of Frege and Extended Frege Proofs | ACM Transactions on Computational Logic |
| 2 | 2017 |
A generalization of Spira's theorem and circuits with small segregators or separators | Information and Computation |
| 2016 | |
Hardness of Approximation for Knapsack Problems | Theory of Computing Systems |
| 4 | 2014 |