Search ACM DL

Search Issue

enter search term and/or author name

**An optimal algorithm for intersecting line segments in the plane**

Bernard Chazelle, Herbert Edelsbrunner

Pages: 1-54

DOI: 10.1145/147508.147511

**An O(log N) deterministic packet-routing scheme**

Eli Upfal

Pages: 55-70

DOI: 10.1145/147508.147517

**Syntactical characterization of a subset of domain-independent formulas**

Robert Demolombe

Pages: 71-94

DOI: 10.1145/147508.147520

**Institutions: abstract model theory for specification and programming**

Joseph A. Goguen, Rod M. Burstall

Pages: 95-146

DOI: 10.1145/147508.147524

**Termination, deadlock, and divergence**

L. Aceto, M. Hennessy

Pages: 147-187

DOI: 10.1145/147508.147527

**Single-class bounds of multi-class queuing networks**

Lawrence W. Dowdy, Brian M. Carlson, Alan T. Krantz, Satish K. Tripathi

Pages: 188-213

DOI: 10.1145/147508.147530

**How to sign given any trapdoor permutation**

Mihir Bellare, Silvio Micali

Pages: 214-233

DOI: 10.1145/147508.147537

**Lower bounds for the low hierarchy**

Eric Allender, Lane A. Hemachandra

Pages: 234-251

DOI: 10.1145/147508.147546