22. FSTTCS 2002: Kanpur, India

@proceedings{DBLP:conf/fsttcs/2002,
  editor    = {Manindra Agrawal and
               Anil Seth},
  title     = {FST TCS 2002: Foundations of Software Technology and Theoretical
               Computer Science, 22nd Conference Kanpur, India, December 12-14,
               2002, Proceedings},
  booktitle = {FSTTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2556},
  year      = {2002},
  isbn      = {3-540-00225-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Hendrik W. Lenstra Jr.:
  Primality Testing with Gaussian Periods. 1
  Electronic Edition (Springer LINK) BibTeX
• Harry G. Mairson:
  From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple. 2-17
  Electronic Edition (Springer LINK) BibTeX
• Dale Miller, Alwen Fernanto Tiu:
  Encoding Generic Judgments. 18-32
  Electronic Edition (Springer LINK) BibTeX
• C.-H. Luke Ong:
  Model Checking Algol-Like Languages Using Game Semantics. 33-36
  Electronic Edition (Springer LINK) BibTeX
• Margus Veanes:
  Modeling Software: From Theory to Practice. 37-46
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Bharat Adsul, Milind A. Sohoni:
  Local Normal Forms for Logics over Traces. 47-58
  Electronic Edition (Springer LINK) BibTeX
• Hans-Joachim Böckenhauer, Dirk Bongartz, Juraj Hromkovic, Ralf Klasing, Guido Proietti, Sebastian Seibert, Walter Unger:
  On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality. 59-70
  Electronic Edition (Springer LINK) BibTeX
• Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
  Communication Interference in Mobile Boxed Ambients. 71-84
  Electronic Edition (Springer LINK) BibTeX
• Giuseppe Castagna, Francesco Zappa Nardelli:
  The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. 85-96
  Electronic Edition (Springer LINK) BibTeX
• Federico Crazzolara, Glynn Winskel:
  Composing Strand Spaces. 97-108
  Electronic Edition (Springer LINK) BibTeX
• Anuj Dawar, Stephan Kreutzer:
  Generalising Automaticity to Modal Properties of Finite Structures. 109-120
  Electronic Edition (Springer LINK) BibTeX
• Stéphane Demri, Deepak D'Souza:
  An Automata-Theoretic Approach to Constraint LTL. 121-132
  Electronic Edition (Springer LINK) BibTeX
• Joan Feigenbaum, Arvind Krishnamurthy, Rahul Sami, Scott Shenker:
  Hardness Results for Multicast Cost Sharing. 133-144
  Electronic Edition (Springer LINK) BibTeX
• Alain Finkel, Jérôme Leroux:
  How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. 145-156
  Electronic Edition (Springer LINK) BibTeX
• Carsten Fritz, Thomas Wilke:
  State Space Reductions for Alternating Büchi Automata. 157-168
  Electronic Edition (Springer LINK) BibTeX
• Vijay K. Garg:
  Algorithmic Combinatorics Based on Slicing Posets. 169-181
  Electronic Edition (Springer LINK) BibTeX
• Jens Gramm, Jiong Guo, Rolf Niedermeier:
  Pattern Matching for Arc-Annotated Sequences. 182-193
  Electronic Edition (Springer LINK) BibTeX
• Bernhard Heinemann:
  Knowledge over Dense Flows of Time (from a Hybrid Point of View). 194-205
  Electronic Edition (Springer LINK) BibTeX
• Thanh Minh Hoang, Thomas Thierauf:
  The Complexity of the Inertia. 206-217
  Electronic Edition (Springer LINK) BibTeX
• Rahul Jain, Jaikumar Radhakrishnan, Pranab Sen:
  The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version. 218-229
  Electronic Edition (Springer LINK) BibTeX
• Konstantin Korovin, Andrei Voronkov:
  The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures. 230-240
  Electronic Edition (Springer LINK) BibTeX
• Ralf Küsters, Thomas Wilke:
  Deciding the First Level of the µ-Calculus Alternation Hierarchy. 241-252
  Electronic Edition (Springer LINK) BibTeX
• Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay:
  Dynamic Message Sequence Charts. 253-264
  Electronic Edition (Springer LINK) BibTeX
• Sebastian Maneth:
  The Complexity of Compositions of Deterministic Tree Transducers. 265-276
  Electronic Edition (Springer LINK) BibTeX
• S. Mishra, Jaikumar Radhakrishnan, Sivaramakrishnan Sivasubramanian:
  On the Hardness of Approximating Minimum Monopoly Problems. 277-288
  Electronic Edition (Springer LINK) BibTeX
• Madhavan Mukund:
  Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems. 289-300
  Electronic Edition (Springer LINK) BibTeX
• K. V. M. Naidu, H. Ramesh:
  Lower Bounds for Embedding Graphs into Graphs of Smaller Characteristic. 301-310
  Electronic Edition (Springer LINK) BibTeX
• Yogish Sabharwal, Nishant Sharma, Sandeep Sen:
  Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions. 311-323
  Electronic Edition (Springer LINK) BibTeX
• A. Prasad Sistla:
  Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. 324-335
  Electronic Edition (Springer LINK) BibTeX
• Walter Vogler, Ralf Wollowski:
  Decomposition in Asynchronous Circuit Design. 336-347
  Electronic Edition (Springer LINK) BibTeX
• David R. Wood:
  Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing. 348-359
  Electronic Edition (Springer LINK) BibTeX