@incollection{Herlihy/07,
AUTHOR = {Herlihy, Maurice},
TITLE = {The multicore revolution --- The challenges for theory},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {1-8},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karp/07,
AUTHOR = {Karp, Richard M.},
TITLE = {Streaming algorithms for selection and approximate sorting},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {9-20},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pierce/07,
AUTHOR = {Pierce, Benjamin C.},
TITLE = {Adventures in bidirectional programming},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {21-22},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reps-Lal-Kidd/07,
AUTHOR = {Reps, Thomas and Lal, Akash and Kidd, Nick},
TITLE = {Program analysis using weighted pushdown systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {23-51},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vadhan/07,
AUTHOR = {Vadhan, Salil},
TITLE = {The complexity of zero knowledge},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {52-70},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kumar-Sabharwal/07,
AUTHOR = {Kumar, Amit and Sabharwal, Yogish},
TITLE = {The priority $k$-median problem},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {71-83},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fukunaga-Halldorsson-Nagamochi/07,
AUTHOR = {Fukunaga, Takuro and Halld{\'o}rsson, Magn{\'u}s M. and Nagamochi, Hiroshi},
TITLE = {''Rent-or-Buy'' scheduling and cost coloring problems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {84-95},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Garg-Kumar-Pandit/07,
AUTHOR = {Garg, Naveen and Kumar, Amit and Pandit, Vinayaka},
TITLE = {Order scheduling models: Hardness and algorithms},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {96-107},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Backes-Durmuth-Kusters/07,
AUTHOR = {Backes, Michael and D{\"u}rmuth, Markus and K{\"u}sters, Ralf},
TITLE = {On simulatability soundness and mapping soundness of symbolic cryptography},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {108-120},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chevalier-Kourjieh/07,
AUTHOR = {Chevalier, Yannick and Kourjieh, Mounira},
TITLE = {Key substitution in the symbolic analysis of cryptographic protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {121-132},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delaune-Kremer-Ryan/07,
AUTHOR = {Delaune, St{\'e}phanie and Kremer, Steve and Ryan, Mark},
TITLE = {Symbolic bisimulation for the applied pi calculus},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {133-145},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Glasser-Selman-Travers-Zhang/07,
AUTHOR = {Gla{\ss}er, Christian and Selman, Alan L. and Travers, Stephen and Zhang, Liyu},
TITLE = {Non-mitotic sets},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {146-157},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Toran/07,
AUTHOR = {Tor{\'a}n, Jacobo},
TITLE = {Reductions to graph isomorphism},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {158-167},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Harkins-Hitchcock-Pavan/07,
AUTHOR = {Harkins, Ryan C. and Hitchcock, John M. and Pavan, A.},
TITLE = {Strong reductions and isomorphism of complete sets},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {168-178},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baier-Bertrand-Bouyer-Brihaye-Grosser/07,
AUTHOR = {Baier, Christel and Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Gr{\"o}{\ss}er, Marcus},
TITLE = {Probabilistic and topological semantics for timed automata},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {179-191},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hirschowitz-Hirschowitz-Hirschowitz/07,
AUTHOR = {Hirschowitz, Michel and Hirschowitz, Andr{\'e} and Hirschowitz, Tom},
TITLE = {A theory for game theories},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {192-203},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Saha/07,
AUTHOR = {Saha, Diptikalyan},
TITLE = {An incremental bisimulation algorithm},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {204-215},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jakoby-Tantau/07,
AUTHOR = {Jakoby, Andreas and Tantau, Till},
TITLE = {Logspace algorithms for computing shortest and longest paths in series-parallel graphs},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {216-227},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kumar-Sivakumar/07,
AUTHOR = {Kumar, Ravi and Sivakumar, D.},
TITLE = {Communication lower bounds via the chromatic number},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {228-240},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beyersdorff/07,
AUTHOR = {Beyersdorff, Olaf},
TITLE = {The deduction theorem for strong propositional proof systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {241-252},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Glasser-Reitwiessner-Travers-Waldherr/07,
AUTHOR = {Gla{\ss}er, Christian and Reitwie{\ss}ner, Christian and Travers, Stephen and Waldherr, Matthias},
TITLE = {Satisfiability of algebraic circuits over sets of natural numbers},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {253-264},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chambart-Schnoebelen/07,
AUTHOR = {Chambart, Pierre and Schnoebelen, Philippe},
TITLE = {Post embedding problem is not primitive recursive, with applications to channel systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {265-276},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baudru-Morin/07,
AUTHOR = {Baudru, Nicolas and Morin, R{\'e}mi},
TITLE = {Synthesis of safe message-passing systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {277-289},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akshay-Bollig-Gastin/07,
AUTHOR = {Akshay, S. and Bollig, Benedikt and Gastin, Paul},
TITLE = {Automata and logics for timed message sequence charts},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {290-302},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bollig-Kuske-Meinecke/07,
AUTHOR = {Bollig, Benedikt and Kuske, Dietrich and Meinecke, Ingmar},
TITLE = {Propositional dynamic logic for message-passing systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {303-315},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Fomin-Gutin-Krivelevich-Saurabh/07a,
AUTHOR = {Alon, Noga and Fomin, Fedor V. and Gutin, Gregory and Krivelevich, Michael and Saurabh, Saket},
TITLE = {Better algorithms and bounds for directed maximum leaf problems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {316-327},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kavitha/07a,
AUTHOR = {Kavitha, Telikepalli},
TITLE = {Faster algorithms for all-pairs small stretch distances in weighted graphs},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {328-339},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fleischner-Mujuni-Paulusma-Szeider/07,
AUTHOR = {Fleischner, Herbert and Mujuni, Egbert and Paulusma, Daniel and Szeider, Stefan},
TITLE = {Covering graphs with few complete bipartite subgraphs},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {340-351},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cortier-Delaitre-Delaune/07,
AUTHOR = {Cortier, V{\'e}ronique and Delaitre, J{\'e}r{\'e}mie and Delaune, St{\'e}phanie},
TITLE = {Safely composing security protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {352-363},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Courant-Ene-Lakhnech/07,
AUTHOR = {Courant, Judica{\"e}l and Ene, Cristian and Lakhnech, Yassine},
TITLE = {Computationally sound typing for non-interference: The case of deterministic encryption},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {364-375},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arapinis-Duflot/07,
AUTHOR = {Arapinis, Myrto and Duflot, Marie},
TITLE = {Bounding messages for free in security protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {376-387},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brevilliers-Chevallier-Schmitt/07,
AUTHOR = {Br{\'e}villiers, Mathieu and Chevallier, Nicolas and Schmitt, Dominique},
TITLE = {Triangulations of line segment sets in the plane},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {388-399},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biedl-Hasan-Lopez-Ortiz/07,
AUTHOR = {Biedl, Therese and Hasan, Masud and L{\'o}pez-Ortiz, Alejandro},
TITLE = {Reconstructing convex polygons and polyhedra from edge and face counts in orthogonal projections},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {400-411},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Inkulu-Kapoor/07,
AUTHOR = {Inkulu, R. and Kapoor, Sanjiv},
TITLE = {Finding a rectilinear shortest path in $R^2$ using corridor based staircase structures},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {412-423},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jansson-Sadakane-Sung/07,
AUTHOR = {Jansson, Jesper and Sadakane, Kunihiko and Sung, Wing-Kin},
TITLE = {Compressed dynamic tries with applications to LZ-compression in sublinear time and space},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {424-435},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee/07,
AUTHOR = {Chatterjee, Krishnendu},
TITLE = {Stochastic M{\"u}ller games are $P$SPACE-complete},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {436-448},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schewe/07,
AUTHOR = {Schewe, Sven},
TITLE = {Solving parity games in big steps},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {449-460},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benedikt-Jeffrey/07,
AUTHOR = {Benedikt, Michael and Jeffrey, Alan},
TITLE = {Efficient and expressive tree filters},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {461-472},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee/07a,
AUTHOR = {Chatterjee, Krishnendu},
TITLE = {Markov decision processes with multiple long-run average objectives},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {473-484},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khanna-Kunal-Pierce/07,
AUTHOR = {Khanna, Sanjeev and Kunal, Keshav and Pierce, Benjamin C.},
TITLE = {A formal investigation of diff3},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {485-496},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Srivastav-Werth/07,
AUTHOR = {Srivastav, Anand and Werth, S{\"o}ren},
TITLE = {Probabilistic analysis of the degree bounded minimum spanning tree problem},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {497-507},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Belkhir-Santocanale/07,
AUTHOR = {Belkhir, Walid and Santocanale, Luigi},
TITLE = {Undirected graphs of entanglement 2},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {508-519},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Leroux-Sutre/07,
AUTHOR = {Leroux, J{\'e}r{\^o}me and Sutre, Gr{\'e}goire},
TITLE = {Acceleration in convex data-flow analysis},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {520-531},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schmalz-Volzer-Varacca/07,
AUTHOR = {Schmalz, Matthias and V{\"o}lzer, Hagen and Varacca, Daniele},
TITLE = {Model checking almost all paths can be less expensive than checking all paths},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {532-543},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haemmerle-Fages-Soliman/07,
AUTHOR = {Haemmerl{\'e}, R{\'e}my and Fages, Fran{\c{c}}ois and Soliman, Sylvain},
TITLE = {Closures and modules within linear logic concurrent constraint programming},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {544-556},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}