@article{Kranakis-Krizanc-Luccio/01,
AUTHOR = {Kranakis, E. and Krizanc, D. and Luccio, F.L.},
TITLE = {On recognizing a string on an anonymous ring},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {1},
PAGES = {3-12},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Barbosa-Benevides-Franca/01,
AUTHOR = {Barbosa, V.C. and Benevides, M.R.F. and Fran{\c{c}}a, F.M.G.},
TITLE = {Sharing resources at nonuniform access rates},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {1},
PAGES = {13-26},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lecomte-Rigo/01,
AUTHOR = {Lecomte, P.B.A. and Rigo, M.},
TITLE = {Numeration systems on a regular language},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {1},
PAGES = {27-44},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Noll-Vogler/01,
AUTHOR = {Noll, T. and Vogler, H.},
TITLE = {The universality of higher-order attributed tree transducers},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {1},
PAGES = {45-75},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Mitzenmacher/01,
AUTHOR = {Mitzenmacher, M.},
TITLE = {Analyses of load stealing models based on families of differential equations},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {1},
PAGES = {77-98},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Rajasekaran/01a,
AUTHOR = {Rajasekaran, S.},
TITLE = {A framework for simple sorting algorithms on parallel disk systems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {2},
PAGES = {101-114},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Arora-Blumofe-Plaxton/01a,
AUTHOR = {Arora, N.S. and Blumofe, R.D. and Plaxton, C.G.},
TITLE = {Thread scheduling for multiprogrammed multiprocessors},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {2},
PAGES = {115-144},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Dittrich-Hutchinson-Maheshwari/01,
AUTHOR = {Dittrich, W. and Hutchinson, D.A. and Maheshwari, A.},
TITLE = {Blocking in parallel multisearch problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {2},
PAGES = {145-189},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kirsten-Richomme/01,
AUTHOR = {Kirsten, D. and Richomme, G.},
TITLE = {Decidability equivalence between the star problem and the finite power problem in trace monoids},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {3},
PAGES = {193-227},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Al-Ammal-Goldberg-MacKenzie/01,
AUTHOR = {Al-Ammal, H. and Goldberg, L.A. and MacKenzie, P.},
TITLE = {An improved stability bound for binary exponential backoff},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {3},
PAGES = {229-244},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fortnow-Pavan-Selman/01,
AUTHOR = {Fortnow, L. and Pavan, A. and Selman, A.L.},
TITLE = {Distributionally hard languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {3},
PAGES = {245-261},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Honkala/01b,
AUTHOR = {Honkala, J.},
TITLE = {A polynomial bound for certain cases of the D0L sequence equivalence problem},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {3},
PAGES = {263-272},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{de_la_Torre-Kruskal/01,
AUTHOR = {de la Torre, P. and Kruskal, C.P.},
TITLE = {Polynomially improved efficiency for fast parallel single-source lexicographic depth-first search, breadth-first search, and topological-first search},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {4},
PAGES = {275-298},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Caucal-Knapik/01,
AUTHOR = {Caucal, D. and Knapik, T.},
TITLE = {An internal presentation of regular graphs by prefix-recognizable graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {4},
PAGES = {299-336},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kim-Shin/01,
AUTHOR = {Kim, Sung Kwon and Shin, Chan-Su},
TITLE = {Computing the optimal bridge between two polygons},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {4},
PAGES = {337-352},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Becker-Lari-Lucertini-Simeone/01,
AUTHOR = {Becker, R. and Lari, I. and Lucertini, M. and Simeone, B.},
TITLE = {A polynomial-time algorithm for max-min partitioning of ladders},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {4},
PAGES = {353-374},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Carpi-Luca-Varricchio/01a,
AUTHOR = {Carpi, A. and Luca, A. de and Varricchio, S.},
TITLE = {Special factors and uniqueness conditions in rational trees},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {4},
PAGES = {375-395},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gardner-Miller-Pritikin-Sudborough/01,
AUTHOR = {Gardner, L. and Miller, Z. and Pritikin, D. and Sudborough, I.H.},
TITLE = {One-to-many embeddings of hypercubes into Cayley graphs generated by reversals},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {5},
PAGES = {399-431},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cucker-Dedieu/01,
AUTHOR = {Cucker, F. and Dedieu, J.-P.},
TITLE = {Decision problems and round-off machines},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {5},
PAGES = {433-452},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Li/01g,
AUTHOR = {Li, K.},
TITLE = {Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {5},
PAGES = {453-469},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Agrawal-Thierauf/01,
AUTHOR = {Agrawal, M. and Thierauf, T.},
TITLE = {The satisfiability problem for probabilistic ordered branching programs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {5},
PAGES = {471-487},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bornstein-Litman-Maggs-Sitaraman-Yatzkar/01,
AUTHOR = {Bornstein, C.F. and Litman, A. and Maggs, B.M. and Sitaraman, R.K. and Yatzkar, T.},
TITLE = {On the bisection width and expansion of butterfly networks},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {6},
PAGES = {491-518},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Shavit-Upfal-Zemach/01,
AUTHOR = {Shavit, N. and Upfal, E. and Zemach, A.},
TITLE = {A wait-free sorting algorithm},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {6},
PAGES = {519-544},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Holton-Zamboni/01,
AUTHOR = {Holton, C. and Zamboni, L.Q.},
TITLE = {Directed graphs and substitutions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {6},
PAGES = {545-564},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bruda-Akl/01c,
AUTHOR = {Bruda, S.D. and Akl, S.G.},
TITLE = {Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {34},
NUMBER = {6},
PAGES = {565-576},
YEAR = {2001},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}