@incollection{Chatterjee-Henzinger/05,
AUTHOR = {Chatterjee, Krishnendu and Henzinger, Thomas},
TITLE = {Semiperfect-information games},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {1-18},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Impagliazzo/05,
AUTHOR = {Impagliazzo, Russell},
TITLE = {Computational complexity since 1980},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {19-47},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Seidel/05,
AUTHOR = {Seidel, Raimund},
TITLE = {Developments in data structure research during the first 25 years of FSTTCS},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {48-59},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shankar/05,
AUTHOR = {Shankar, Natarajan},
TITLE = {Inference systems for logical algorithms},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {60-78},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Walukiewicz/05,
AUTHOR = {Walukiewicz, Igor},
TITLE = {From logic to games},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {79-91},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agrawal/05,
AUTHOR = {Agrawal, Manindra},
TITLE = {Proving lower bounds via pseudo-random generators},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {92-105},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Spencer/05,
AUTHOR = {Spencer, Joel},
TITLE = {Erd{\H{o}}s magic},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {106-106},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Edwards-Varadarajan/05,
AUTHOR = {Edwards, Michael and Varadarajan, Kasturi},
TITLE = {No coreset, no cry: II},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {107-115},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{de_Berg/05,
AUTHOR = {de Berg, Mark},
TITLE = {Improved bounds on the union complexity of fat objects},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {116-127},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Han-Lu/05,
AUTHOR = {Chen, Taolue and Han, Tingting and Lu, Jian},
TITLE = {On the bisimulation congruence in $\chi$-calculus},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {128-139},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Godskesen-Hildebrandt/05,
AUTHOR = {Godskesen, Jens Chr. and Hildebrandt, Thomas},
TITLE = {Extending Howe's method to early bisimulations for typed mobile embedded resources with local names},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {140-151},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kumar-Rudra/05,
AUTHOR = {Kumar, Vijay and Rudra, Atri},
TITLE = {Approximation algorithms for wavelength assignment},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {152-163},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hassin-Segev/05a,
AUTHOR = {Hassin, Refael and Segev, Danny},
TITLE = {The set cover with pairs problem},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {164-176},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Matos/05,
AUTHOR = {Matos, Ana Almeida},
TITLE = {Non-disclosure for distributed mobile code},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {177-188},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dal_Lago-Hofmann/05,
AUTHOR = {Dal Lago, Ugo and Hofmann, Martin},
TITLE = {Quantitative models and implicit complexity},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {189-200},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Madhusudan-Thiagarajan-Yang/05,
AUTHOR = {Madhusudan, P. and Thiagarajan, P.S. and Yang, Shaofa},
TITLE = {The MSO theory of connectedly communicating processes},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {201-212},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kretinsky-Rehak-Strejcek/05,
AUTHOR = {K{\v{r}}et{\'{i}}nsk{\'y}, Mojm{\'{i}}r and {\v{R}}eh{\'a}k, Vojt{\v{e}}ch and Strej{\v{c}}ek, Jan},
TITLE = {Reachability of Hennessy-Milner properties for weakly extended PRS},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {213-224},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zhang-Sipma-Manna/05,
AUTHOR = {Zhang, Ting and Sipma, Henny B. and Manna, Zohar},
TITLE = {Decision procedures for queues with integer constraints},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {225-237},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Allender-Datta-Roy/05,
AUTHOR = {Allender, Eric and Datta, Samir and Roy, Sambuddha},
TITLE = {The directed planar reachability problem},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {238-249},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gu-Lutz-Moser/05,
AUTHOR = {Gu, Xiaoyang and Lutz, Jack and Moser, Philippe},
TITLE = {Dimensions of Copeland-Erd{\H{o}}s sequences},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {250-260},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mysore-Pnueli/05,
AUTHOR = {Mysore, Venkatesh and Pnueli, Amir},
TITLE = {Refining the undecidability frontier of hybrid automata},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {261-272},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berard-Cassez-Haddad-Lime-Roux/05,
AUTHOR = {B{\'e}rard, Beatrice and Cassez, Franck and Haddad, Serge and Lime, Didier and Roux, Olivier},
TITLE = {When are timed automata weakly timed bisimilar to time Petri nets?},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {273-284},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Muthukrishnan/05,
AUTHOR = {Muthukrishnan, S.},
TITLE = {Subquadratic algorithms for workload-aware Haar wavelet synopses},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {285-296},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ganguly-Kesh-Saha/05,
AUTHOR = {Ganguly, Sumit and Kesh, Deepanjan and Saha, Chandan},
TITLE = {Practical algorithms for tracking database join sizes},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {297-309},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Krcal-Pelanek/05,
AUTHOR = {Kr{\v{c}}{\'a}l, Pavel and Pel{\'a}nek, Radek},
TITLE = {On sampled semantics of timed systems},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {310-321},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{DSouza-Mohan/05,
AUTHOR = {D'Souza, Deepak and Mohan, M. Raj},
TITLE = {Eventual timed automata},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {322-334},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adsul-Mukund-Kumar-Narayanan/05,
AUTHOR = {Adsul, Bharat and Mukund, Madhavan and Kumar, K. Narayan and Narayanan, Vasumathi},
TITLE = {Causal closure for MSC languages},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {335-347},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouajjani-Esparza-Schwoon-Strejcek/05,
AUTHOR = {Bouajjani, Ahmed and Esparza, Javier and Schwoon, Stefan and Strej{\v{c}}ek, Jan},
TITLE = {Reachability analysis of multithreaded software with asynchronous communication},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {348-359},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baltz-Dubhashi-Tansini-Srivastav-Werth/05,
AUTHOR = {Baltz, Andreas and Dubhashi, Devdatt and Tansini, Libertad and Srivastav, Anand and Werth, S{\"o}ren},
TITLE = {Probabilistic analysis for a multiple depot vehicle routing problem},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {360-371},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Kucera/05,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Computing the expected accumulated reward and gain for a subclass of infinite Markov chains},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {372-383},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reynolds/05a,
AUTHOR = {Reynolds, Mark},
TITLE = {Towards a CTL$^*$ tableau},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {384-395},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{French/05,
AUTHOR = {French, Tim},
TITLE = {Bisimulation quantified logics: Undecidability},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {396-407},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jayanti-Petrovic/05,
AUTHOR = {Jayanti, Prasad and Petrovic, Srdjan},
TITLE = {Logarithmic-time single deleter, multiple inserter wait-free queues and stacks},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {408-419},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Peri-Mittal/05,
AUTHOR = {Peri, Sathya and Mittal, Neeraj},
TITLE = {Monitoring stable properties in dynamic peer-to-peer distributed systems},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {420-431},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Chevalier-Markey/05,
AUTHOR = {Bouyer, Patricia and Chevalier, Fabrice and Markey, Nicolas},
TITLE = {On the expressiveness of TPTL and MTL},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {432-443},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Krishna-Pandya/05,
AUTHOR = {Krishna, Shankara Narayanan and Pandya, Paritosh K.},
TITLE = {Modal strength reduction in quantified discrete duration calculus},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {444-456},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fernau-Kaufmann-Poths/05,
AUTHOR = {Fernau, Henning and Kaufmann, Michael and Poths, Mathias},
TITLE = {Comparing trees via crossing minimization},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {457-469},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Srba/05a,
AUTHOR = {Srba, Ji{\v{r}}{\'{i}}},
TITLE = {On counting the number of consistent genotype assignments for pedigrees},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {470-482},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goller-Lohrey/05,
AUTHOR = {G{\"o}ller, Stefan and Lohrey, Markus},
TITLE = {Fixpoint logics on hierarchical structures},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {483-494},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Engelfriet-Maneth/05,
AUTHOR = {Engelfriet, Joost and Maneth, Sebastian},
TITLE = {The equivalence problem for deterministic MSO tree transducers is decidable},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {495-504},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Codenotti-McCune-Penumatcha-Varadarajan/05,
AUTHOR = {Codenotti, Bruno and McCune, Benton and Penumatcha, Sriram and Varadarajan, Kasturi},
TITLE = {Market equilibrium for CES exchange economies: Existence, multiplicity, and computation},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {505-516},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jagadeesan-Nadathur-Saraswat/05,
AUTHOR = {Jagadeesan, Radha and Nadathur, Gopalan and Saraswat, Vijay},
TITLE = {Testing concurrent systems: An interpretation of intuitionistic logic},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {517-528},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arai-Moser/05,
AUTHOR = {Arai, Toshiyasu and Moser, Georg},
TITLE = {Proofs of termination of rewrite systems for polytime functions},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {529-540},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kucera-Strazovsky/05,
AUTHOR = {Ku{\v{c}}era, Anton{\'{i}}n and Stra{\v{z}}ovsk{\'y}, Old{\v{r}}ich},
TITLE = {On the controller synthesis for finite-state Markov decision processes},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {541-552},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{DHondt-Panangaden/05,
AUTHOR = {D'Hondt, Ellie and Panangaden, Prakash},
TITLE = {Reasoning about quantum knowledge},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {553-564},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}