28. FSTTCS 2008: Bangalore, India

• Omid Amini, Fedor V. Fomin, Saket Saurabh:
  Implicit Branching and Parameterized Partial Cover Problems (Extended Abstract).
  Electronic Edition (link) BibTeX
• Takahito Aoto:
  Sound Lemma Generation for Proving Inductive Validity of Equations.
  Electronic Edition (link) BibTeX
• V. Arvind, Pushkar S. Joglekar:
  Some Sieving Algorithms for Lattice Problems.
  Electronic Edition (link) BibTeX
• Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili:
  Analyzing Asynchronous Programs with Preemption.
  Electronic Edition (link) BibTeX
• David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann:
  Runtime Monitoring of Metric First-order Temporal Properties.
  Electronic Edition (link) BibTeX
• Noam Berger, Nevin Kapur, Leonard J. Schulman, Vijay V. Vazirani:
  Solvency Games.
  Electronic Edition (link) BibTeX
• Dietmar Berwanger, Laurent Doyen:
  On the Power of Imperfect Information.
  Electronic Edition (link) BibTeX
• Didier Caucal:
  Boolean algebras of unambiguous context-free languages.
  Electronic Edition (link) BibTeX
• André Chailloux, Iordanis Kerenidis:
  Increasing the power of the verifier in Quantum Zero Knowledge.
  Electronic Edition (link) BibTeX
• Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
  Algorithms for Game Metrics.
  Electronic Edition (link) BibTeX
• Chandra Chekuri, Nitish Korula:
  Pruning 2-Connected Graphs.
  Electronic Edition (link) BibTeX
• Chandra Chekuri, Nitish Korula:
  Single-Sink Network Design with Vertex Connectivity Requirements.
  Electronic Edition (link) BibTeX
• Julien Cristau, Florian Horn:
  Graph Games on Ordinals.
  Electronic Edition (link) BibTeX
• Samir Datta, Nutan Limaye, Prajakta Nimbhorkar:
  3-connected Planar Graph Isomorphism is in Log-space.
  Electronic Edition (link) BibTeX
• Josep Díaz, Lefteris M. Kirousis, Dieter Mitsche, Xavier Pérez-Giménez:
  A new upper bound for 3-SAT.
  Electronic Edition (link) BibTeX
• Rayna Dimitrova, Bernd Finkbeiner:
  Abstraction Refinement for Games with Incomplete Information.
  Electronic Edition (link) BibTeX
• Alan M. Frieze, Ravi Kannan:
  A new approach to the planted clique problem.
  Electronic Edition (link) BibTeX
• Daniel Golovin, Anupam Gupta, Amit Kumar, Kanat Tangwongsan:
  All-Norms and All-L_p-Norms Approximation Algorithms.
  Electronic Edition (link) BibTeX
• Stefan Gulan, Henning Fernau:
  An Optimal Construction of Finite Automata from Regular Expressions.
  Electronic Edition (link) BibTeX
• Jonathan Hayman, Glynn Winskel:
  The unfolding of general Petri nets.
  Electronic Edition (link) BibTeX
• Florian Horn:
  Explicit Muller Games are PTIME.
  Electronic Edition (link) BibTeX
• Kazuhiro Inaba, Sebastian Maneth:
  The Complexity of Tree Transducer Output Languages.
  Electronic Edition (link) BibTeX
• Sampath Kannan, Sanjeev Khanna, Sudeepa Roy:
  STCON in Directed Unique-Path Graphs.
  Electronic Edition (link) BibTeX
• Telikepalli Kavitha:
  Dynamic matrix rank with partial lookahead.
  Electronic Edition (link) BibTeX
• Christian Komusiewicz, Johannes Uhlmann:
  A Cubic-Vertex Kernel for Flip Consensus Tree.
  Electronic Edition (link) BibTeX
• Markus Lohrey:
  Leaf languages and string compression.
  Electronic Edition (link) BibTeX
• Georg Moser, Andreas Schnabl, Johannes Waldmann:
  Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
  Electronic Edition (link) BibTeX
• Jean-Yves Marion, Romain Péchoux:
  Analyzing the Implicit Computational Complexity of object-oriented programs.
  Electronic Edition (link) BibTeX
• Juan Rodríguez-Hortalá:
  A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.
  Electronic Edition (link) BibTeX
• Marcin Jurdzinski, Ashutosh Trivedi:
  Average-Time Games.
  Electronic Edition (link) BibTeX
• Hubert Comon-Lundh:
  About models of security protocols.
  Electronic Edition (link) BibTeX
• Uriel Feige:
  On Estimation Algorithms vs Approximation Algorithms.
  Electronic Edition (link) BibTeX
• Erich Grädel:
  Banach-Mazur Games on Graphs.
  Electronic Edition (link) BibTeX
• Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty:
  Harnessing the Multicores: Nested Data Parallelism in Haskell.
  Electronic Edition (link) BibTeX
• Leslie G. Valiant:
  Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence.
  Electronic Edition (link) BibTeX
• Ramesh Hariharan, Madhavan Mukund, V. Vinay:
  2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
  Electronic Edition (link) BibTeX
• Ramesh Hariharan, Madhavan Mukund, V. Vinay:
  2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
  Electronic Edition (link) BibTeX