@incollection{Pudlak/94a,
AUTHOR = {Pudl{\'a}k, Pavel},
TITLE = {Unexpected upper bounds on the complexity of some communication games},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {1-10},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fernau-Staiger/94,
AUTHOR = {Fernau, Henning and Staiger, Ludwig},
TITLE = {Valuations and unambiguity of languages, with applications to fractal geometry},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {11-22},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Siegelmann/94,
AUTHOR = {Siegelmann, Hava T.},
TITLE = {On the computational power of probabilistic and faulty neural networks},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {23-34},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cerans/94,
AUTHOR = {{\v{C}}er{\=a}ns, K{\=a}rlis},
TITLE = {Deciding properties of integral relational automata},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {35-46},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aumann-Bar-Ilan-Feige/94,
AUTHOR = {Aumann, Yonatan and Bar-Ilan, Judit and Feige, Uriel},
TITLE = {On the cost of recomputing: Tight bounds on pebbling with faults},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {47-58},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asarin-Maler/94,
AUTHOR = {Asarin, Eugene and Maler, Oded},
TITLE = {On some relations between dynamical systems and transition systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {59-72},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Globerman-Harel/94,
AUTHOR = {Globerman, Noa and Harel, David},
TITLE = {Complexity results for multi-pebble automata and their logics},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {73-82},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kanellakis-Hillebrand-Mairson/94,
AUTHOR = {Kanellakis, Paris C. and Hillebrand, Gerd G. and Mairson, Harry G.},
TITLE = {An analysis of the Core-ML language: Expressive power and type reconstruction},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {83-105},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gyssens-Van_den_Bussche-Gucht/94,
AUTHOR = {Gyssens, Marc and Van den Bussche, Jan and Gucht, Dirk van},
TITLE = {Expressiveness of efficient semi-deterministic choice constructs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {106-117},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gradel-Gurevich/94,
AUTHOR = {Gr{\"a}del, Erich and Gurevich, Yuri},
TITLE = {Tailoring recursion for complexity},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {118-129},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klarlund-Mukund-Sohoni/94,
AUTHOR = {Klarlund, Nils and Mukund, Madhavan and Sohoni, Milind},
TITLE = {Determinizing asynchronous automata},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {130-141},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=130},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Muscholl/94,
AUTHOR = {Muscholl, Anca},
TITLE = {On the complementation of B{\"u}chi asynchronous cellular automata},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {142-153},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-Nicola/94,
AUTHOR = {Corradini, Flavio and Nicola, Rocco de},
TITLE = {Distribution and locality of concurrent systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {154-165},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gawlick-Segala-Sogaard-Andersen-Lynch/94,
AUTHOR = {Gawlick, Rainer and Segala, Roberto and S{\o}gaard-Andersen, Jorgen and Lynch, Nancy},
TITLE = {Liveness in timed and untimed systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {166-177},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sanchez-Couso-Fernandez-Camacho/94,
AUTHOR = {S{\'a}nchez-Couso, Jos{\'e}-Ram{\'o}n and Fern{\'a}ndez-Camacho, Mar{\'i}a-In{\'e}s},
TITLE = {Average-case analysis of pattern-matching in trees under the BST probability model},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {178-190},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=178},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-Li/94a,
AUTHOR = {Jiang, Tao and Li, Ming},
TITLE = {On the approximation of shortest common supersequences and longest common subsequences},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {191-202},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hariharan-Muthukrishnan/94,
AUTHOR = {Hariharan, Ramesh and Muthukrishnan, S.},
TITLE = {Optimal parallel algorithms for prefix matching},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {203-214},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Amir-Benson-Farach/94b,
AUTHOR = {Amir, Amihood and Benson, Gary and Farach, Martin},
TITLE = {Optimal two-dimensional compressed matching},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {215-226},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Italiano-Ramaswami/94,
AUTHOR = {Italiano, Giuseppe F. and Ramaswami, Rajiv},
TITLE = {Maintaining spanning trees of small diameter},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {227-238},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gil-Matias/94b,
AUTHOR = {Gil, Joseph and Matias, Yossi},
TITLE = {Simple fast parallel hashing},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {239-250},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Przytycka-Larmore/94,
AUTHOR = {Przytycka, Teresa M. and Larmore, Lawrence L.},
TITLE = {The optimal alphabetic tree problem revisited},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {251-262},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buhrman-Torenvliet/94,
AUTHOR = {Buhrman, Harry and Torenvliet, Leen},
TITLE = {On the cutting edge of relativization: The resource bounded injury method},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {263-273},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Birget-Margolis-Meakin-Weil/94,
AUTHOR = {Birget, J.-C. and Margolis, S. and Meakin, J. and Weil, P.},
TITLE = {PSPACE-completeness of certain algorithmic problems on the subgroups of free groups},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {274-285},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hennessy/94a,
AUTHOR = {Hennessy, M.},
TITLE = {Higher-order processes and their models},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {286-303},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=286},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vergauwen-Lewi/94,
AUTHOR = {Vergauwen, B. and Lewi, J.},
TITLE = {Efficient local correctness checking for single and alternating Boolean equation systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {304-315},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abdulla-Jonsson/94,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Undecidable verification problems for programs with unreliable channels},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {316-327},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fix-Schneider/94,
AUTHOR = {Fix, Limor and Schneider, Fred B.},
TITLE = {Reasoning about programs by exploiting the environment},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {328-339},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brauner/94,
AUTHOR = {Br{\"a}uner, Torben},
TITLE = {A model of intuitionistic affine logic from stable domain theory},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {340-351},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Plotkin-Winskel/94,
AUTHOR = {Plotkin, Gordon and Winskel, Glynn},
TITLE = {Bistructures, bidomains and linear logic},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {352-363},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=352},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aziz-Singhal-Balarin-Brayton-Sangiovanni-Vincentelli/94,
AUTHOR = {Aziz, Adnan and Singhal, Vigyan and Balarin, Felice and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
TITLE = {Equivalences for fair Kripke structures},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {364-375},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Breugel/94,
AUTHOR = {van Breugel, Franck},
TITLE = {Generalizing finiteness conditions of labelled transition systems},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {376-387},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=376},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Droste/94,
AUTHOR = {Droste, Manfred},
TITLE = {A Kleene theorem for recognizable languages over concurrency monoids},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {388-399},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=388},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Seidl/94c,
AUTHOR = {Seidl, Helmut},
TITLE = {Least solutions of equations over ${\cal N}$},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {400-411},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=400},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hotz-Pitsch/94,
AUTHOR = {Hotz, G{\"u}nter and Pitsch, Gisela},
TITLE = {Fast uniform analysis of coupled-context-free languages},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {412-423},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pin/94,
AUTHOR = {Pin, Jean-Eric},
TITLE = {Polynomial closure of group languages and open sets of the Hall topology},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {424-435},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caron-Comon-Coquide-Dauchet-Jacquemard/94,
AUTHOR = {Caron, Anne-C{\'e}cile and Comon, Hubert and Coquid{\'e}, Jean-Luc and Dauchet, Max and Jacquemard, Florent},
TITLE = {Pumping, cleaning and symbolic constraints solving},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {436-449},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hintermeier-Kirchner-Kirchner/94,
AUTHOR = {Hintermeier, Claus and Kirchner, Claude and Kirchner, H{\'e}l{\`e}ne},
TITLE = {Dynamically-typed computations for order-sorted equational presentations},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {450-461},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{di_Cosmo-Kesner/94,
AUTHOR = {di Cosmo, Roberto and Kesner, Delia},
TITLE = {Combining first order algebraic rewriting systems, recursion and extensional lambda calculi},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {462-472},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=462},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Upfal/94b,
AUTHOR = {Upfal, Eli},
TITLE = {On the theory of interconnection networks for parallel computers},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {473-486},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=473},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Garg-Vazirani-Yannakakis/94,
AUTHOR = {Garg, Naveen and Vazirani, Vijay V. and Yannakakis, Mihalis},
TITLE = {Multiway cuts in directed and node weighted graphs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {487-498},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feige/94,
AUTHOR = {Feige, Uriel},
TITLE = {A fast randomized LOGSPACE algorithm for graph connectivity},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {499-507},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nikoletseas-Palem-Spirakis-Yung/94,
AUTHOR = {Nikoletseas, S. and Palem, K. and Spirakis, P. and Yung, M.},
TITLE = {Short vertex disjoint paths and multiconnectivity in random graphs: Reliable network computing},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {508-519},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=508},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lagergren/94a,
AUTHOR = {Lagergren, Jens},
TITLE = {The size of an intertwine},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {520-531},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yuster-Zwick/94,
AUTHOR = {Yuster, Raphael and Zwick, Uri},
TITLE = {Finding even cycles even faster},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {532-543},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofting-Wanke/94,
AUTHOR = {H{\"o}fting, F. and Wanke, E.},
TITLE = {Polynomial time analysis of toroidal periodic graphs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {544-555},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonizzoni/94a,
AUTHOR = {Bonizzoni, P.},
TITLE = {A tight lower bound for primitivity in $k$-structures},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {556-567},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=556},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-Vaccaro/94,
AUTHOR = {Blundo, Carlo and Vaccaro, Alfredo de Santis aund Ugo},
TITLE = {Randomness in distribution protocols},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {568-579},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=568},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Freivalds-Karpinski/94a,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\u{s}} and Karpinski, Marek},
TITLE = {Lower space bounds for randomized computation},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {580-592},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=580},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jakoby-Reischuk-Schindelhauer-Weis/94,
AUTHOR = {Jakoby, Andreas and Reischuk, R{\"u}diger and Schindelhauer, Christian and Weis, Stephan},
TITLE = {The average case complexity of the parallel prefix problem},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {593-604},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=593},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Golin-Young/94,
AUTHOR = {Golin, Mordecai J. and Young, Neal},
TITLE = {Prefix codes: Equiprobable words, unequal letter costs},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {605-617},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
KEYWORDS = {algorithms, Huffman codes, prefix codes, trees},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=605},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Plaxton-Suel/94,
AUTHOR = {Plaxton, C. Greg and Suel, Torsten},
TITLE = {A super-logarithmic lower bound for hypercubic sorting networks},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {618-629},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=618},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mei-Igarashi/94b,
AUTHOR = {Mei, Aohan and Igarashi, Yoshihide},
TITLE = {Efficient strategies for robot navigation in unknown environment},
BOOKTITLE = {Proceedings of the 21st International Colloquium on Automata, Languages and Programming, ICALP'94 (Jerusalem, Israel, July 11-14, 1994)},
SERIES = {LNCS},
VOLUME = {820},
PAGES = {630-641},
YEAR = {1994},
EDITOR = {Abiteboul, Serge and Shamir, Eli},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=820&spage=630},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}