15. FSTTCS 1995: Bangalore, India

@proceedings{DBLP:conf/fsttcs/1995,
  editor    = {P. S. Thiagarajan},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
  booktitle = {FSTTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1026},
  year      = {1995},
  isbn      = {3-540-60692-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Mike Paterson, Shlomit Tassa, Uri Zwick: Looking for MUM and DAD: Text-Text Comparisons Do Help. 1-10 BibTeX

Algorithms

• Sanjay Jain: Branch and Bound on the Network Model. 11-21 BibTeX
• Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. 22-36 BibTeX
• Abhik Roychoudhury, Susmita Sur-Kolay: Efficient Algorithms for Vertex Arboricity of Planar Graphs. 37-51 BibTeX
• Ajit A. Diwan, N. Usharani: A Condition for the Three Colourability of Planar Locally Path Graphs. 52-61 BibTeX

Software Technology

• Peter Baumann, Karl Lermer: A Framework for the Specification of Reactive and Concurrent Systems in Z. 62-79 BibTeX
• Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever: Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. 80-95 BibTeX
• Jozef Hooman: Verifying Part of the ACCESS.bus Protocol Using PVS. 96-110 BibTeX
• Luigi Petrone: Reusing Batch Parsers as Incremental Parsers. 111-123 BibTeX

Invited Talk

• Prakash Panangaden: The Expressive Power of Indeterminate Primitives in Asynchronous Computation. 124-150 BibTeX

Functionl Programming Theory

• Jacques Garrigue: The Transformation Calculus. 151-165 BibTeX
• Jerzy Tiuryn: Equational Axiomatization of Bicoercibility for Polymorphic Types. 166-179 BibTeX

Distributed Algrithms

• Michel Raynal, André Schiper: From Causal Consistency to Sequential Consistency in Shared Memory Systems. 180-194 BibTeX
• Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. 195-209 BibTeX

Term Rewriting & CLP

• Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos: Partiality and Approximation Schemes for Local Consistency in Networks of Constraints. 210-224 BibTeX
• Deepak Kapur, G. Sivakumar: Maximal Extensions os Simplification Orderings. 225-239 BibTeX

Complexity Theory

• Rainer Schuler: Average Polynominal Time Is Hard for Exponential Time Under sn-Reductions. 240-247 BibTeX
• Ravi Kumar, D. Sivakumar: On Self-Testing without the Generator Bottleneck. 248-262 BibTeX

Invited Talk

• Mogens Nielsen, Allan Cheng: Obseving Behaviour Categorically. 263-278 BibTeX

Process Algebras

• Paul Caspi, Jean-Claude Fernandez, Alain Girault: An Algorithm for Reducing Binary Branchings. 279-293 BibTeX
• Michele Boreale, Luca Trevisan: On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). 294-308 BibTeX
• Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. 309-323 BibTeX
• Martin Odersky: Polarized Name Passing. 324-337 BibTeX

Algorithms

• R. Balasubramanian, Venkatesh Raman: Path Balance Heuristic for Self-Adjusting Binary Search Trees. 338-348 BibTeX
• S. Rao Kosaraju: Pattern Matching in Compressed Texts. 349-362 BibTeX
• Srinivasa Rao Arikati, Shiva Chaudhuri, Christos D. Zaroliagis: All-Pairs Min-Cut in Sparse Networks. 363-376 BibTeX
• Sandip K. Biswas, Sampath Kannan: Minimizing Space Usage in Evaluation of Expression Trees. 377-390 BibTeX

Invited Talk

• Herbert Edelsbrunner: Smooth Surfaces for Multi-Scale Shape Representation. 391-412 BibTeX

Computational Geometry

• Christos Levcopoulos, Andrzej Lingas, Cao Wang: On Parallel Complexity of Planar Triangulations. 413-427 BibTeX
• Frank Follert, Elmar Schömer, Jürgen Sellen, Michiel H. M. Smid, Christian Thiel: Computing a Largest Empty Anchored Cylinder, and Related Problems. 428-442 BibTeX
• Drago Krznaric, Christos Levcopoulos: Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time. 443-455 BibTeX

Temporal Logics and Verification Theory

• Nils Klarlund, Madhavan Mukund, Milind A. Sohoni: Determinizing Büchi Asnchronous Automata. 456-470 BibTeX
• Eugene Asarin, Oded Maler: Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. 471-483 BibTeX
• Anca Browne, Zohar Manna, Henny Sipma: Generalized Temporal Verification Diagrams. 484-498 BibTeX
• Andrea Bianco, Luca de Alfaro: Model Checking of Probabalistic and Nondeterministic Systems. 499-513 BibTeX