@incollection{Steffen/97,
AUTHOR = {Steffen, Bernhard},
TITLE = {Unifying models},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {1-20},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Brodal/97,
AUTHOR = {Brodal, Gert St{\o}lting},
TITLE = {Predecessor queries in dynamic integer sets},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {21-32},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Franciosa-Frigioni-Giaccio/97,
AUTHOR = {Franciosa, Paolo Giulio and Frigioni, Daniele and Giaccio, Roberto},
TITLE = {Semi-dynamic shortest paths and breadth-first search in digraphs},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {33-46},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Koch-Blum/97,
AUTHOR = {Koch, Robert and Blum, Norbert},
TITLE = {Greibach normal form transformation, revisited},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {47-54},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hromkovic-Seibert-Wilke/97,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Seibert, Sebastian and Wilke, Thomas},
TITLE = {Translating regular expressions into small $\varepsilon$-free nondeterministic finite automata},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {55-66},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1200&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fiorio-Gustedt/97,
AUTHOR = {Fiorio, Christophe and Gustedt, Jens},
TITLE = {Memory management for Union-Find algorithms},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {67-79},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Schroder/97,
AUTHOR = {Schr{\"o}der, Mathias},
TITLE = {Fast online multiplication of real numbers},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {81-92},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hempel-Wechsung/97,
AUTHOR = {Hempel, Harald and Wechsung, Gerd},
TITLE = {The operators min and max on the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {93-104},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buhrman-Fortnow/97,
AUTHOR = {Buhrman, Harry and Fortnow, Lance},
TITLE = {Resource-bounded Kolmogorov complexity revisited},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {105-116},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Duris-Hromkovic-Rolim-Schnitger/97,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Hromkovi{\v{c}}, Juraj and Rolim, Jos{\'{e}} D.P. and Schnitger, Georg},
TITLE = {Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial-time computations},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {117-128},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Liskiewicz/97,
AUTHOR = {Li{\'s}kiewicz, Maciej},
TITLE = {Interactive proof systems with public coin: Lower space bounds and hierarchies of complexity classes},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {129-140},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bertram-Kretzberg-Lefmann/97,
AUTHOR = {Bertram-Kretzberg, Claudia and Lefmann, Hanno},
TITLE = {MOD$_p$-tests, almost independence and small probability spaces},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {141-152},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{de_Alfaro-Kapur-Manna/97,
AUTHOR = {de Alfaro, Luca and Kapur, Arjun and Manna, Zohar},
TITLE = {Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {153-164},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{de_Alfaro/97,
AUTHOR = {de Alfaro, Luca},
TITLE = {Temporal logics for the specification of performance and reliability},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {165-176},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Weise-Lenzkes/97,
AUTHOR = {Weise, Carsten and Lenzkes, Dirk},
TITLE = {Efficient scaling-invariant checking of timed bisimulation},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {177-188},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dietzfelbinger/97,
AUTHOR = {Dietzfelbinger, Martin},
TITLE = {Gossiping and broadcasting versus computing functions in networks},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {189-200},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Waack/97,
AUTHOR = {Waack, Stephan},
TITLE = {On the descriptive and algorithmic power of parity ordered binary decision diagrams},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {201-212},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Meinel-Slobodova/97,
AUTHOR = {Meinel, Christoph and Slobodov{\'{a}}, Anna},
TITLE = {A reducibility concept for problems defined in terms of ordered binary decision diagrams},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {213-224},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Case-Kinber-Sharma-Stephan/97,
AUTHOR = {Case, John and Kinber, Efim and Sharma, Arun and Stephan, Frank},
TITLE = {On the classification of computable languages},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {225-236},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kern-Isberner/97,
AUTHOR = {Kern-Isberner, Gabriele},
TITLE = {A conditional-logical approach to minimum cross-entropy},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {237-248},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Gradel-Otto-Rosen/97,
AUTHOR = {Gr{\"a}del, Erich and Otto, Martin and Rosen, Eric},
TITLE = {Undecidability results on two-variable logics},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {249-260},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Gaubert-Plus/97,
AUTHOR = {Gaubert, St{\'{e}}phane and Plus, Max},
TITLE = {Methods and applications of (max,+) linear algebra},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {261-282},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Matz/97,
AUTHOR = {Matz, Oliver},
TITLE = {Regular expressions and context-free grammars for picture languages},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {283-294},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Goldstine-Leung-Wotschke/97,
AUTHOR = {Goldstine, Jonathan and Leung, Hing and Wotschke, Detlev},
TITLE = {Measuring nondeterminism in pushdown automata},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {295-306},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Nickelsen/97,
AUTHOR = {Nickelsen, Arfst},
TITLE = {On polynomially $D$-verbose sets},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {307-318},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hemaspaandra-Hemaspaandra-Hempel/97a,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Hempel, Harald},
TITLE = {A downward translation in the polynomial hierarchy},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {319-328},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Reinhardt/97,
AUTHOR = {Reinhardt, Klaus},
TITLE = {Strict sequential $P$-completeness},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {329-338},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lange/97,
AUTHOR = {Lange, Klaus-J{\"o}rn},
TITLE = {An unambiguous class possessing a complete set},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {339-350},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Flammini/97,
AUTHOR = {Flammini, Michele},
TITLE = {Deadlock-free interval routing schemes},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {351-362},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kirousis-Kranakis-Krizanc-Pelc/97,
AUTHOR = {Kirousis, Lefteris M. and Kranakis, Evangelos and Krizanc, Danny and Pelc, Andrzej},
TITLE = {Power consumption in packet radio networks},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {363-374},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Karg-Kobler-Schuler/97,
AUTHOR = {Karg, Christoph and K{\"o}bler, Johannes and Schuler, Rainer},
TITLE = {The complexity of generating test instances},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {375-386},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Andreev-Clementi-Rolim/97,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Efficient constructions of hitting sets for systems of linear functions},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {387-398},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Biehl-Meyer/97,
AUTHOR = {Biehl, Ingrid and Meyer, Bernd},
TITLE = {Protocols for collusion-secure asymmetric fingerprinting},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {399-412},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Montanari-Pistore/97,
AUTHOR = {Montanari, Ugo and Pistore, Marco},
TITLE = {Minimal transition systems for history-preserving bisimulation},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {413-425},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cattaneo-Formenti-Manzini-Margara/97,
AUTHOR = {Cattaneo, Gianpiero and Formenti, Enrico and Manzini, Giovanni and Margara, Luciano},
TITLE = {On ergodic linear cellular automata over $Z_m$},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {427-438},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Durand-Lose/97,
AUTHOR = {Durand-Lose, J{\'{e}}r{\^{o}}me Olivier},
TITLE = {Intrinsic universality of a 1-dimensional reversible cellular automaton},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {439-450},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buss-Frandsen-Shallit/97,
AUTHOR = {Buss, Jonathan F. and Frandsen, Gudmund S. and Shallit, Jeffrey O.},
TITLE = {The computational complexity of some problems of linear algebra},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {451-462},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Schwentick/97,
AUTHOR = {Schwentick, Thomas},
TITLE = {Algebraic and logical characterizations of deterministic linear time classes},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {463-474},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ruppert/97,
AUTHOR = {Ruppert, Eric},
TITLE = {Finding the $k$ shortest paths in parallel},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {475-486},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dahlhaus/97,
AUTHOR = {Dahlhaus, Elias},
TITLE = {Sequential and parallel algorithms on compactly represented chordal and strongly chordal graphs},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {487-498},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Prisner/97,
AUTHOR = {Prisner, Erich},
TITLE = {Distance approximating spanning trees},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {499-510},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Feldmann-Monien-Mysliwietz-Tschoke/97,
AUTHOR = {Feldmann, Rainer and Monien, Burkhard and Mysliwietz, Peter and Tsch{\"o}ke, Stefan},
TITLE = {A better upper bound on the bisection width of de Bruijn networks},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {511-522},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Feigenbaum-Strauss/97,
AUTHOR = {Feigenbaum, Joan and Strauss, Martin},
TITLE = {An information-theoretic treatment of random-self-reducibility},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {523-534},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Breutzmann-Lutz/97,
AUTHOR = {Breutzmann, Josef M. and Lutz, Jack H.},
TITLE = {Equivalence of measures of complexity classes},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {535-546},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Auletta-Parente/97,
AUTHOR = {Auletta, Vincenzo and Parente, Mimmo},
TITLE = {Better algorithms for minimum weight vertex-connectivity problems},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {547-558},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Promel-Steger/97,
AUTHOR = {Pr{\"o}mel, Hans J{\"u}rgen and Steger, Angelika},
TITLE = {RNC-approximation algorithms for the Steiner problem},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {559-570},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Messner/97,
AUTHOR = {Messner, Jochen},
TITLE = {Pattern matching in trace monoids},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {571-582},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diekert-Gastin-Petit/97,
AUTHOR = {Diekert, Volker and Gastin, Paul and Petit, Antoine},
TITLE = {Removing $\varepsilon$-transitions in timed automata},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {583-594},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Goldreich/97b,
AUTHOR = {Goldreich, Oded},
TITLE = {Probabilistic proof systems --- A survey},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS'97 (L{\"u}beck, Germany, February 27 - March 1, 1997)},
SERIES = {LNCS},
VOLUME = {1200},
PAGES = {595-611},
YEAR = {1997},
EDITOR = {Reischuk, R{\"u}diger and Morvan, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}