23. FSTTCS 2003:
Mumbai,
India
Paritosh K. Pandya, Jaikumar Radhakrishnan (Eds.):
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings.
Lecture Notes in Computer Science 2914 Springer 2003, ISBN 3-540-20680-9 BibTeX
@proceedings{DBLP:conf/fsttcs/2003,
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {FST TCS 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
booktitle = {FSTTCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2914},
year = {2003},
isbn = {3-540-20680-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Contributed Papers
- Michael Backes, Birgit Pfitzmann:
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
1-12
Electronic Edition (link) BibTeX
- Andreas Baltz, Gerold Jäger, Anand Srivastav:
Constructions of Sparse Asymmetric Connectors: Extended Abstract.
13-22
Electronic Edition (link) BibTeX
- Nicolas Biri, Didier Galmiche:
A Separation Logic for Resource Distribution: Extended Abstract.
23-37
Electronic Edition (link) BibTeX
- Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky:
An Equational Theory for Transactions.
38-49
Electronic Edition (link) BibTeX
- Stephen L. Bloom, Zoltán Ésik:
Axioms for Regular Words: Extended Abstract.
50-61
Electronic Edition (link) BibTeX
- Mikolaj Bojanczyk:
1-Bounded TWA Cannot Be Determinized.
62-73
Electronic Edition (link) BibTeX
- Ahmed Bouajjani, Tayssir Touili:
Reachability Analysis of Process Rewrite Systems.
74-87
Electronic Edition (link) BibTeX
- Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz:
Pushdown Games with Unboundedness and Regular Conditions.
88-99
Electronic Edition (link) BibTeX
- Véronique Bruyère, Jean-François Raskin:
Real-Time Model-Checking: Parameters Everywhere.
100-111
Electronic Edition (link) BibTeX
- Arnaud Carayol, Stefan Wöhrle:
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.
112-123
Electronic Edition (link) BibTeX
- Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani:
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents.
124-135
Electronic Edition (link) BibTeX
- Emmanuel Coquery, François Fages:
Subtyping Constraints in Quasi-lattices.
136-148
Electronic Edition (link) BibTeX
- Nikhil R. Devanur, Vijay V. Vazirani:
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case.
149-155
Electronic Edition (link) BibTeX
- Volker Diekert, Markus Lohrey:
Word Equations over Graph Products.
156-167
Electronic Edition (link) BibTeX
- Devdatt P. Dubhashi, Luigi Laura, Alessandro Panconesi:
Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models: Extended Abstract.
168-182
Electronic Edition (link) BibTeX
- Funda Ergün, S. Muthukrishnan, Süleyman Cenk Sahinalp:
Comparing Sequences with Segment Rearrangements.
183-194
Electronic Edition (link) BibTeX
- Zoltán Ésik, Pascal Weil:
On Logically Defined Recognizable Tree Languages.
195-207
Electronic Edition (link) BibTeX
- Parikshit Gopalan, Richard J. Lipton, Aranyak Mehta:
Randomized Time-Space Tradeoffs for Directed Graph Connectivity.
208-216
Electronic Edition (link) BibTeX
- Joachim Gudmundsson, Giri Narasimhan, Michiel H. M. Smid:
Distance-Preserving Approximations of Polygonal Paths.
217-228
Electronic Edition (link) BibTeX
- Sumanta Guha:
Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra.
229-243
Electronic Edition (link) BibTeX
- Anupam Gupta, Aravind Srinivasan:
On the Covering Steiner Problem.
244-251
Electronic Edition (link) BibTeX
- Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi:
Minimality Results for the Spatial Logics.
252-264
Electronic Edition (link) BibTeX
- Srinivas R. Kashyap, Samir Khuller:
Algorithms for Non-uniform Size Data Placement on Parallel Disks.
265-276
Electronic Edition (link) BibTeX
- Telikepalli Kavitha:
Efficient Algorithms for Abelian Group Isomorphism and Related Problems.
277-288
Electronic Edition (link) BibTeX
- Jochen Könemann, R. Ravi:
Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees.
289-301
Electronic Edition (link) BibTeX
- Christof Löding, Philipp Rohde:
Model Checking and Satisfiability for Sabotage Modal Logic.
302-313
Electronic Edition (link) BibTeX
- Meena Mahajan, Raghavan Rama, Venkatesh Raman, S. Vijayakumar:
Merging and Sorting By Strip Moves.
314-325
Electronic Edition (link) BibTeX
- Sebastian Maneth:
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase.
326-337
Electronic Edition (link) BibTeX
- Swarup Mohalik, Igor Walukiewicz:
Distributed Games.
338-351
Electronic Edition (link) BibTeX
- S. Muthukrishnan, Martin Strauss:
Maintenance of Multidimensional Histograms.
352-362
Electronic Edition (link) BibTeX
- Ramaswamy Ramanujam, S. P. Suresh:
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.
363-374
Electronic Edition (link) BibTeX
- Holger Spakowski, Mayur Thakur, Rahul Tripathi:
Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties.
375-386
Electronic Edition (link) BibTeX
- Maik Weinard, Georg Schnitger:
On the Greedy Superstring Conjecture.
387-398
Electronic Edition (link) BibTeX
Invited Papers
Copyright © Sat May 16 23:12:56 2009
by Michael Ley (ley@uni-trier.de)