home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / theory / 1705 < prev    next >
Encoding:
Internet Message Format  |  1992-07-28  |  3.2 KB
  1. Path: sparky!uunet!cis.ohio-state.edu!ucbvax!tifrvax.BITNET!PANDYA
  2. From: PANDYA@tifrvax.BITNET
  3. Newsgroups: comp.theory
  4. Subject: List of accepted papers for FST&TCS-12
  5. Message-ID: <1BD7DA71A0BF004820@tifrvax.bitnet>
  6. Date: 29 Jul 92 03:45:59 GMT
  7. Sender: daemon@ucbvax.BERKELEY.EDU
  8. Reply-To: Theory-A - TheoryNet World-Wide Events <THEORY-A%NDSUVM1.BITNET@cmsa.Berkeley.EDU>,
  9.         PANDYA%tifrvax.BitNet@pucc.PRINCETON.EDU
  10. Lines: 108
  11.  
  12.  
  13.                    FST & TCS 12 CONFERENCE
  14.                     18-20 December, 1992
  15.                       New Delhi, India
  16.  
  17.  
  18. Total Number of Submissions 125
  19. Number of Accepted Papers 29
  20.  
  21. LIST OF SELECTED PAPERS
  22. ========================
  23.  
  24.  
  25. V. Arvind, J. Kobler and M. Mundhenk
  26. On Bounded Truth-Table,  Conjunctive,  And  Randomized  Reductions  To
  27. Sparse Sets
  28.  
  29. Rajamani Sundar
  30. Maintaining  Sequences  Under  Equality-Tests  In Polylogarithmic Ran-
  31. domized Time
  32.  
  33. K. Ganesan
  34. One-Way Functions And Isomorphism Conjecture
  35.  
  36. Mads Dam
  37. Fixpoints Of Buchi Automata
  38.  
  39. S. Jadhav, A. Mukhopadhyay and B. Bhattacharya
  40. An Optimal Algorithm For The Intersection Radius Of A  Set  Of  Convex
  41. Polygons
  42.  
  43. L. Christoff and I.Christoff
  44. Reasoning About Safety And Liveness Properties
  45.  
  46. Vijay K. Garg and Brian Waldecker
  47. Detection Of Unstable Predicates In Distributed Programs
  48.  
  49. Rainer Schuler and T. Tamakami
  50. Structural Average Case Complexity
  51.  
  52. B. Ravikumar
  53. Some Observations On 2-Way Probabilistic Finite Automata
  54.  
  55. Wolfgang Reif
  56. Verification of Large Software Systems
  57.  
  58. P.K. Agarwal and Marc van Kreveld
  59. Implicit Point Location In Arrangements Of Line Segments,  With An Ap-
  60. plication To Motion Planning
  61.  
  62. V.S. Lakshmanan and Daniel A. Nonen
  63. Superfinitensss Of Query Answers In Deductive Databases: An  Automata-
  64. Theoretic Approach
  65.  
  66. J. Ian Munro and Venkatesh Raman
  67. Selection From Read-Only Memory And Sorting With Optimum Data Movement
  68.  
  69. B. Monsuez
  70. Polymorphic Typing By Abstract Interpretation
  71.  
  72. R. Sundararajan and John S. Conery
  73. An Abstract Interpretation Scheme For Groundness,  Freeness, And Shar-
  74. ing Analysis Of Logic Programs
  75.  
  76. Y.S. Ramakrishna, L.K. Dillon, L.E. Moser, P.M.M.  Smith and G.  Kutty
  77. An Automata-Theoretic Decision Procedure For Future Interval Logic
  78.  
  79. Richa Agarwala and D.Fernandez-Baca
  80. Solving The Lagrangian Dual When The Number Of Constraints Is Fixed
  81.  
  82. Sachin Patkar and H. Narayanan
  83. Fast  Sequential  And  Randomized Parallel Algorithms For Rigidity And
  84. Approximate Min k-cut
  85.  
  86. J. Steimbach
  87. Proving Polynomials Positive
  88.  
  89. P. Granger
  90. Improving The Results Of Static Analyses Of Programs By Local Decreas-
  91. ing Iterations
  92.  
  93. C. Levcopoulos and A. Lingas
  94. C-Sensitive Triangulations Approximate The Minmax Length Triangulation
  95.  
  96. S. Muthukrishnan and H. Ramesh
  97. String Matching Under A General Matching Relation
  98.  
  99. Jens C.Godskesen and Kim G. Larsen
  100. Real-Time Calculi And Expansion Theorems
  101.  
  102. R. Ravi, B. Raghavachari and P. Klein
  103. Approximation Through Local Optimality: Designing Networks With  Small
  104. Degree
  105.  
  106. Charles Martel and R. Subramonian
  107. On The Complexity Of Certified Write All Algorithms
  108.  
  109. Didier Caucal
  110. Branching Bisimulation For Context-Free Processes
  111.  
  112. Gerard Huet
  113. The Gallina Specification Language: A Case Study
  114.  
  115. M. Mukund and M. Nielsen
  116. CCS, Locations And Asynchronous Transition Systems
  117.  
  118. Harry Buhrman and Steven Homer
  119. Superpolynomial Circuits For NP And Exponential Time Sets
  120.