@article{Cai-Chakaravarthy-Hemaspaandra-Ogihara/05,
AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T. and Hemaspaandra, Lane A. and Ogihara, Mitsunori},
TITLE = {Competing provers yield improved Karp-Lipton collapse results},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {1-23},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {structural complexity, competing provers, nonuniform complexity, symmetric alternation, karp-lipton theorem, yap's theorem, k{\"a}mper-afk theorem, lowness},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Albers-Buttner/05,
AUTHOR = {Albers, Susanne and B{\"u}ttner, Markus},
TITLE = {Integrated prefetching and caching in single and parallel disk systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {24-39},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {magnetic disks, prefetching, caching, approximation algorithms, linear program},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Metivier-Saheb-Djahromi-Zemmari/05,
AUTHOR = {M{\'e}tivier, Yves and Saheb-Djahromi, Nasser and Zemmari, Akka},
TITLE = {Locally guided randomized elections in trees: The totally fair case},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {40-55},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {distributed algorithm, election, probabilistic analysis, randomized algorithm, stochastic process},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Galota-Vollmer/05,
AUTHOR = {Galota, Matthias and Vollmer, Heribert},
TITLE = {Functions computable in polynomial space},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {56-70},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {polynomial space, complexity class of functions, bottleneck machines, leaf languages, arithmetic circuits, straight-line programs},
URL = {http://dx.doi.org/10.1016/j.ic.2005.02.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Colazzo-Ghelli/05,
AUTHOR = {Colazzo, Dario and Ghelli, Giorgio},
TITLE = {Subtyping, recursion, and parametric polymorphism in kernel Fun},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {2},
PAGES = {71-147},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {type theory and type systems, subtyping, recursive types, kernel fun},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hirshfeld-Rabinovich/05,
AUTHOR = {Hirshfeld, Yoram and Rabinovich, Alexander},
TITLE = {Timer formulas and decidable metric temporal logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {2},
PAGES = {148-178},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.12.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}