The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on the Theory of Computing (STOC) (stoc)
1985 (conf/stoc/STOC17)

  1. Michael Luby
    A Simple Parallel Algorithm for the Maximal Independent Set Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:1-10 [Conf]
  2. Umesh V. Vazirani, Vijay V. Vazirani
    The Two-Processor Scheduling Problem is in R-NC [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:11-21 [Conf]
  3. Richard M. Karp, Eli Upfal, Avi Wigderson
    Constructing a Perfect Matching is in Random NC [Citation Graph (1, 0)][DBLP]
    STOC, 1985, pp:22-32 [Conf]
  4. Richard Anderson
    A Parallel Algorithm for the Maximal Path Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:33-37 [Conf]
  5. Faith E. Fich, Martin Tompa
    The Parallel Complexity of Exponentiating Polynomials over Finite Fields [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:38-47 [Conf]
  6. Faith E. Fich, Friedhelm Meyer auf der Heide, Prabhakar Ragde, Avi Wigderson
    One, Two, Three \dots Infinity: Lower Bounds for Parallel Computation [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:48-58 [Conf]
  7. Alok Aggarwal
    Tradeoffs for VLSI Models with Subpolynomial Delay [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:59-68 [Conf]
  8. Charles E. Leiserson, F. Miller Maley
    Algorithms for Routing and Testing Routability of Planar VLSI Layouts [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:69-78 [Conf]
  9. Prabhakar Raghavan, Clark D. Thompson
    Provably Good Routing in Graphs: Regular Arrays [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:79-87 [Conf]
  10. Shuji Jimbo, Akira Maruoka
    Expanders Obtained from Affine Transformations (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:88-97 [Conf]
  11. Noga Alon
    Expanders, Sorting in Rounds and Superconcentrators of Limited Depth [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:98-102 [Conf]
  12. Robert E. Wilber
    White Pebbles Help [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:103-112 [Conf]
  13. Brenda S. Baker, Steven Fortune, Eric Grosse
    Stable Prehension with Three Fingers [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:114-120 [Conf]
  14. Ming-Deh A. Huang
    Riemann Hypothesis and Finding Roots over Finite Fields [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:121-130 [Conf]
  15. Erich Kaltofen
    Computing with Polynomials Given by Straight-Line Programs I: Greatest Common Divisors [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:131-142 [Conf]
  16. Victor Y. Pan, John H. Reif
    Efficient Parallel Solution of Linear Systems [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:143-152 [Conf]
  17. Katalin Friedl, Lajos Rónyai
    Polynomial Time Solutions of Some Problems in Computational Algebra [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:153-162 [Conf]
  18. Andrew Chi-Chih Yao, F. Frances Yao
    A General Approach to d-Dimensional Geometric Queries (Extended Abstract) [Citation Graph (2, 0)][DBLP]
    STOC, 1985, pp:163-168 [Conf]
  19. Pravin M. Vaidya
    Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract) [Citation Graph (2, 0)][DBLP]
    STOC, 1985, pp:169-174 [Conf]
  20. Kenneth L. Clarkson
    A Probabilistic Algorithm for the Post Office Problem [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:175-184 [Conf]
  21. Dov Harel
    A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:185-194 [Conf]
  22. Hitoshi Suzuki, Takao Nishizeki, Nobuji Saito
    Multicommodity Flows in Planar Undirected Graphs and Shortest Paths [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:195-204 [Conf]
  23. Joseph C. Culberson
    The Effect of Updates in Binary Search Trees [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:205-212 [Conf]
  24. Samuel W. Bent, John W. John
    Finding the Median Requires 2n Comparisons [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:213-216 [Conf]
  25. Fan R. K. Chung, D. J. Hajela, Paul D. Seymour
    Self-Organizing Sequential Search and Hilbert's Inequalities [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:217-223 [Conf]
  26. Béla Bollobás, István Simon
    On the Expected Behaviour of Disjoint Set Union Algorithms [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:224-231 [Conf]
  27. David Peleg
    Concurrent Dynamic Logic (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:232-239 [Conf]
  28. Moshe Y. Vardi, Larry J. Stockmeyer
    Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report [Citation Graph (1, 0)][DBLP]
    STOC, 1985, pp:240-251 [Conf]
  29. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
    Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:252-262 [Conf]
  30. Kim B. Bruce, Giuseppe Longo
    Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:263-272 [Conf]
  31. Stavros S. Cosmadakis, Paris C. Kanellakis
    Equational Theories and Database Constraints [Citation Graph (6, 0)][DBLP]
    STOC, 1985, pp:273-284 [Conf]
  32. Samuel R. Buss
    The Polynomial Hierarchy and Fragments of Bounded Arithmetic (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:285-290 [Conf]
  33. Shafi Goldwasser, Silvio Micali, Charles Rackoff
    The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:291-304 [Conf]
  34. Ronald Fagin, Moshe Y. Vardi
    An Internal Semantics for Modal Logic: Preliminary Report [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:305-315 [Conf]
  35. Gabriel Bracha
    An O(\mathop lg n) Expected Rounds Randomized Byzantine Generals Protocol [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:316-326 [Conf]
  36. Paul Feldman
    Fault Tolerance of Minimal Path Routings in a Network [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:327-334 [Conf]
  37. Brian A. Coan, Danny Dolev, Cynthia Dwork, Larry J. Stockmeyer
    The Distributed Firing Squad Problem (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:335-345 [Conf]
  38. Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
    Optimal Precision in the Presence of Uncertainty (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:346-355 [Conf]
  39. Johan Håstad, Adi Shamir
    The Cryptographic Security of Truncated Linearly Related Variables [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:356-362 [Conf]
  40. Leonid A. Levin
    One-Way Functions and Pseudorandom Generators [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:363-365 [Conf]
  41. Umesh V. Vazirani
    Towards a Strong Communication Complexity Theory or Generating Quasi-Random Sequences from Two Communicating Slightly-random Sources (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:366-378 [Conf]
  42. Jonathan Goodman, Albert G. Greenberg, Neal Madras, Peter March
    On the Stability of the Ethernet [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:379-387 [Conf]
  43. Péter Gács, John H. Reif
    A Simple Three-Dimensional Real-Time Reliable Cellular Array [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:388-395 [Conf]
  44. Anna Lubiw
    Doubly Lexical Orderings of Matrices [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:396-404 [Conf]
  45. Dung T. Huynh
    The Complexity of the Equivalence Problem for Commutative Semigroups and Symmetric Vector Addition Systems [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:405-412 [Conf]
  46. Friedhelm Meyer auf der Heide
    Fast Algorithms for N-Dimensional Restrictions of Hard Problems [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:413-420 [Conf]
  47. László Babai
    Trading Group Theory for Randomness [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:421-429 [Conf]
  48. Béla Bollobás, Trevor I. Fenner, Alan M. Frieze
    An Algorithm for Finding Hamilton Cycles in a Random Graph [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:430-439 [Conf]
  49. Andrew V. Goldberg, Michael Sipser
    Compression and Ranking [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:440-448 [Conf]
  50. Larry Carter, Larry J. Stockmeyer, Mark N. Wegman
    The Complexity of Backtrack Searches (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:449-457 [Conf]
  51. Leslie G. Valiant, Vijay V. Vazirani
    NP Is as Easy as Detecting Unique Solutions [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:458-463 [Conf]
  52. Richard M. Karp, Eli Upfal, Avi Wigderson
    Are Search and Decision Problems Computationally Equivalent? [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:464-475 [Conf]
  53. Ron Aharoni, Paul Erdös, Nathan Linial
    Dual Integer Linear Programs and the Relationship between their Optima [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:476-483 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002