@incollection{Karp/98,
AUTHOR = {Karp, Richard M.},
TITLE = {Random graphs, random walks, differential equations and the probabilistic analysis of algorithms},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {1-2},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Janssen-Krizanc-Narayanan-Shende/98,
AUTHOR = {Janssen, Jeanette and Krizanc, Danny and Narayanan, Lata and Shende, Sunil},
TITLE = {Distributed online frequency assignment in cellular networks},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {3-13},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Thorup/98a,
AUTHOR = {Thorup, Mikkel},
TITLE = {Floats, integers, and single source shortest paths},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {14-24},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Habib-Paul-Viennot/98,
AUTHOR = {Habib, Michel and Paul, Christophe and Viennot, Laurent},
TITLE = {A synthesis on partition refinement: A useful routine for strings, graphs, Boolean matrices and automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {25-38},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bradfield/98,
AUTHOR = {Bradfield, J.C.},
TITLE = {Simplifying the modal Mu-calculus alternation hierarchy},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {39-49},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Eiter-Ibaraki-Makino/98,
AUTHOR = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa},
TITLE = {On disguised double Horn functions and extensions},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {50-60},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Demri-Schnoebelen/98,
AUTHOR = {Demri, S. and Schnoebelen, Ph.},
TITLE = {The complexity of propositional linear temporal logics in simple cases},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {61-72},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Barrington-Lu-Miltersen-Skyum/98,
AUTHOR = {Barrington, David A. Mix and Lu, Chi-Jen and Miltersen, Peter Bro and Skyum, Sven},
TITLE = {Searching constant width mazes captures the $AC^0$ hierarchy},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {73-83},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Fortnow-Laplante/98,
AUTHOR = {Fortnow, Lance and Laplante, Sophie},
TITLE = {Nearly optimal language compression using extractors},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {84-93},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Spencer-John/98,
AUTHOR = {Spencer, Joel H. and John, Katherine St.},
TITLE = {Random sparse bit strings at the threshold of adjacency},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {94-104},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Sauerhoff/98,
AUTHOR = {Sauerhoff, Martin},
TITLE = {Lower bounds for randomized read-$k$-times branching programs},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {105-115},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Mazoyer-Rapaport/98a,
AUTHOR = {Mazoyer, Jacques and Rapaport, Ivan},
TITLE = {Inducing an order on cellular automata by a grouping operation},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {116-127},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Manzini-Margara/98a,
AUTHOR = {Manzini, Giovanni and Margara, Luciano},
TITLE = {Attractors of $D$-dimensional linear cellular automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {128-138},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Mereghetti-Pighizzini/98,
AUTHOR = {Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {Optimal simulations between unary automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {139-149},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Mateescu/98,
AUTHOR = {Mateescu, Alexandru},
TITLE = {Shuffle of $\omega$-words: Algebraic aspects},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {150-160},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Buhrman-Melkebeek-Regan-Sivakumar-Strauss/98,
AUTHOR = {Buhrman, Harry and Melkebeek, Dieter van and Regan, Kenneth W. and Sivakumar, D. and Strauss, Martin},
TITLE = {A generalization of resource-bounded measure, with an application},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {161-171},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Arvind-Beigel-Lozano/98,
AUTHOR = {Arvind, V. and Beigel, R. and Lozano, A.},
TITLE = {The complexity of modular graph automorphism},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {172-182},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Libkin-Wong/98,
AUTHOR = {Libkin, Leonid and Wong, Limsoon},
TITLE = {Unary quantifiers, transitive closure, and relations of large degree},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {183-193},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Burgisser/98a,
AUTHOR = {B{\"u}rgisser, Peter},
TITLE = {On the structure of Valiant's complexity classes},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {194-204},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Sieling/98a,
AUTHOR = {Sieling, Detlef},
TITLE = {On the existence of polynomial time approximation schemes for OBDD minimization},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {205-215},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Feigenbaum-Kannan-Vardi-Viswanathan/98,
AUTHOR = {Feigenbaum, J. and Kannan, S. and Vardi, M.Y. and Viswanathan, M.},
TITLE = {Complexity of problems on graphs represented as OBDDs},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {216-226},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Behrens-Waack/98,
AUTHOR = {Behrens, Jan and Waack, Stephan},
TITLE = {Equivalence test and ordering transformation for parity-OBDDs of different variable ordering},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {227-237},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Gropl-Promel-Srivastav/98,
AUTHOR = {Gr{\"o}pl, Clemens and Pr{\"o}mel, Hans J{\"u}rgen and Srivastav, Anand},
TITLE = {Size and structure of random ordered binary decision diagrams},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {238-248},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Vaudenay/98,
AUTHOR = {Vaudenay, Serge},
TITLE = {Provable security for block ciphers by decorrelation},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {249-275},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bazgan-Santha-Tuza/98a,
AUTHOR = {Bazgan, Cristina and Santha, Miklos and Tuza, Zsolt},
TITLE = {On the approximation of finding a(nother) Hamiltonian cycle in cubic Hamiltonian graphs},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {276-286},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Jansen/98a,
AUTHOR = {Jansen, Klaus},
TITLE = {The mutual exclusion scheduling problem for permutation and comparability graphs},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {287-297},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Bshouty-Burroughs/98,
AUTHOR = {Bshouty, Nader H. and Burroughs, Lynn},
TITLE = {Massaging a linear programming solution to give a 2-approximation for a generalization of the vertex cover problem},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {298-308},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Larsen/98c,
AUTHOR = {Larsen, Kim S.},
TITLE = {Partially persistent search trees with transcript operations},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {309-319},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Niwinski-Walukiewicz/98,
AUTHOR = {Niwi{\'n}ski, Damian and Walukiewicz, Igor},
TITLE = {Relating hierarchis of word and tree automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {320-331},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Straubing/98,
AUTHOR = {Straubing, Howard},
TITLE = {Languages defined with modular counting quantifiers},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {332-343},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Jantzen/98,
AUTHOR = {Jantzen, Matthias},
TITLE = {Hierarchies of prinicipal twist-closed trios},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {344-355},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Safer/98,
AUTHOR = {Safer, Taoufik},
TITLE = {Radix representations of algebraic number fields and finite automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {356-365},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Hagerup/98,
AUTHOR = {Hagerup, Torben},
TITLE = {Sorting and searching on the word RAM},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {366-398},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Diallo-Ferreira-Rau-Chaplin/98,
AUTHOR = {Diallo, Mohamadou and Ferreira, Afonso and Rau-Chaplin, Andrew},
TITLE = {Communication-efficient deterministic parallel algorithms for planar point location and 2d Voronoi diagram},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {399-409},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Rub/98,
AUTHOR = {R{\"u}b, Christine},
TITLE = {On Batcher's merge sorts as parallel sorting algorithms},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {410-420},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Gustedt/98,
AUTHOR = {Gustedt, Jens},
TITLE = {Minimum spanning trees for minor-closed graph classes in parallel},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {421-431},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dessmark-Lingas-Olsson-Yamamoto/98,
AUTHOR = {Dessmark, Anders and Lingas, Andrzej and Olsson, Hans and Yamamoto, Hiroaki},
TITLE = {Optimal broadcasting in almost trees and partial $k$-trees},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {432-443},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Schwentick-Barthelmann/98,
AUTHOR = {Schwentick, Thomas and Barthelmann, Klaus},
TITLE = {Local normal forms for first-order logic with applications to games and automata},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {444-454},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Esik/98a,
AUTHOR = {{\'{E}}sik, Z.},
TITLE = {Axiomatizing the equational theory of regular tree languages},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {455-465},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Monti-Peron/98,
AUTHOR = {Monti, Angelo and Peron, Adriano},
TITLE = {A logical characterization of systolic lanuages},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {466-476},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Messner-Toran/98,
AUTHOR = {Messner, Jochen and Tor{\'{a}}n, Jacobo},
TITLE = {Optimal proof systems for propositional logic and complete sets},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {477-487},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Serna-Trevisan-Xhafa/98,
AUTHOR = {Serna, Maria and Trevisan, Luca and Xhafa, Tatos},
TITLE = {The (parallel) approximability of non-Boolean satisfiability problems and restricted integer programming},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {488-498},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Ivanov-Rougemont/98,
AUTHOR = {Ivanov, Sergei and Rougemont, Michel de},
TITLE = {Interactive protocols on the reals},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {499-510},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{di_Crescenzo-Sakurai-Yung/98,
AUTHOR = {di Crescenzo, Giovanni and Sakurai, Kouichi and Yung, Moti},
TITLE = {Result-indistinguishable zero-knowledge proofs: Increased power and constant-round protocols},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {511-521},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{de_Agostino-Silvestri/98,
AUTHOR = {de Agostino, Sergio and Silvestri, Riccardo},
TITLE = {Bounded size dictionary compression: $SC^k$-completeness and $NC$ algorithms},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {522-532},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Meyer-Petit/98,
AUTHOR = {Meyer, Rapha{\"e}l and Petit, Antoine},
TITLE = {Expressive completeness of LTrL on finite traces: An algebraic proof},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {533-543},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Frid/98,
AUTHOR = {Frid, Anna E.},
TITLE = {On uniform DOL words},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {544-554},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Lodaya-Weil/98,
AUTHOR = {Lodaya, K. and Weil, P.},
TITLE = {Series-parallel posets: Algebra, automata and languages},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {555-565},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Kemp/98a,
AUTHOR = {Kemp, Rainer},
TITLE = {On the expected number of nodes at level $k$ in $0$-balanced trees},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {566-576},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Columbic-Kaplan/98,
AUTHOR = {Columbic, Martin Charles and Kaplan, Haim},
TITLE = {Cell flipping in permutation diagrams},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {577-586},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Dorkenoo-Eglin-Leclerc-Remila/98,
AUTHOR = {Dorkenoo, Marius and Eglin-Leclerc, Marie-Christine and R{\'{e}}mila, Eric},
TITLE = {Constructing of non-intersecting colored flows through a planar cellular figure},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {587-595},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Calude-Hertling-Khoussainov-Wang/98,
AUTHOR = {Calude, Cristian S. and Hertling, Peter H. and Khoussainov, Bakhadyr and Wang, Yongge},
TITLE = {Recursively enumerable reals and Chaitin $\Omega$ numbers},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {596-606},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Kosub-Schmitz-Vollmer/98,
AUTHOR = {Kosub, Sven and Schmitz, Heinz and Vollmer, Heribert},
TITLE = {Uniformly defining complexity classes of functions},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {607-617},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}
@incollection{Lapoire/98,
AUTHOR = {Lapoire, Denis},
TITLE = {Recognizability equals monadic second-order definability for sets of graphs of bounded tree-width},
BOOKTITLE = {Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS'98 (Paris, France, February 25-27, 1998)},
SERIES = {LNCS},
VOLUME = {1373},
PAGES = {618-628},
YEAR = {1998},
EDITOR = {Morvan, Michel and Meinel, Christoph and Krob, Daniel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Santa Clara-Singapore-Tokyo},
}