How to Sign Given Any Trapdoor Permutation.
Institutions: Abstract Model Theory for Specification and Programming.
Lower Bounds for the Low Hierarchy.
Syntactical Characterization of a Subset of Domain-Independent Formulas.
Single-Class Bounds of Multi-Class Queuing Networks.
An Optimal Algorithm for Intersecting Line Segments in the Plane.
Termination, Deadlock, and Divergence.
An O(log(N)) Deterministic Packet-Routing Scheme.