@incollection{Alekseyev-Pevzner/04,
AUTHOR = {Alekseyev, Max A. and Pevzner, Pavel A.},
TITLE = {Genome Halving Problem revisited},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {1-15},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/kuh316j1yw8g4pvg},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Esparza-Etessami/04,
AUTHOR = {Esparza, Javier and Etessami, Kousha},
TITLE = {Verifying probabilistic procedural programs},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {16-31},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/0aqrdm7c6bxft22k},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Indyk/04,
AUTHOR = {Indyk, Piotr},
TITLE = {Streaming algorithms for geometric problems},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {32-34},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/bppv5kpl1jrfwv7g},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reynolds/04,
AUTHOR = {Reynolds, John C.},
TITLE = {Toward a grainless semantics for shared-variable concurrency},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {35-48},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/f8td01c5qeehm9wp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Therien/04,
AUTHOR = {Th{\'e}rien, Denis},
TITLE = {Regular languages, unambiguous concatenation and computational complexity},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {49-57},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/50agn3ch4l762u1t},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abdulla-Mahata-Mayr/04,
AUTHOR = {Abdulla, Parosh and Mahata, Pritha and Mayr, Richard},
TITLE = {Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {58-70},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/yc8anp627bqnkkqp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adelaide-Pagetti/04,
AUTHOR = {Ad{\'e}la{\"{i}}de, Micha{\"e}l and Pagetti, Claire},
TITLE = {On the urgency expressiveness},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {71-83},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/6d3q7qfjdp70ygda},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adsul-Sohoni/04,
AUTHOR = {Adsul, Bharat and Sohoni, Milind},
TITLE = {Asynchronous automata-theoretic characterization of aperiodic trace languages},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {84-96},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/046pppf3dvl699ut},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berdine-Calcagno-OHearn/04,
AUTHOR = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W.},
TITLE = {A decidable fragment of separation logic},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {97-109},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/j2lqa9127g80jyhr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{de_Berg-Streppel/04,
AUTHOR = {de Berg, Mark and Streppel, Micha},
TITLE = {Approximate range searching using binary space partitions},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {110-121},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/rct36f70hvr4f3y5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beyersdorff/04,
AUTHOR = {Beyersdorff, Olaf},
TITLE = {Representable disjoint $NP$-pairs},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {122-134},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/tpdaq2jhjh4a25lw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouajjani-Meyer/04,
AUTHOR = {Bouajjani, Ahmed and Meyer, Antoine},
TITLE = {Symbolic reachability analysis of higher-order context-free processes},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {135-147},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/hrqa1kwqq26fbvdu},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Cassez-Fleury-Larsen/04,
AUTHOR = {Bouyer, Patricia and Cassez, Franck and Fleury, Emmanuel and Larsen, Kim G.},
TITLE = {Optimal strategies in priced timed game automata},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {148-160},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/9juw5jdvachyg41m},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carbone-Nielsen-Sassone/04,
AUTHOR = {Carbone, Marco and Nielsen, Mogens and Sassone, Vladimiro},
TITLE = {A calculus for trust management},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {161-173},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/jpug0m9q5qng46ay},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chandru-Hariharan-Krishnakumar/04,
AUTHOR = {Chandru, Vijay and Hariharan, Ramesh and Krishnakumar, Narasimha M.},
TITLE = {Short-cuts on star, source and planar unfoldings},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {174-185},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/9cnr90gnwyqrbgnb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheng-Tan/04,
AUTHOR = {Cheng, Ho-lun and Tan, Tony},
TITLE = {Subdividing alpha complex},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {186-197},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/wyrw73ra6rnju6q0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dang-Ibarra-San_Pietro-Xie/04,
AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and San Pietro, Pierluigi and Xie, Gaoyan},
TITLE = {Real-counter automata and their decision problems},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {198-210},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/lrd546eu6ct3xhr7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dawar-Gardner-Ghelli/04,
AUTHOR = {Dawar, Anuj and Gardner, Philippa and Ghelli, Giorgio},
TITLE = {Adjunct elimination through games in static ambient logic},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {211-223},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/kub7xu33nth2e3qy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dawar-Janin/04,
AUTHOR = {Dawar, Anuj and Janin, David},
TITLE = {On the bisimulation invariant fragment of monadic $\Sigma_1$ in the finite},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {224-236},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/kayfhuk45r10f2cf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Devanur-Lipton-Vishnoi/04,
AUTHOR = {Devanur, Nikhil R. and Lipton, Richard J. and Vishnoi, Nisheeth K.},
TITLE = {On the complexity of Hilbert's 17th problem},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {237-249},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/fm3klel2hhlkfn7x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Distefano-Katoen-Rensink/04,
AUTHOR = {Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend},
TITLE = {Who is pointing when to whom? On the automated verification of linked list structures},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {250-262},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/ckvh49qy4qceqaya},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Furer-Kasiviswanathan/04,
AUTHOR = {F{\"u}rer, Martin and Kasiviswanathan, Shiva Prasad},
TITLE = {An almost linear time approximation algorithm for the permanent of a random (0-1) matrix},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {263-274},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/y71hq3t9gevbq5gj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gastin-Lerman-Zeitoun/04,
AUTHOR = {Gastin, Paul and Lerman, Benjamin and Zeitoun, Marc},
TITLE = {Distributed games with causal memory are decidable for series-parallel systems},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {275-286},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/6727bgq11d2m3xte},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Geeraerts-Raskin-Van_Begin/04,
AUTHOR = {Geeraerts, Gilles and Raskin, Jean-Fran{\c{c}}ois and Van Begin, Laurent},
TITLE = {Expand, enlarge, and check: New algorithms for the coverability problem of WSTS},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {287-298},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/q7huyfu33fb3lwbm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gudmundsson-Levcopoulos/04,
AUTHOR = {Gudmundsson, Joachim and Levcopoulos, Christos},
TITLE = {Minimum weight pseudo-triangulations},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {299-310},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/gadu72knmm84r945},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gulwani-Tiwari-Necula/04,
AUTHOR = {Gulwani, Sumit and Tiwari, Ashish and Necula, George C.},
TITLE = {Join algorithms for the theory of uninterpreted functions},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {311-323},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/5hlma2ug73k3c28t},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Har-Peled/04,
AUTHOR = {Har-Peled, Sariel},
TITLE = {No, coreset, no cry},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {324-335},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/4c62vev93mnu4d15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hitchcock-Pavan/04,
AUTHOR = {Hitchcock, John M. and Pavan, A.},
TITLE = {Hardness hypotheses, derandomization, and circuit complexity},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {336-347},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/c5am98yp84brn7w7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jager-Srivastav/04,
AUTHOR = {J{\"a}ger, Gerold and Srivastav, Anand},
TITLE = {Improved approximation algorithms for maximum graph partitioning problems},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {348-359},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/pe8vkj7qwmn0qtwh},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jain-Kinber/04,
AUTHOR = {Jain, Sanjay and Kinber, Efim},
TITLE = {Learning languages from positive data and a finite number of queries},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {360-371},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/x8jvrne9hhf37f3y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kempe-Kitaev-Regev/04,
AUTHOR = {Kempe, Julia and Kitaev, Alexei and Regev, Oded},
TITLE = {The complexity of the local Hamiltonian problem},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {372-383},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/ayan48wb84yjt0np},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Klauck/04,
AUTHOR = {Klauck, Hartmut},
TITLE = {Quantum and classical communication-space tradeoffs from rectangle bounds},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {384-395},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/27l83ge88eaxk1c7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kutten-Patt-Shamir/04,
AUTHOR = {Kutten, Shay and Patt-Shamir, Boaz},
TITLE = {Adaptive stabilization of reactive protocols},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {396-407},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/h6a465v9x48g0mn7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Loding-Madhusudan-Serre/04,
AUTHOR = {L{\"o}ding, Christof and Madhusudan, P. and Serre, Olivier},
TITLE = {Visibly pushdown games},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {408-420},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/pp3vkknkycxa13jx},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mijajlovic-Torp-Smith-OHearn/04,
AUTHOR = {Mijajlovi{\'c}, Ivana and Torp-Smith, Noah and O'Hearn, Peter},
TITLE = {Refinement and separation contexts},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {421-433},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/00gvjl6tg9khrg5d},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Montanari-Puppis/04,
AUTHOR = {Montanari, Angelo and Puppis, Gabriele},
TITLE = {Decidability of MSO theories of tree structures},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {434-446},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/f12kcuw1hhc9byap},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Parthasarathy-Gandhi/04,
AUTHOR = {Parthasarathy, Srinivasan and Gandhi, Rajiv},
TITLE = {Distributed algorithms for coloring and domination in wireless adhoc networks},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {447-459},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/m6rgd4pqpkr37aqd},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ponnuswami-Venkateswaran/04,
AUTHOR = {Ponnuswami, Ashok Kumar and Venkateswaran, H.},
TITLE = {Monotone multilinear Boolean circuits for bipartite perfect matching require exponential size},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {460-468},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/w8ntxpxnq50l1aph},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rademacher-Vempala/04,
AUTHOR = {Rademacher, Luis and Vempala, Santosh},
TITLE = {Testing geometric convexity},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {469-480},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/p74gy4jx7fkd620u},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Thakur-Tripathi/04,
AUTHOR = {Thakur, Mayur and Tripathi, Rahul},
TITLE = {Complexity of linear connectivity problems in directed hypergraphs},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {481-493},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/ey9rdcrf4nlqgpqh},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vardhan-Sen-Viswanathan-Agha/04,
AUTHOR = {Vardhan, Abhay and Sen, Koushik and Viswanathan, Mahesh and Agha, Gul},
TITLE = {Actively learning to verify safety for FIFO automata},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {494-505},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/w8hnmh2dffuucwvy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Venkatesh/04,
AUTHOR = {Venkatesh, G.},
TITLE = {Reasoning about game equilibria using temporal logic},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {506-517},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/e578ft5mxb7ukf5y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Verma/04,
AUTHOR = {Verma, Kumar Neeraj},
TITLE = {Alternation in equational tree automata modulo XOR},
BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)},
SERIES = {LNCS},
VOLUME = {3328},
PAGES = {518-530},
YEAR = {2004},
EDITOR = {Lodaya, Kamal and Mahajan, Meena},
URL = {http://www.springerlink.com/content/g2n0hk4bqrq81uce},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}