Conferences in DBLP
Sergiu Hart , Micha Sharir Probabilistic Temporal Logics for Finite and Bounded Models [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , A. Prasad Sistla Deciding Branching Time Logic [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy Modelling Fair Processes [Citation Graph (0, 0)][DBLP ] Conf ] Pierpaolo Degano , Ugo Montanari Liveness Properties as Convergence in Metric Spaces [Citation Graph (0, 0)][DBLP ] Conf ] Rob Gerth Transition Logic: How to Reason About Temporal Properties in a Compositional Way [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , Ruurd Kuiper , Amir Pnueli Now You May Compose Temporal Logic Specifications [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Bilardi , Franco P. Preparata A Minimum Area VLSI Network for O(log n) Time Sorting [Citation Graph (0, 0)][DBLP ] Conf ] Frank Thomson Leighton Tight Bounds on the Complexity of Parallel Sorting [Citation Graph (0, 0)][DBLP ] Conf ] Pavol Duris , Zvi Galil , Georg Schnitger Lower Bounds on Communication Complexity [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Blum An Area-Maximum Edge Length Tradeoff for VLSI Layout [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan F. Buss , Peter W. Shor On the Pagenumber of Planar Graphs [Citation Graph (0, 0)][DBLP ] Conf ] Andranik Mirzaian Channel Routing in VLSI (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Post Minimum Spanning Ellipsoids [Citation Graph (1, 0)][DBLP ] Conf ] Chul E. Kim , Timothy A. Anderson Digital Disks and a Digital Compactness Measure [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Chazelle Intersecting Is Easier than Sorting [Citation Graph (0, 0)][DBLP ] Conf ] Harold N. Gabow , Jon Louis Bentley , Robert Endre Tarjan Scaling and Related Techniques for Geometry Problems [Citation Graph (0, 0)][DBLP ] Conf ] Micha Sharir , Amir Schorr On Shortest Paths in Polyhedral Spaces [Citation Graph (0, 0)][DBLP ] Conf ] Richard Cole , Micha Sharir , Chee-Keng Yap On k-hulls and Related Problems [Citation Graph (0, 0)][DBLP ] Conf ] Deborah S. Franzblau , Daniel J. Kleitman An Algorithm for Constructing Regions with Rectangles: Independence and Minimum Generating Sets for Collections of Intervals [Citation Graph (0, 0)][DBLP ] Conf ] Ming-Deh A. Huang Factorization of Polynomials over Finite Fields and Factorization of Primes in Algebraic Number Fields [Citation Graph (0, 0)][DBLP ] Conf ] Eric Bach , Gary L. Miller , Jeffrey Shallit Sums of Divisors, Perfect Numbers, and Factoring (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Ravindran Kannan , Arjen K. Lenstra , László Lovász Polynomial Factorization and Nonrandomness of Bits of Algebraic and Some Transcendental Numbers [Citation Graph (0, 0)][DBLP ] Conf ] Don Coppersmith Evaluating Logarithms in GF(2^n) [Citation Graph (0, 0)][DBLP ] Conf ] H. Ong , Claus-Peter Schnorr , Adi Shamir An Efficient Signature Scheme Based on Quadratic Equations [Citation Graph (0, 0)][DBLP ] Conf ] Alon Orlitsky , Abbas El Gamal Communication with Secrecy Constraints [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , David Maier , Harry G. Mairson , Jeffrey D. Ullman Correcting Faults in Write-Once Memory [Citation Graph (1, 0)][DBLP ] Conf ] Uzi Vishkin Randomized Speed-Ups in Parallel Computation [Citation Graph (1, 0)][DBLP ] Conf ] Zvi Galil Optimal Parallel Algorithms for String Matching [Citation Graph (0, 0)][DBLP ] Conf ] Baruch Awerbuch , Amos Israeli , Yossi Shiloach Finding Euler Circuits in Logarithmic Parallel Time [Citation Graph (0, 0)][DBLP ] Conf ] Eli Upfal A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Karp , Avi Wigderson A Fast Parallel Algorithm for the Maximal Independent Set Problem [Citation Graph (0, 0)][DBLP ] Conf ] Udi Manber On Maintaining Dynamic Information in a Concurrent Environment (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Jon Louis Bentley , David S. Johnson , Frank Thomson Leighton , Catherine C. McGeoch , Lyle A. McGeoch Some Unexpected Expected Behavior Results for Bin Packing [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Karp , Michael Luby , Alberto Marchetti-Spaccamela A Probabilistic Analysis of Multidimensional Bin Packing Problems [Citation Graph (1, 0)][DBLP ] Conf ] Jeff Kahn , Michael E. Saks Every Poset Has a Good Comparison [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Karmarkar A New Polynomial-Time Algorithm for Linear Programming [Citation Graph (0, 0)][DBLP ] Conf ] Ilan Adler , Nimrod Megiddo A Simplex Algorithm Whose Average Number of Steps is Bounded between Two Quadratic Functions of the Smaller Dimension [Citation Graph (0, 0)][DBLP ] Conf ] Dorit S. Hochbaum , David B. Shmoys Powers of Graphs: A Powerful Approximation Technique for Bottleneck Problems [Citation Graph (0, 0)][DBLP ] Conf ] Gaston H. Gonnet Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. Clarkson Fast Expected-Time and Approximation Algorithms for Geometric Minimum Spanning Trees (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Anselm Blumer , J. Blumer , Andrzej Ehrenfeucht , David Haussler , Ross M. McConnell Building a Complete Inverted File for a Set of Text Files in Linear Time [Citation Graph (0, 0)][DBLP ] Conf ] Andrew V. Goldberg , Alberto Marchetti-Spaccamela On Finding the Exact Solution of a Zero-One Knapsack Problem [Citation Graph (0, 0)][DBLP ] Conf ] Walter Cunto , J. Ian Munro Average Case Selection [Citation Graph (0, 0)][DBLP ] Conf ] Gary L. Miller Finding Small Simple Cycle Separators for 2-Connected Planar Graphs [Citation Graph (0, 0)][DBLP ] Conf ] Greg N. Frederickson , Mandayam A. Srinivas Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Cees F. Slot , Peter van Emde Boas On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Maass Quadratic Lower Bounds for Deterministic and Nondeterministic One-Tape Turing Machines (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Michel de Rougemont Uniform Definability on Finite Structures with Successor [Citation Graph (4, 0)][DBLP ] Conf ] David Harel A General Result on Infinite Trees and Its Applications (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Pebblings, Edgings, and Equational Logic [Citation Graph (0, 0)][DBLP ] Conf ] Leslie G. Valiant A Theory of the Learnable [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi , Pierre Wolper Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ben-Or , Dexter Kozen , John H. Reif The Complexity of Elementary Algebra and Geometry (Preliminary Abstract) [Citation Graph (1, 0)][DBLP ] Conf ] Leonid A. Levin Problems, Complete in ``Average'' Instance [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Alt Comparison of Arithmetic Functions with Respect to Boolean Circuit Depth (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Miklós Ajtai , Michael Ben-Or A Theorem on Probabilistic Constant Depth Computations [Citation Graph (0, 0)][DBLP ] Conf ] Ravi B. Boppana Threshold Functions and Bounded Depth Monotone Circuits [Citation Graph (0, 0)][DBLP ] Conf ] Maria M. Klawe , Wolfgang J. Paul , Nicholas Pippenger , Mihalis Yannakakis On Monotone Formulae with Restricted Depth (Preliminary Version) [Citation Graph (1, 0)][DBLP ] Conf ] Daniel Dominic Sleator , Robert Endre Tarjan Amortized Efficiency of List Update Rules [Citation Graph (1, 0)][DBLP ] Conf ] Greg N. Frederickson , Nancy A. Lynch The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , Joseph Y. Halpern , H. Raymond Strong On the Possibility and Impossibility of Achieving Clock Synchronization [Citation Graph (0, 0)][DBLP ] Conf ] Dan E. Willard Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) [Citation Graph (1, 0)][DBLP ] Conf ] Baruch Awerbuch An Efficient Network Synchronization Protocol [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , Joseph Y. Halpern , Barbara Simons , H. Raymond Strong A New Look at Fault Tolerant Network Routing [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Z. Broder , Danny Dolev , Michael J. Fischer , Barbara Simons Efficient Fault Tolerant Routings in Networks [Citation Graph (0, 0)][DBLP ] Conf ] Paul M. B. Vitányi Distributed Elections in an Archimedean Ring of Processors (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] 