@article{Castagna-Vitek-Nardelli/05,
AUTHOR = {Castagna, G. and Vitek, J. and Nardelli, F. Zappa},
TITLE = {The Seal calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {1-54},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kalnishkan-Vovk-Vyugin/05,
AUTHOR = {Kalnishkan, Yuri and Vovk, Vladimir and Vyugin, Michael V.},
TITLE = {How many strings are easy to predict?},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {55-71},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.04.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Reynolds/05,
AUTHOR = {Reynolds, Mark},
TITLE = {An axiomatization of PCTL*},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {72-119},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {temporal logic, axiomatization, branching time},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Choppella-Haynes/05,
AUTHOR = {Choppella, Venkatesh and Haynes, Christopher T.},
TITLE = {Source-tracking unification},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {121-159},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.013},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Krause-Savicky-Wegener/05,
AUTHOR = {Krause, Matthias and Savick{\'y}, Petr and Wegener, Ingo},
TITLE = {On the influence of the variable ordering for algorithmic learning using OBDDs},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {160-177},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Nakamura/05,
AUTHOR = {Nakamura, Atsuyoshi},
TITLE = {An efficient query learning algorithm for ordered binary decision diagrams},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {178-198},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ordered binary decision diagram, branching program, query learning, exact learning, DFA},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Akiyama-Bassino-Frougny/05,
AUTHOR = {Akiyama, Shigeki and Bassino, Fr{\'e}d{\'e}rique and Frougny, Christiane},
TITLE = {Arithmetic Meyer sets and finite automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {199-215},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chen-Chor-Fellows-Huang-Juedes-Kanj-Xia/05,
AUTHOR = {Chen, Jianer and Chor, Benny and Fellows, Mike and Huang, Xiuzhen and Juedes, David and Kanj, Iyad A. and Xia, Ge},
TITLE = {Tight lower bounds for certain parameterized $NP$-hard problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {216-231},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}