@article{Kfoury-Ronchi_della_Rocca-Tiuryn-Urzyczyn/99, AUTHOR = {Kfoury, A.J. and Ronchi della Rocca, S. and Tiuryn, J. and Urzyczyn, P.}, TITLE = {Alpha-conversion and typability}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {1}, PAGES = {1-21}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2756}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Yamanishi/99, AUTHOR = {Yamanishi, Kenji}, TITLE = {Distributed cooperative Bayesian learning strategies}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {1}, PAGES = {22-56}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2753}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Guha-Khuller/99, AUTHOR = {Guha, Sudipto and Khuller, Samir}, TITLE = {Improved methods for approximating node weighted Steiner trees and connected dominating sets}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {1}, PAGES = {57-74}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2754}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Moser-Melliar-Smith/99, AUTHOR = {Moser, Louise E. and Melliar-Smith, P.M.}, TITLE = {Byzantine-resistant total ordering algorithms}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {1}, PAGES = {75-111}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2770}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Blum-Koch/99, AUTHOR = {Blum, Norbert and Koch, Robert}, TITLE = {Greibach normal form transformation revisited}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {1}, PAGES = {112-118}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2772}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Gargantini-Mandrioli-Morzenti/99, AUTHOR = {Gargantini, Angelo and Mandrioli, Dino and Morzenti, Angelo}, TITLE = {Dealing with zero-time transitions in axiom systems}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {119-131}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2779}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Gerth-Kuiper-Peled-Penczek/99, AUTHOR = {Gerth, Rob and Kuiper, Ruurd and Peled, Doron and Penczek, Wojciech}, TITLE = {A partial order approach to branching time logic model checking}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {132-152}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2778}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Dezani-Ciancaglini-Tiuryn-Urzyczyn/99, AUTHOR = {Dezani-Ciancaglini, Mariangiola and Tiuryn, Jerzy and Urzyczyn, Pawe{\l}}, TITLE = {Discrimination by parallel observers: The algorithm}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {153-186}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2773}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Jakoby-Reischuk-Schindelhauer/99, AUTHOR = {Jakoby, Andreas and Reischuk, R{\"u}diger and Schindelhauer, Christian}, TITLE = {Malign distributions for average case circuit complexity}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {187-208}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, KEYWORDS = {average complexity, circuit complexity, boolean functions, asymptotic complexity, malign distributions, lower bounds}, URL = {http://dx.doi.org/10.1006/inco.1998.2776}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Kesten-Pnueli-Sifakis-Yovine/99, AUTHOR = {Kesten, Y. and Pnueli, A. and Sifakis, J. and Yovine, S.}, TITLE = {Decidable integration graphs}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {209-243}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2774}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Borodin-El-Yaniv/99, AUTHOR = {Borodin, Allan and El-Yaniv, Ran}, TITLE = {On randomization in on-line computation}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {244-267}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2775}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, } @article{Grumbach-Milo/99, AUTHOR = {Grumbach, St{\'e}phane and Milo, Tova}, TITLE = {An algebra for pomsets}, JOURNAL = {Inf.~Comput.}, VOLUME = {150}, NUMBER = {2}, PAGES = {268-306}, YEAR = {1999}, EDITOR = {Meyer, Albert R.}, URL = {http://dx.doi.org/10.1006/inco.1998.2777}, PUBLISHER = {Academic Press}, ADDRESS = {Orlando}, }