@incollection{Gaudel/92,
AUTHOR = {Gaudel, Marie-Claude},
TITLE = {Structuring and modularizing algebraic specifications: The PLUSS specification language, evolutions and perspectives},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {3-18},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gupta-Nishimura/92,
AUTHOR = {Gupta, Arvind and Nishimura, Naomi},
TITLE = {The parallel complexity of tree embedding problems},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {21-32},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Condon/92a,
AUTHOR = {Condon, Anne},
TITLE = {A theory of strict $\P$-completeness},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {33-44},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup/92,
AUTHOR = {Hagerup, Torben},
TITLE = {Fast and optimal simulations between CRCW PRAMs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {45-56},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nassor-Vidal-Naquet/92,
AUTHOR = {Nassor, Eric and Vidal-Naquet, Guy},
TITLE = {Suitability of the propositional temporal logic to express properties of real-time systems},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {59-70},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Billaud/92,
AUTHOR = {Billaud, Michel},
TITLE = {Axiomatizations of backtracking},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {71-82},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Villemaire/92,
AUTHOR = {Villemaire, Roger},
TITLE = {Joining $k$- and $l$-recognizable sets of natural numbers},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {83-94},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer_auf_der_Heide-Pham/92,
AUTHOR = {Meyer auf der Heide, Friedhelm and Pham, Hieu Thien},
TITLE = {On the performance of networks with multiple busses},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {97-108},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Radhakrishnan-Hunt-Stearns/92,
AUTHOR = {Radhakrishnan, Venkatesh and Hunt III, Harry B. and Stearns, Richard E.},
TITLE = {Efficient algorithms for solving systems of linear equations and path problems},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {109-119},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larmore-Rytter/92,
AUTHOR = {Larmore, Lawrence L. and Rytter, Wojciech},
TITLE = {Efficient sublinear time parallel algorithms for dynamic programming and context-free recognition},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {121-132},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Preparata-Vitter/92,
AUTHOR = {Preparata, Franco P. and Vitter, Jeffrey Scott},
TITLE = {A simplified technique for hidden-line elimination in terrains},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {135-146},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kalyanasundaram-Pruhs/92,
AUTHOR = {Kalyanasundaram, Bala and Pruhs, Kirk},
TITLE = {A competitive analysis of nearest neighbor based algorithms for searching unknown scenes},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {147-157},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bogaert-Tison/92,
AUTHOR = {Bogaert, B. and Tison, S.},
TITLE = {Equality and disequality constraints on direct subterms in tree automata},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {161-171},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruggemann-Klein-Wood/92,
AUTHOR = {Br{\"u}ggemann-Klein, Anne and Wood, Derick},
TITLE = {Deterministic regular languages},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {173-184},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sheu-Long/92a,
AUTHOR = {Sheu, Ming-Jye and Long, Timothy J.},
TITLE = {The extended low hierarchy is an infinite hierarchy},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {187-198},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hertrampf/92,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Locally definable acceptance types for polynomial time machines},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {199-207},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=199},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Nies/92,
AUTHOR = {Ambos-Spies, Klaus and Nies, Andr{\'e}},
TITLE = {The theory of the polynomial many-one degrees of recursive sets is undecidable},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {209-218},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bartling-Hinrichs/92,
AUTHOR = {Bartling, Frank and Hinrichs, Klaus},
TITLE = {A plane-sweep algorithm for finding a closest pair among convex planar objects},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {221-232},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Robert-Toussaint/92,
AUTHOR = {Robert, Jean-Marc and Toussaint, Godfried},
TITLE = {Linear approximation of simple objects},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {233-244},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kapur-Bilardi/92,
AUTHOR = {Kapur, Shyam and Bilardi, Gianfranco},
TITLE = {Language learning without overgeneralization},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {245-256},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=245},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup/92a,
AUTHOR = {Hagerup, Torben},
TITLE = {The log-star revolution},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {259-278},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Krause-Meinel-Waack/92,
AUTHOR = {Damm, Carsten and Krause, Matthias and Meinel, Christoph and Waack, Stephen},
TITLE = {Separating counting communication complexity classes},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {281-292},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gubas-Hromkovic-Waczulik/92,
AUTHOR = {Gub{\'a}s, Xaver and Hromkovi{\v{c}}, Juraj and Waczulik, Juraj},
TITLE = {A nonlinear lower bound on the practical combinatorial complexity},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {293-302},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Castro-Seara/92,
AUTHOR = {Castro, Jorge and Seara, Carlos},
TITLE = {Characterizations of some complexity classes between $\Theta^p_n$ and $\Delta^p_2$},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {305-317},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Lutz-Wagner/92,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Wagner, Klaus W.},
TITLE = {On complexity classes and algorithmically random languages},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {319-328},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lorys/92,
AUTHOR = {Lory{\'s}, Krzysztof},
TITLE = {New time hierarchy results for deterministic TMs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {329-336},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pfitzmann-Waidner/92,
AUTHOR = {Pfitzmann, Birgit and Waidner, Michael},
TITLE = {Unconditional Byzantine agreement for any number of faulty processors},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {339-350},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klasing-Monien-Peine-Stohr/92,
AUTHOR = {Klasing, R. and Monien, B. and Peine, R. and St{\"o}hr, E.},
TITLE = {Broadcasting in butterfly and deBruijn networks},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {351-362},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diehl-Jard/92,
AUTHOR = {Diehl, Claire and Jard, Claude},
TITLE = {Interval approximations of message causality in distributed executions},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {363-374},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=363},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kann/92,
AUTHOR = {Kann, Viggo},
TITLE = {On the approximability of the maximum common subgraph problem},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {377-388},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Unger/92,
AUTHOR = {Unger, Walter},
TITLE = {The complexity of colouring circle graphs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {389-400},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kobler-Schoning-Toran/92,
AUTHOR = {K{\"o}bler, Johannes and Sch{\"o}ning, Uwe and Tor{\'a}n, Jacobo},
TITLE = {Graph isomorphism is low for PP},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {401-411},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=401},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Kloks/92,
AUTHOR = {Bodlaender, Hans and Kloks, Ton},
TITLE = {A simple linear time algorithm for triangulating three-colored graphs},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {415-423},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum/92b,
AUTHOR = {Blum, Norbert},
TITLE = {On locally optimal alignments in genetic sequences},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {425-436},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ostrovsky-Venkatesan-Yung/92,
AUTHOR = {Ostrovsky, Rafail and Venkatesan, Ramarathnam and Yung, Moti},
TITLE = {Secure commitment against a powerful adversary. A security primitive based on average intractability},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {439-448},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Santis-Persiano/92,
AUTHOR = {de Santis, Alfredo and Persiano, Giuseppe},
TITLE = {Communication efficient zero-knowledge proofs of knowledge (with applications to electronic cash)},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {449-460},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=449},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clarkson-Mehlhorn-Seidel/92,
AUTHOR = {Clarkson, Kenneth L. and Mehlhorn, Kurt and Seidel, Raimund},
TITLE = {Four results on randomized incremental constructions},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {463-474},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Franciosa-Gschwind-Ohler-Thiemt-Widmayer/92,
AUTHOR = {Becker, Bruno and Franciosa, Paolo Giulio and Gschwind, Stephan and Ohler, Thomas and Thiemt, Gerald and Widmayer, Peter},
TITLE = {Enclosing many boxes by an optimal pair of boxes},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {475-486},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaufman-Molitor-Vogelgesang/92,
AUTHOR = {Kaufman, Michael and Molitor, Paul and Vogelgesang, Wolfgang},
TITLE = {Performance driven $k$-layer wiring},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {489-500},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=489},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker/92,
AUTHOR = {Becker, Bernd},
TITLE = {Synthesis for testability: Binary decision diagrams},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {501-512},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=501},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hansel-Perrin-Simon/92,
AUTHOR = {Hansel, Georges and Perrin, Dominique and Simon, Imre},
TITLE = {Compression and entropy},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {515-528},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=515},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Karhumaki/92,
AUTHOR = {Culik II, Karel and Karhum{\"a}ki, Juhani},
TITLE = {Iterative devices generating infinite words},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {531-543},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=531},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{De_Felice/92,
AUTHOR = {De Felice, Clelia},
TITLE = {On the factorization conjecture},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {545-556},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=545},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Deiss/92,
AUTHOR = {Dei{\ss}, Thomas},
TITLE = {Conditional semi-Thue systems for presenting monoids},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {557-565},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=557},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sharir-Welzl/92,
AUTHOR = {Sharir, Micha and Welzl, Emo},
TITLE = {A combinatorial bound for linear programming and related problems},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {569-579},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=569},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carlsson-Katajainen-Teuhola/92,
AUTHOR = {Carlsson, Svante and Katajainen, Jyrki and Teuhola, Jukka},
TITLE = {In-place linear probing sort},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {581-587},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=581},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore-Lecroq-Czumaj-Gasieniec-Jarominek-Plandowski-Rytter/92,
AUTHOR = {Crochemore, Maxime and Lecroq, Thierry and Czumaj, Artur and Gasieniec, Leszek and Jarominek, Stefan and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {Speeding up two string-matching algorithms},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {589-600},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=589},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Billaud/92a,
AUTHOR = {Billaud, Michel},
TITLE = {The ANIGRAF system},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {603-604},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=603},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Champarnaud/92,
AUTHOR = {Champarnaud, J.M.},
TITLE = {A programming language for symbolic computation of regular languages, automata and semigroups},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {605-606},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=605},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Collavizza/92,
AUTHOR = {Collavizza, H.},
TITLE = {$\mu$SPEED: A system for the specification and verification of microprocessors},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {607-608},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=607},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grammatikakis-Jwo/92a,
AUTHOR = {Grammatikakis, Miltos D. and Jwo, Jung-Sing},
TITLE = {A discrete event simulator of communication algorithms in interconnection networks},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {609-610},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=609},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Le_Verge/92a,
AUTHOR = {Le Verge, Herv{\'e}},
TITLE = {ALPHA DU CENTAUR: An environment for the design of systolic arrays},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {611-612},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=611},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Madelaine-Vergamini/92,
AUTHOR = {Madelaine, Eric and Vergamini, Didier},
TITLE = {Verification of communicating processes by means of automata reduction and abstraction},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {613-614},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=613},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spirakis-Tampakas-Papatriantafillou-Konstantoulis-Vlaxodimitropoulos-Antonopoulos-Kazazis-Metallidou-Spartiotis/92,
AUTHOR = {Spirakis, P. and Tampakas, B. and Papatriantafillou, M. and Konstantoulis, K. and Vlaxodimitropoulos, K. and Antonopoulos, V. and Kazazis, P. and Metallidou, T. and Spartiotis, D.},
TITLE = {Distributed system simulator (DSS)},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {615-616},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=615},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lin/92a,
AUTHOR = {Lin, Huimin},
TITLE = {An interactive proof tool for process algebras},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {617-618},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=617},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bachmann-Drescher-Nieke/92,
AUTHOR = {Bachmann, Peter and Drescher, Thomas and Nieke, Sabine},
TITLE = {SPECI90. A term rewriting and narrowing system},
BOOKTITLE = {Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS'92 (Cachan, France, February 13-15, 1992)},
SERIES = {LNCS},
VOLUME = {577},
PAGES = {619-620},
YEAR = {1992},
EDITOR = {Finkel, A. and Jantzen, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=577&spage=619},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}