@incollection{Backes-Pfitzmann/03,
AUTHOR = {Backes, Michael and Pfitzmann, Birgit},
TITLE = {A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {1-12},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/xab6u4b6e5rbfapb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baltz-Jager-Srivastav/03,
AUTHOR = {Baltz, Andreas and J{\"a}ger, Gerold and Srivastav, Anand},
TITLE = {Constructions of sparse asymmetric connectors},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {13-22},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/fht2m6jxc4tlt6rk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Biri-Galmiche/03,
AUTHOR = {Biri, Nicolas and Galmiche, Didier},
TITLE = {A separation logic for resource distribution},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {23-37},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/81bg33cwj9n8eew5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Black-Cremet-Guerraoui-Odersky/03,
AUTHOR = {Black, Andrew P. and Cremet, Vincent and Guerraoui, Rachid and Odersky, Martin},
TITLE = {An equational theory for transactions},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {38-49},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/4vrtn856vvmrlm5g},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bloom-Esik/03,
AUTHOR = {Bloom, Stephen L. and {\'E}sik, Zolt{\'a}n},
TITLE = {Axioms for regular words},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {50-61},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dvkubpthgdak1918},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bojanczyk/03,
AUTHOR = {Boja{\~n}czyk, Miko{\l}aj},
TITLE = {1-bounded TWA cannot be determinized},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {62-73},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/3xx6exjy32jgwt9x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouajjani-Touili/03,
AUTHOR = {Bouajjani, Ahmed and Touili, Tayssir},
TITLE = {Reachability analysis of process rewrite systems},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {74-87},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/ermt2y5yggpd4ddy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouquet-Serre-Walukiewicz/03,
AUTHOR = {Bouquet, Alexis-Julien and Serre, Oliver and Walukiewicz, Igor},
TITLE = {Pushdown games with unboundedness and regular conditions},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {88-99},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/3wapbmpb24klwnvb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bruyere-Raskin/03,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {Real-time model-checking: Parameters everywhere},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {100-111},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/ehy6t74f859anvhn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Carayol-Wohrle/03,
AUTHOR = {Carayol, Arnaud and W{\"o}hrle, Stefan},
TITLE = {The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {112-123},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/kyq5d77erp0692lq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chevalier-Kusters-Rusinowitch-Turuani/03,
AUTHOR = {Chevalier, Yannick and K{\"u}sters, Ralf and Rusinowitch, Micha{\"e}l and Turuani, Mathieu},
TITLE = {Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {124-135},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/fhgv83ydw2bagdkl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Coquery-Fages/03,
AUTHOR = {Coquery, Emmanuel and Fages, Fran{\c{c}}ois},
TITLE = {Subtyping constraints in quasi-lattices},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {136-148},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/tv9elqwmyhe0vjxy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Devanur-Vazirani/03,
AUTHOR = {Devanur, Nikhil R. and Vazirani, Vijay V.},
TITLE = {An improved approximation scheme for computing Arrow-Debreu prices for the linear case},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {149-155},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/yy0e0v7e7k7xmdlw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Diekert-Lohrey/03,
AUTHOR = {Diekert, Volker and Lohrey, Markus},
TITLE = {Word equations over graph products},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {156-167},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/h80jjh4c0pdl1rw6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dubhashi-Laura-Panconesi/03,
AUTHOR = {Dubhashi, Devdatt and Laura, Luigi and Panconesi, Alessandro},
TITLE = {Analysis and experimental evaluation of a simple algorithm for collaborative filtering in planted partition models},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {168-182},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/mur3kft6h4pxaxek},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ergun-Muthukrishnan-Sahinalp/03,
AUTHOR = {Ergun, Funda and Muthukrishnan, S. and Sahinalp, S. Cenk},
TITLE = {Comparing sequences with segment rearrangements},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {183-194},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/t8my1ddhyqcgkhe1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Esik-Weil/03,
AUTHOR = {{\'E}sik, Zolt{\'a}n and Weil, Pascal},
TITLE = {On logically defined recognizable tree languages},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {195-207},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/tk3eg5rj068n2u18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gopalan-Lipton-Mehta/03,
AUTHOR = {Gopalan, Parikshit and Lipton, Richard J. and Mehta, Aranyak},
TITLE = {Randomized time-space tradeoffs for directed graph connectivity},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {208-216},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/wxp4xeut0e5nd801},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gudmundsson-Narasimhan-Smid/03,
AUTHOR = {Gudmundsson, Joachim and Narasimhan, Giri and Smid, Michiel},
TITLE = {Distance-preserving approximations of polygonal paths},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {217-228},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/0p533p2d8j8wpunw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Guha/03,
AUTHOR = {Guha, Sumanta},
TITLE = {Joint separation of geometric clusters and the extreme irregularities of regular polyhedra},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {229-243},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/4w26ath7gbqgv7ja},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gupta-Srinivasan/03,
AUTHOR = {Gupta, Anupam and Srinivasan, Aravind},
TITLE = {On the covering Steiner problem},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {244-251},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dfumbtd6h8h31xvy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hirschkoff-Lozes-Sangiorgi/03,
AUTHOR = {Hirschkoff, D. and Lozes, {\'E}. and Sangiorgi, D.},
TITLE = {Minimality results for the spatial logics},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {252-264},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/7p08a7m2jpnaxad5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kashyap-Khuller/03,
AUTHOR = {Kashyap, Srinivas and Khuller, Samir},
TITLE = {Algorithms for non-uniform size data placement on parallel disks},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {265-276},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dyt4jahbgtlg6wrm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kavitha/03,
AUTHOR = {Kavitha, T.},
TITLE = {Efficient algorithms for Abelian group isomorphism and related problems},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {277-288},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/6h4m1d7313tqwcmb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Konemann-Ravi/03,
AUTHOR = {K{\"o}nemann, Jochen and Ravi, R.},
TITLE = {Quasi-polynomial time approximation algorithm for low-degree minimum-cost Steiner trees},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {289-301},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/3k7haueuqdwj44mn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Loding-Rohde/03a,
AUTHOR = {L{\"o}ding, Christof and Rohde, Philipp},
TITLE = {Model checking and satisfiability for sabotage modal logic},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {302-313},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/29hdwtubn0uc27bc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mahajan-Rama-Raman-Vijayakumar/03,
AUTHOR = {Mahajan, Meena and Rama, Raghavan and Raman, Venkatesh and Vijayakumar, S.},
TITLE = {Merging and sorting by strip moves},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {314-325},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/k27ec5m1pju4hgmg},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Maneth/03,
AUTHOR = {Maneth, Sebastian},
TITLE = {The macro tree transducer hierarchy collapses for functions of linear size increase},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {326-337},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/twqlvkbpg3duku30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mohalik-Walukiewicz/03,
AUTHOR = {Mohalik, Swarup and Walukiewicz, Igor},
TITLE = {Distributed games},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {338-351},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/fk6eldkax1gd59ng},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Muthukrishnan-Strauss/03,
AUTHOR = {Muthukrishnan, S. and Strauss, Martin},
TITLE = {Maintenance of multidimensional histograms},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {352-362},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dcnx8w2q90frn4xa},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ramanujam-Suresh/03,
AUTHOR = {Ramanujam, R. and Suresh, S.P.},
TITLE = {Tagging makes secrecy decidable with unbounded nonces as well},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {363-374},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/kb7k58214v2vnafd},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Spakowski-Thakur-Tripathi/03,
AUTHOR = {Spakowski, Holger and Thakur, Mayur and Tripathi, Rahul},
TITLE = {Quantum and classical complexity classes: Separations, collapses, and closure properties},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {375-386},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/qvb7la75v3t8hx6l},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Weinard-Schnitger/03,
AUTHOR = {Weinard, Maik and Schnitger, Georg},
TITLE = {On the greedy superstring conjecture},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {387-398},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/835puphv5p6qtjr6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bryant/03,
AUTHOR = {Bryant, Randal E.},
TITLE = {Reasoning about infinite state systems using Boolean methods},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {399-407},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dcw2bf8nebdxvf7v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cai-Watanabe/03a,
AUTHOR = {Cai, Jin-Yi and Watanabe, Osamu},
TITLE = {Stringent relativization},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {408-419},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/8ravdf0uy5uwf59g},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gossler-Sifakis/03,
AUTHOR = {G{\"o}ssler, Gregor and Sifakis, Joseph},
TITLE = {Component-based construction of deadlock-free systems},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {420-433},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/mp2rxdec8ky4gq0j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Naor/03,
AUTHOR = {Naor, Moni},
TITLE = {Moderately hard functions: From complexity to spam fighting},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {434-442},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/k172v87dcm12nwfl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Wigderson/03,
AUTHOR = {Wigderson, Avi},
TITLE = {Zigzag products, expander constructions, connections, and applications},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {443-443},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/jpbdfj1tktfe5h4q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}