@article{Andreev-Clementi-Rolim/99,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Worst-case hardness suffices for derandomization: A new method for hardness-randomness trade-offs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {3-18},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bartal-Leonardi/99,
AUTHOR = {Bartal, Yair and Leonardi, Stefano},
TITLE = {On-line routing in all-optical networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {19-39},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bassino-Beal-Perrin/99,
AUTHOR = {Bassino, Fr{\'{e}}d{\'{e}}rique and B{\'{e}}al, Marie-Pierre and Perrin, Dominique},
TITLE = {Enumerative sequences of leaves and nodes in rational trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {41-60},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Durand/99a,
AUTHOR = {Durand, Bruno},
TITLE = {Tilings and quasiperiodicity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {61-75},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Erdos-Steel-Szekely-Warnow/99,
AUTHOR = {Erd{\H{o}}s, P{\'{e}}ter L. and Steel, Michael A. and Sz{\'{e}}kely, L{\'{a}}szl{\'{o}} A. and Warnow, Tandy J.},
TITLE = {A few logs suffice to build (almost) all trees: Part II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {77-118},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Erlebach-Jansen-Kaklamanis-Mihail-Persiano/99,
AUTHOR = {Erlebach, Thomas and Jansen, Klaus and Kaklamanis, Christos and Mihail, Milena and Persiano, Pino},
TITLE = {Optimal wavelength routing on directed fiber trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {119-137},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Krumke-Noltemeier-Wirth-Marathe-Ravi-Ravi-Sundaram/99,
AUTHOR = {Krumke, Sven O. and Noltemeier, Hartmut and Wirth, Hans-C. and Marathe, Madhav V. and Ravi, R. and Ravi, S.S. and Sundaram, R.},
TITLE = {Improving spanning trees by upgrading nodes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {139-155},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Manzini-Margara/99a,
AUTHOR = {Manzini, Giovanni and Margara, Luciano},
TITLE = {A complete and efficiently computable topological classification of $D$-dimensional linear cellular automata over $Z_m$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {157-177},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Apt/99,
AUTHOR = {Apt, Krzysztof R.},
TITLE = {The essence of constraint propagation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {179-210},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bouajjani-Habermehl/99,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter},
TITLE = {Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {211-250},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Burkart-Steffen/99,
AUTHOR = {Burkart, Olaf and Steffen, Bernhard},
TITLE = {Model checking the full modal mu-calculus for infinite sequential processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {251-270},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Vink-Rutten/99,
AUTHOR = {de Vink, E.P. and Rutten, J.J.M.M.},
TITLE = {Bisimulation for probabilistic transition systems: A coalgebraic approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {271-293},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{di_Gianantonio/99,
AUTHOR = {di Gianantonio, Pietro},
TITLE = {An abstract data type for real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {295-326},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fu/99,
AUTHOR = {Fu, Yuxi},
TITLE = {Variations on mobile processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {327-368},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Henzinger-Kopke/99,
AUTHOR = {Henzinger, Thomas A. and Kopke, Peter W.},
TITLE = {Discrete-time control for rectangular hybrid automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {369-392},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Honda-Yoshida/99,
AUTHOR = {Honda, Kohei and Yoshida, Nobuko},
TITLE = {Game-theoretic analysis of call-by-value computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {393-456},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sangiorgi/99,
AUTHOR = {Sangiorgi, Davide},
TITLE = {The name discipline of uniform receptiveness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {221},
NUMBER = {1-2},
PAGES = {457-493},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}