@article{Amir-Benson-Farach-Colton/98, AUTHOR = {Amir, Amihood and Benson, Gary and Farach-Colton, Martin}, TITLE = {Optimal parallel two dimensional text searching on a CREW PRAM}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {1}, PAGES = {1-17}, YEAR = {1998}, KEYWORDS = {analysis of algorithms, multidimensional matching, period, parallel algorithms, string}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Hoepman/98, AUTHOR = {Hoepman, Jaap-Henk}, TITLE = {Self-stabilizing ring orientation using constant space}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {1}, PAGES = {18-39}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Gire-Hoang/98, AUTHOR = {Gire, F. and Hoang, H.K.}, TITLE = {An extension of fixpoint logic with a symmetry-based choice construct}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {1}, PAGES = {40-65}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Frances-Litman/98, AUTHOR = {Frances, Moti and Litman, Ami}, TITLE = {Optimal mistake bound learning is hard}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {1}, PAGES = {66-82}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bernardo-Donatiello-Gorrieri/98, AUTHOR = {Bernardo, Marco and Donatiello, Lorenzo and Gorrieri, Roberto}, TITLE = {A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {2}, PAGES = {83-154}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Eiter-Ibaraki-Makino/98b, AUTHOR = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa}, TITLE = {Double Horn functions}, JOURNAL = {Inf.~Comput.}, VOLUME = {144}, NUMBER = {2}, PAGES = {155-190}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }