Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds | Journal of Computer and System Sciences |
| 23 | 1999 |
Faster Shortest-Path Algorithms for Planar Graphs | Journal of Computer and System Sciences |
| 118 | 1997 |
Counting Quantifiers, Successor Relations, and Logarithmic Space | Journal of Computer and System Sciences |
| 30 | 1997 |
An Optimal Parallel Algorithm for Formula Evaluation | SIAM Journal on Computing |
| 27 | 1992 |
10.1016/0196-6774(92)90004-V | Journal of Algorithms | 1992 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Space-efficient algorithms for reachability in directed geometric graphs | Theoretical Computer Science |
| 2023 | |
Depth-first search in directed planar graphs, revisited | Acta Informatica |
| 1 | 2022 |
Planar Graph Isomorphism Is in Log-Space | ACM Transactions on Computation Theory |
| 2022 | |
On the complexity of two-dimensional signed majority cellular automata | Journal of Computer and System Sciences |
| 8 | 2018 |
Min/Max-Poly Weighting Schemes and the NL versus UL Problem | ACM Transactions on Computation Theory |
| 2017 |