@article{Akhavi/03, AUTHOR = {Akhavi, Ali}, TITLE = {The optimal LLL algorithm is still polynomial in fixed dimension}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {3-23}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Berrizbeitia-Odreman-Ayuso/03, AUTHOR = {Berrizbeitia, Pedro and Odrem{\'{a}}n, Mauricio and Ayuso, Juan Tena}, TITLE = {Primality test for nummbers $M$ with a large power of 5 dividing $M^4-1$}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {25-36}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Carton-Michel/03, AUTHOR = {Carton, Olivier and Michel, Max}, TITLE = {Unambiguous B{\"u}chi automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {37-81}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Cicerone-Stefano-Frigioni-Nanni/03, AUTHOR = {Cicerone, Serafino and Stefano, Gabriele Di and Frigioni, Daniele and Nanni, Umberto}, TITLE = {A fully dynamic algorithm for distributed shortest paths}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {83-102}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Cohen-Colbourn/03, AUTHOR = {Cohen, Myra B. and Colbourn, Charles J.}, TITLE = {Optimal and pessimal orderings of Steiner triple systems in disk arrays}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {103-117}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Corteel-Valencia-Pabon-Gardy-Barth-Denise/03, AUTHOR = {Corteel, Sylvie and Valencia-Pabon, Mario and Gardy, Dani{\`{e}}le and Barth, Dominique and Denise, Alain}, TITLE = {The permutation-path coloring problem on trees}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {119-143}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{de_Figueiredo-Meidanis-Mello-Ortiz/03, AUTHOR = {de Figueiredo, Celina M.H. and Meidanis, Jo{\~a}o and Mello, C{\'{e}}lia Picinin de and Ortiz, Carmen}, TITLE = {Decompositions for the edge colouring of reduced indifference graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {145-155}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Fernandez-Mackie/03, AUTHOR = {Fern{\'{a}}ndez, Maribel and Mackie, Ian}, TITLE = {Operational equivalence for interaction nets}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {157-181}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Fernandez-Baca/03, AUTHOR = {Fern{\'{a}}ndez-Baca, David}, TITLE = {Decomposable multi-parameter matroid optimization problems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {183-198}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{von_zur_Gathen-Lucking/03, AUTHOR = {von zur Gathen, Joachim and L{\"u}cking, Thomas}, TITLE = {Subresultants revisited}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {199-239}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Goerdt-Molloy/03, AUTHOR = {Goerdt, Andreas and Molloy, Mike}, TITLE = {Analysis of edge deletion processes on faulty random regular graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {241-260}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Grabner-Prodinger/03, AUTHOR = {Grabner, Peter J. and Prodinger, Arnold Knopfmacher Helmut}, TITLE = {Combinatorics of geometrically distributed random variables: Run statistics}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {261-270}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Gutierrez/03, AUTHOR = {Guti{\'{e}}rrez, Claudio}, TITLE = {Equations in free semigroups with involution and their relation to equations in free groups}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {271-280}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Kabanets/03, AUTHOR = {Kabanets, Valentine}, TITLE = {Almost $k$-wise independence and hard Boolean functions}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {281-295}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Laroussinie-Schnoebelen-Turuani/03, AUTHOR = {Laroussinie, F. and Schnoebelen, Ph. and Turuani, M.}, TITLE = {On the expressivity and complexity of quantitative branching-time temporal logics}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {297-315}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Louchard-Turner/03, AUTHOR = {Louchard, Guy and Turner, John W.}, TITLE = {Generalized covariances of multi-dimensional Brownian excursion local times}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {317-336}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Mayr/03a, AUTHOR = {Mayr, Richard}, TITLE = {Undecidable problems in unreliable computations}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {337-354}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Miyazawa-Wakabayashi/03, AUTHOR = {Miyazawa, F.K. and Wakabayashi, Y.}, TITLE = {Cube packing}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {355-366}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Moura/03, AUTHOR = {Moura, Lucia}, TITLE = {Rank inequalities and separation algorithms for packing designs and sparse triple systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {367-384}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Opatrny/03, AUTHOR = {Opatrny, Jaroslav}, TITLE = {Uniform multi-hop all-to-all optical routings in rings}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {385-397}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Stevens/03, AUTHOR = {Stevens, Brett}, TITLE = {The anti-Oberwolfach solution: Pancyclic 2-factorizations of complete graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {399-424}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Taylor-Durand/03, AUTHOR = {Taylor, Stephen and Durand, Marianne}, TITLE = {Emerging behavior as binary search trees are symmetrically updated}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {425-445}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Vallee/03, AUTHOR = {Vall{\'{e}}e, Brigitte}, TITLE = {Dynamical analysis of a class of Euclidean algorithms}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {447-486}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Zito/03, AUTHOR = {Zito, Michele}, TITLE = {Smalll maximal matchings in random graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {297}, NUMBER = {1-3}, PAGES = {487-507}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, }