Conferences in DBLP
Yechiam Yemini Some Theoretical Aspects of Position-Location Problems [Citation Graph (0, 0)][DBLP ] Conf ] David P. Dobkin , Lawrence Snyder On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] David G. Kirkpatrick Efficient Computation of Continuous Skeletons [Citation Graph (0, 0)][DBLP ] Conf ] Victor Y. Pan Field Extension and Triangular Aggregating, Uniting and Canceling for the Acceleration of Matrix Multiplications [Citation Graph (0, 0)][DBLP ] Conf ] László Babai , Ludek Kucera Canonical Labelling of Graphs in Linear Average Time [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Lagarias Succinct Certificates for the Solvability of Binary Quadratic Diophantine Equations [Citation Graph (0, 0)][DBLP ] Conf ] Leonard M. Adleman A Subexponential Algorithm for the Discrete Logarithm Problem with Applications to Cryptography (Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Pippenger Computational Complexity in Algebraic Function Fields (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. Greibach Formal Languages: Origins and Directions [Citation Graph (0, 0)][DBLP ] Conf ] Meera Blattner The Decidability of the Equivalence of Context-Free Grammar Forms [Citation Graph (0, 0)][DBLP ] Conf ] Hermann A. Maurer , Maurice Nivat Bijective A-Transducers [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Semantics of Probabilistic Programs [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Models of Program Logics [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz Orderings for Term-Rewriting Systems [Citation Graph (0, 0)][DBLP ] Conf ] Karl J. Lieberherr , Ernst Specker Complexity of Partial Satisfaction [Citation Graph (0, 0)][DBLP ] Conf ] Franco P. Preparata , Jean Vuillemin The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] James B. Saxe , Jon Louis Bentley Transforming Static Data Structures to Dynamic Structures (Abridged Version) [Citation Graph (1, 0)][DBLP ] Conf ] Gaston H. Gonnet , J. Ian Munro , Hendra Suwanda Toward Self-Organizing Linear Search (Preliminary Draught) [Citation Graph (0, 0)][DBLP ] Conf ] Mark N. Wegman , Larry Carter New Classes and Applications of Hash Functions [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet , Jean Françon , Jean Vuillemin Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Harold N. Gabow , Robert Endre Tarjan Efficient Algorithms for Simple Matroid Intersection Problems [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Aspvall , Yossi Shiloach A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables per Inequality [Citation Graph (0, 0)][DBLP ] Conf ] Romas Aleliunas , Richard M. Karp , Richard J. Lipton , László Lovász , Charles Rackoff Random Walks, Universal Traversal Sequences, and the Complexity of Maze Problems [Citation Graph (1, 0)][DBLP ] Conf ] Juris Hartmanis Observations about the Development of Theoretical Computer Science [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Fischer , Nancy A. Lynch , James E. Burns , Allan Borodin Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Lishing Liu Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Jeffrey D. Ullman , Mihalis Yannakakis Modeling Communications Protocols by Automata [Citation Graph (0, 0)][DBLP ] Conf ] Zvi M. Kedem , Abraham Silberschatz Controlling Concurrency Using Locking Protocols (Preliminary Report) [Citation Graph (10, 0)][DBLP ] Conf ] Mihalis Yannakakis , Christos H. Papadimitriou , H. T. Kung Locking Policies: Safety and Freedom from Deadlock [Citation Graph (19, 0)][DBLP ] Conf ] Wolfgang J. Paul , Rüdiger Reischuk On Time versus Space II [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Pippenger On Simultaneous Resource Bounds (Preliminary Version) [Citation Graph (4, 0)][DBLP ] Conf ] Walter L. Ruzzo On Uniform Circuit Complexity (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Allan Borodin , Michael J. Fischer , David G. Kirkpatrick , Nancy A. Lynch , Martin Tompa A Time-Space Tradeoff for Sorting on Non-Oblivious Machines [Citation Graph (0, 0)][DBLP ] Conf ] Richard Schroeppel , Adi Shamir A T S^2 = O(2^n) Time/Space Tradeoff for Certain NP-Complete Problems [Citation Graph (0, 0)][DBLP ] Conf ] Neil Immerman Length of Predicate Calculus Formulas as a New Complexity Measure [Citation Graph (1, 0)][DBLP ] Conf ] Gary L. Peterson , John H. Reif Multiple-Person Alternation [Citation Graph (0, 0)][DBLP ] Conf ] Ofer Gabber , Zvi Galil Explicit Constructions of Linear Size Superconcentrators [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Cole Kleene Origins of Recursive Function Theory [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Brassard Relativized Cryptography [Citation Graph (0, 0)][DBLP ] Conf ] Theodore P. Baker , Juris Hartmanis Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages [Citation Graph (0, 0)][DBLP ] Conf ] Leonard M. Adleman , Kenneth L. Manders Reductions that Lie [Citation Graph (0, 0)][DBLP ] Conf ] Janos Simon Division Is Good [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif Complexity of the Mover's Problem and Generalizations (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] 