@incollection{Ding-Rabin/02,
AUTHOR = {Ding, Yan Zong and Rabin, Michael O.},
TITLE = {Hyper-encryption and everlasting security},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {1-26},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Scheideler/02,
AUTHOR = {Scheideler, Christian},
TITLE = {Models and techniques for communication in dynamic networks},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {27-49},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dowek/02,
AUTHOR = {Dowek, Gilles},
TITLE = {What is a theory?},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {50-64},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fraigniaud-Gavoille/02,
AUTHOR = {Fraigniaud, Pierre and Gavoille, Cyril},
TITLE = {A space lower bound for routing in trees},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {65-75},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Korman-Peleg-Rodeh/02,
AUTHOR = {Korman, Amos and Peleg, David and Rodeh, Yoav},
TITLE = {Labeling schemes for dynamic tree networks},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {76-87},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Adler-Rosen/02,
AUTHOR = {Adler, Micah and Ros{\'{e}}n, Adi},
TITLE = {Tight bounds for the performance of Longest-in-System on DAGs},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {88-99},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jansen/02,
AUTHOR = {Jansen, Klaus},
TITLE = {Approximate strong separation with application in fractional graph coloring and preemptive scheduling},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {100-111},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Doerr/02,
AUTHOR = {Doerr, Benjamin},
TITLE = {Balanced coloring: Equally easy for all numbers of colors?},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {112-120},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kobler-Toran/02,
AUTHOR = {K{\"o}bler, Johannes and Tor{\'{a}}n, Jacobo},
TITLE = {The complexity of graph isomorphism for colored graphs with color classes of size 2 and 3},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {121-132},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boros-Gurvich-Khachiyan-Makono/02,
AUTHOR = {Boros, E. and Gurvich, V. and Khachiyan, L. and Makono, K.},
TITLE = {On the complexity of generating maximal frequent and minimal infrequent sets},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {133-141},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elbassioni/02,
AUTHOR = {Elbassioni, Khaled M.},
TITLE = {On dualization in products of forests},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {142-153},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lepere-Rapine/02,
AUTHOR = {Lepere, R. and Rapine, C.},
TITLE = {An asymptotic $O(ln p/ln ln p)$-approximation algorithm for the scheduling problem with duplication on large communication delay graphs},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {154-165},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bast/02,
AUTHOR = {Bast, Hannah},
TITLE = {Scheduling at twilight the easy way},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {166-178},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Darte-Huard/02,
AUTHOR = {Darte, Alain and Huard, Guillaume},
TITLE = {Complexity of multi-dimensional loop alignment},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {179-191},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hofmeister-Schoning-Schuler-Watanabe/02,
AUTHOR = {Hofmeister, Thomas and Sch{\"o}ning, Uwe and Schuler, Rainer and Watanabe, Osamu},
TITLE = {A probabilistic 3-SAT algorithm further improved},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {192-202},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lorenz-Monien/02,
AUTHOR = {Lorenz, U. and Monien, B.},
TITLE = {The secret of selective game tree search, when using random-error evaluations},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {203-214},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Pan/02c,
AUTHOR = {Pan, Victor Y.},
TITLE = {Randomized acceleration of fundamental matrix computations},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {215-226},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sunil_Chandran-Ram/02,
AUTHOR = {Sunil Chandran, L. and Ram, L. Shankar},
TITLE = {Approximations for ATSP with parametrized triangle inequality},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {227-237},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Giesen-John/02,
AUTHOR = {Giesen, Joachim and John, Matthias},
TITLE = {A new diagram from disks in the plane},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {238-249},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Langerman-Morin-Soss/02,
AUTHOR = {Langerman, Stefan and Morin, Pat and Soss, Michael},
TITLE = {Computing the maximum detour and spanning ratio of planar paths, trees, and cycles},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {250-261},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fellows-Gramm-Niedermeier/02,
AUTHOR = {Fellows, Michael R. and Gramm, Jens and Niedermeier, Rolf},
TITLE = {On the parameterized intractability of Closest Substring and related problems},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {262-273},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2285&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Backofen-Narayanaswamyy-Swidan/02,
AUTHOR = {Backofen, Ralf and Narayanaswamyy, N.S. and Swidan, Firas},
TITLE = {On the complexity of protein similarity search under mRNA structure constraints},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {274-286},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bodirsky-Kutz/02,
AUTHOR = {Bodirsky, Manuel and Kutz, Martin},
TITLE = {Pure dominance constraints},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {287-298},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hoyer-Wolf/02,
AUTHOR = {H{\o}yer, Peter and Wolf, Ronald de},
TITLE = {Improved quantum communication complexity bounds for disjointness and equality},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {299-310},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Nishimura/02,
AUTHOR = {Nishimura, Harumichi},
TITLE = {On quantum computation with some restricted amplitudes},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {311-322},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Adcock-Cleve/02,
AUTHOR = {Adcock, Mark and Cleve, Richard},
TITLE = {A quantum Goldreich-Levin theorem with cryptographic applications},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {323-334},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Klauck/02,
AUTHOR = {Klauck, Hartmut},
TITLE = {On quantum and approximate privacy},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {335-346},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{de_Graaf-Wolf/02,
AUTHOR = {de Graaf, Mart and Wolf, Ronald de},
TITLE = {On quantum versions of the Yao principle},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {347-358},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Flum-Grohe/02a,
AUTHOR = {Flum, J{\"o}rg and Grohe, Martin},
TITLE = {Describing parameterized complexity classes},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {359-371},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Krause/02,
AUTHOR = {Krause, Matthias},
TITLE = {On the computational power of Boolean decision lists},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {372-383},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Simon/02,
AUTHOR = {Simon, Hans Ulrich},
TITLE = {How many missing answers can be tolerated by query learners?},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {384-395},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
KEYWORDS = {1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Aida-Crasmaru-Regan-Watanabe/02,
AUTHOR = {Aida, Shin and Crasmaru, Marcel and Regan, Kenneth and Watanabe, Osamu},
TITLE = {Games with a uniqueness property},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {396-407},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Pavan-Selman/02,
AUTHOR = {Pavan, A. and Selman, Alan L.},
TITLE = {Bi-immunity separates strong $NP$-comleteness notions},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {408-418},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Grigoriev-Hirsch-Pasechnik/02,
AUTHOR = {Grigoriev, Dima and Hirsch, Edward A. and Pasechnik, Dmitrii V.},
TITLE = {Complexity of semi-algebraic proofs},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {419-430},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
KEYWORDS = {1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Woelfel/02,
AUTHOR = {Woelfel, Philipp},
TITLE = {A lower bound technique for restricted branching programs and applications},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {431-442},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Krokhin-Jeavons-Jonsson/02,
AUTHOR = {Krokhin, Andrei and Jeavons, Peter and Jonsson, Peter},
TITLE = {The complexity of constraints on intervals and lenghts},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {443-454},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Therien-Wilke/02,
AUTHOR = {Th{\'{e}}rien, Denis and Wilke, Thomas},
TITLE = {Nesting until and since in linear temporal logic},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {455-464},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Tantau/02,
AUTHOR = {Tantau, Till},
TITLE = {Comparing verboseness for finite automata and Turing machines},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {465-476},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Krob-Mairesse-Michos/02,
AUTHOR = {Krob, Daniel and Mairesse, Jean and Michos, Ioannis},
TITLE = {On the average parallelism in trace monoids},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {477-488},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kuske/02,
AUTHOR = {Kuske, Dietrich},
TITLE = {A further step towards a theory of regular MSC languages},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {489-500},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Diekert-Lohrey/02,
AUTHOR = {Diekert, Volker and Lohrey, Markus},
TITLE = {Existential and positive theories of equations in graph products},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {501-512},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Petersen/02a,
AUTHOR = {Petersen, Holger},
TITLE = {The membership problem for regular expressions with intersection is complete in LOGCFL},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {513-522},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Morin/02,
AUTHOR = {Morin, R{\'{e}}mi},
TITLE = {Recognizable sets of message sequence charts},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {523-534},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Srba/02,
AUTHOR = {Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {535-546},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Beal-Perrin/02,
AUTHOR = {B{\'{e}}al, Marie-Pierre and Perrin, Dominique},
TITLE = {On the enumerative sequences of regular languages on $k$ symbols},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {547-558},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Loding/02,
AUTHOR = {L{\"o}ding, Christof},
TITLE = {Ground tree rewriting graphs of bounded tree width},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {559-570},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{DSouza-Madhusudan/02,
AUTHOR = {D'Souza, Deepak and Madhusudan, P.},
TITLE = {Timed control synthesis for external specifications},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {571-582},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baeten-Vink/02,
AUTHOR = {Baeten, J.C.M. and Vink, E.P. de},
TITLE = {Axiomatizing GSOS with termination},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {583-595},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blumensath/02,
AUTHOR = {Blumensath, Achim},
TITLE = {Axiomatising tree-interpretable structures},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {596-607},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kieronski/02,
AUTHOR = {Kiero{\'n}ski, Emanuel},
TITLE = {EXPSPACE-complete variant of guarded fragment with transitivity},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {608-619},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Demri-Laroussinie-Schnoebelen/02,
AUTHOR = {Demri, S. and Laroussinie, F. and Schnoebelen, P.},
TITLE = {A parametric analysis of the state explosion problem in model checking},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {620-631},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Frick/02,
AUTHOR = {Frick, Markus},
TITLE = {Generalized model-checking over locally tree-decomposable classes},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {632-644},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Grohe-Turan/02,
AUTHOR = {Grohe, Martin and Tur{\'{a}}n, Gyorgy},
TITLE = {Learnability and definability in trees and similar structures},
BOOKTITLE = {Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2002 (Antibes-Juan les Pins, France, March 14-16, 2002 )},
SERIES = {LNCS},
VOLUME = {2285},
PAGES = {645-657},
YEAR = {2002},
EDITOR = {Alt, Helmut and Ferreira, Afonso},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}