On the sequential nature of unification
Journal of Logic Programming
A taxonomy of problems with fast parallel algorithms
Information and Control
Log depth circuits for division and related problems
SIAM Journal on Computing
Efficient parallel solution of linear systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Sublinear parallel algorithm for computing the greatest common divisor of two integers
SIAM Journal on Computing
Sorting in c log n parallel steps
Combinatorica
The Complexity of Computing
A fast parallel algorithm for the maximal independent set problem
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
The circuit value problem is log space complete for P
ACM SIGACT News
CRYPTO '00 Proceedings of the 20th Annual International Cryptology Conference on Advances in Cryptology
Resource fairness and composability of cryptographic protocols
TCC'06 Proceedings of the Third conference on Theory of Cryptography
| Hi-index | 0.00 |