@incollection{Abdulla-Chen-Holik-Vojnar/09,
AUTHOR = {Abdulla, Parosh A. and Chen, Yu-Fang and Hol{\'{i}}k, Luka{\v{s}} and Vojnar, Tom{\'a}{\v{s}}},
TITLE = {Mediating for reduction (on minimizing alternating B{\"{u}}chi automata)},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {1-12},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2302},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Ammar-Chakrabarty-Sarma-Kalyanasundaram-Lipton/09,
AUTHOR = {Ammar, Mostafa and Chakrabarty, Deeparnab and Sarma, Atish Das and Kalyanasundaram, Subrahmanyam and Lipton, Richard J.},
TITLE = {Algorithms for message ferrying on mobile ad hoc networks},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {13-24},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2303},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Arvind-Joglekar-Srinivasan/09,
AUTHOR = {Arvind, Vikraman and Joglekar, Pushkar S. and Srinivasan, Srikanth},
TITLE = {Arithmetic circuits and the Hadamard product of polynomials},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {25-36},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2304},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Bessy-Fomin-Gaspers-Paul-Perez-Saurabh-Thomasse/09,
AUTHOR = {Bessy, St{\'{e}}phane and Fomin, Fedor V. and Gaspers, Serge and Paul, Christophe and Perez, Anthony and Saurabh, Saket and Thomass{\'{e}}, St{\'{e}}phan},
TITLE = {Kernels for feedback arc set in tournaments},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {37-47},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2305},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Brazdil-Esparza-Kiefer/09,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Esparza, Javier and Kiefer, Stefan},
TITLE = {On the memory consumption of probabilistic pushdown automata},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {49-60},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2306},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Brazdil-Forejt-Krcal-Kretinsky-Antonin/09,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Forejt, Vojtech and Kr{\v{c}}{\'a}l, Jan and K{\v{r}}et{\'{i}}nsk{\'y}, Jan and Antonin, Ku{\v{c}}era},
TITLE = {Continuous-time stochastic games with time-bounded reachability},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {61-72},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2307},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Bojanczyk-Torunczyk/09,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Toru{\'n}czyk, Szymon},
TITLE = {Deterministic automata and extensions of weak MSO},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {73-84},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2308},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Bozzelli-Legay-Pinchinat/09,
AUTHOR = {Bozzelli, Laura and Legay, Axel and Pinchinat, Sophie},
TITLE = {On timed alternating simulation for concurrent timed games},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {85-96},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2309},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Braud/09,
AUTHOR = {Braud, Laurent},
TITLE = {Covering of ordinals},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {97-108},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2310},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Braverman-Stephen-McKenzie-Santhanam-Wehr/09,
AUTHOR = {Braverman, Mark and Stephen, Cook and McKenzie, Pierre and Santhanam, Rahul and Wehr, Dustin},
TITLE = {Fractional pebbling and thrifty branching programs},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {109-120},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2311},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Cabessa-Duparc-Facchini-Murlak/09,
AUTHOR = {Cabessa, J{\'{e}}r{\'{e}}mie and Duparc, Jacques and Facchini, Alessandro and Murlak, Filip},
TITLE = {The Wadge hierarchy of max-regular languages},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {121-132},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2312},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Cristau/09,
AUTHOR = {Cristau, Julien},
TITLE = {Automata and temporal logic over arbitrary linear time},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {133-144},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2313},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Datta-Nimbhorkar-Thierauf-Wagner/09,
AUTHOR = {Datta, Samir and Nimbhorkar, Prajakta and Thierauf, Thomas and Wagner, Fabian},
TITLE = {Graph isomorphism for $K_{3,3}$-free and $K_5$-free graphs is in log-space},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {145-156},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2314},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Dawar-Kreutzer/09,
AUTHOR = {Dawar, Anuj and Kreutzer, Stephan},
TITLE = {Domination problems in nowhere-dense classes},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {157-168},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2315},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Delaune-Kremer-Pereira/09,
AUTHOR = {Delaune, St{\'{e}}phanie and Kremer, Steve and Pereira, Olivier},
TITLE = {Simulation based security in the applied pi calculus},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {169-180},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2316},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Demri-Jurdzinski-Lachish-Lazic/09,
AUTHOR = {Demri, St{\'{e}}phane and Jurdzi{\'n}ski, Marcin and Lachish, Oded and Lazi{\'c}, Ranko},
TITLE = {The covering and boundedness problems for branching vector addition systems},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {181-192},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2317},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Fomin-Lokshtanov-Raman-Saurabh/09,
AUTHOR = {Fomin, Fedor V. and Lokshtanov, Daniel and Raman, Venkatesh and Saurabh, Saket},
TITLE = {Subexponential algorithms for partial cover problems},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {193-201},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2318},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Georgiou-Magen-Tourlakis/09,
AUTHOR = {Georgiou, Konstantinos and Magen, Avner and Tourlakis, Iannis},
TITLE = {On the tightening of the standard SDP for vertex cover with $l_1$ inequalities},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {203-214},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2319},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Hitchcock-Pavan-Vinodchandran/09,
AUTHOR = {Hitchcock, John M. and Pavan, Aduri and Vinodchandran, N.V.},
TITLE = {Kolmogorov complexity in randomness extraction},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {215-226},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2320},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Huang-Svitkina/09,
AUTHOR = {Huang, Chien-Chung and Svitkina, Zoya},
TITLE = {Donation center location problem},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {227-238},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2321},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Kaplan-Kerenidis-Laplante-Roland/09,
AUTHOR = {Kaplan, Marc and Kerenidis, Iordanis and Laplante, Sophie and Roland, J{\'{e}}r{\'{e}}mie},
TITLE = {Non-local box complexity and secure function evaluation},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {239-250},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2322},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Kattenbelt-Huth/09,
AUTHOR = {Kattenbelt, Mark and Huth, Michael},
TITLE = {Verification and refutation of probabilistic specifications via games},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {251-262},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2323},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Khandekar-Kortsarz-Nutov/09,
AUTHOR = {Khandekar, Rohit and Kortsarz, Guy and Nutov, Zeev},
TITLE = {Approximating fault-tolerant group-Steiner problems},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {263-274},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2324},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Khandekar-Hildrum-Parekh-Rajan-Sethuraman-Wolf/09,
AUTHOR = {Khandekar, Rohit and Hildrum, Kirsten and Parekh, Sujay and Rajan, Deepak and Sethuraman, Jay and Wolf, Joel},
TITLE = {Bounded size graph clustering with applications to stream processing},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {275-286},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2325},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Kneis-Langer-Rossmanith/09,
AUTHOR = {Kneis, Joachim and Langer, Alexander and Rossmanith, Peter},
TITLE = {A fine-grained analysis of a simple independent set algorithm},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {287-298},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2326},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Kumar-Lokam-Patankar-Sarma_MN/09,
AUTHOR = {Kumar, Abhinav and Lokam, Satyanarayana V. and Patankar, Vijay M. and Sarma M.N., Jayalal},
TITLE = {Using elimination theory to construct rigid matrices},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {299-310},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2327},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Loding-Wong/09,
AUTHOR = {L{\"{o}}ding, Christof and Wong, Karianto},
TITLE = {On nondeterministic unranked tree automata with sibling constraints},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {311-322},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2328},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Madeira-Muthukrishnan/09,
AUTHOR = {Madeira, Andr{\'{e}} and Muthukrishnan, S.},
TITLE = {Functionally private approximations of negligibly-biased estimators},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {323-334},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2329},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Paul-Simon/09,
AUTHOR = {Paul, Soumya and Simon, Sunil},
TITLE = {Nash equilibrium in generalised Muller games},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {335-346},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2330},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Praveen-Lodaya/09,
AUTHOR = {Praveen, M. and Lodaya, Kamal},
TITLE = {Modelchecking counting properties of 1-safe nets with buffers in paraPspace},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {347-358},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2331},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Rabinovich/09,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Synthesis of finite-state and definable winning strategies},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {359-370},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2332},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Saha-Saptharishi-Saxena/09,
AUTHOR = {Saha, Chandan and Saptharishi, Ramprasad and Saxena, Nitin},
TITLE = {The power of depth 2 circuits over algebras},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {371-382},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2333},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Taly-Tiwari/09,
AUTHOR = {Taly, Ankur and Tiwari, Ashish},
TITLE = {Deductive verification of continuous dynamical systems},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {383-394},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2334},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Tracol-Baier-Grosser/09,
AUTHOR = {Tracol, Mathieu and Baier, Christel and Gr{\"{o}}sser, Marcus},
TITLE = {Recurrence and transience for probabilistic automata},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {395-406},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2335},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Dawar/09,
AUTHOR = {Dawar, Anuj},
TITLE = {Structure and specification as sources of complexity},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {407-416},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2336},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Larsen/09,
AUTHOR = {Larsen, Kim G.},
TITLE = {Priced timed automata: Theory and tools},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {417-425},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2337},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Odersky-Moors/09,
AUTHOR = {Odersky, Martin and Moors, Adriaan},
TITLE = {Fighting bit rot with types (Experience report: Scala collections)},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {427-451},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2338},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Ravi/09,
AUTHOR = {Ravi, R.},
TITLE = {Iterative methods in combinatorial optimization},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {453-469},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2339},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}
@incollection{Wigderson/09,
AUTHOR = {Wigderson, Avi},
TITLE = {Randomness extractors --- Applications and constructions},
BOOKTITLE = {Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {4},
PAGES = {471-473},
YEAR = {2009},
EDITOR = {Kannan, Ravi and Kumar, K. Narayan},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2340},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
}