@incollection{Kesten-Pnueli-Raviv/98,
AUTHOR = {Kesten, Yonit and Pnueli, Amir and Raviv, Li-on},
TITLE = {Algorithmic verification of linear temporal logic specifications},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {1-16},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Borchert-Kuske-Stephan/98,
AUTHOR = {Borchert, Bernd and Kuske, Dietrich and Stephan, Frank},
TITLE = {On existentially first-order definable languages and their relation to $NP$},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {17-28},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Raymond-Tesson-Therien/98,
AUTHOR = {Raymond, Jean-Fran{\c{c}}ois and Tesson, Pascal and Th{\'{e}}rien, Denis},
TITLE = {An algebraic approach to communication complexity},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {29-40},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Alur-McMillan-Peled/98,
AUTHOR = {Alur, Rajeev and McMillan, Ken and Peled, Doron},
TITLE = {Deciding global partial-order properties},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {41-52},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Liu-Smolka/98,
AUTHOR = {Liu, Xinxin and Smolka, Scott A.},
TITLE = {Simple linear-time algorithms for minimal fixed points},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {53-66},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Husfeldt-Rauhe/98,
AUTHOR = {Husfeldt, Thore and Rauhe, Theis},
TITLE = {Hardness results for dynamic problems by extensions of Fredman and Saks' chronogram method},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {67-78},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hagerup/98a,
AUTHOR = {Hagerup, Torben},
TITLE = {Simpler and faster dictionaries on the $AC^0$ RAM},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {79-90},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lasota/98,
AUTHOR = {Lasota, S{\l}awomir},
TITLE = {Partial-congruence factorization of bisimilarity induced by open maps},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {91-102},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dufourd-Finkel-Schnoebelen/98,
AUTHOR = {Dufourd, C. and Finkel, A. and Schnoebelen, Ph.},
TITLE = {Reset nets between decidability and undecidability},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {103-115},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Overmars/98,
AUTHOR = {Overmars, Mark H.},
TITLE = {Geometric algorithms for robotic manipulation},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {116-117},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chuang-Garg-He-Kao-Lu/98,
AUTHOR = {Chuang, Richie Chih-Nan and Garg, Ashim and He, Xin and Kao, Ming-Yang and Lu, Hsueh-I},
TITLE = {Compact encodings of planar graphs via canonical orderings and multiple parentheses},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {118-129},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Graf-Veezhinathan/98a,
AUTHOR = {Graf, Thorsten and Veezhinathan, Kamakoti},
TITLE = {Reducing simple polygons to triangles --- A proof for an improved conjecture},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {130-139},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Walukiewicz/98,
AUTHOR = {Walukiewicz, Igor},
TITLE = {Difficult configurations --- On the complexity of $LTrL$},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {140-151},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Boigelot-Rassart-Wolper/98,
AUTHOR = {Boigelot, Bernard and Rassart, St{\'{e}}phane and Wolper, Pierre},
TITLE = {On the expressiveness of real and integer arithmetic automata},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {152-163},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Peleg/98a,
AUTHOR = {Peleg, David},
TITLE = {Distributed matroid basis completion via elimination upcast and distributed correction of minimum-weight spanning trees},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {164-175},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Halldorsson-Kratochvil-Telle/98,
AUTHOR = {Halld{\'{o}}rsson, Magn{\'{u}}s M. and Kratochv{\'{i}}l, Jan and Telle, Jan Arne},
TITLE = {Independent sets with domination constraints},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {176-187},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mukund-Kumar-Radhakrishnan-Sohoni/98,
AUTHOR = {Mukund, Madhavan and Kumar, K. Narayan and Radhakrishnan, Jaikumar and Sohoni, Milind},
TITLE = {Robust asynchronous protocols are finite-state},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {188-199},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Jancar-Kucera-Mayr/98,
AUTHOR = {Jan{\v{c}}ar, Petr and Ku{\v{c}}era, Anton{\'{i}}n and Mayr, Richard},
TITLE = {Deciding bisimulation-like equivalences with finite-state processes},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {200-211},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wigderson/98,
AUTHOR = {Wigderson, Avi},
TITLE = {Do probabilistic algorithms outperform deterministic ones?},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {212-214},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Grolmusz/98a,
AUTHOR = {Grolmusz, Vince},
TITLE = {A degree-decreasing lemma for (MOD q, MOD p) circuits},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {215-222},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lu/98,
AUTHOR = {Lu, Chi-Jen},
TITLE = {Improved pseudorandom generators for combinatorial rectangles},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {223-234},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pnueli-Shtrichman-Siegel/98,
AUTHOR = {Pnueli, A. and Shtrichman, O. and Siegel, M.},
TITLE = {Translation validation for synchronous languages},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {235-246},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Zakharov/98,
AUTHOR = {Zakharov, Vladimir A.},
TITLE = {An efficient and unified approach to the decidability of equivalence of propositional programs},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {247-258},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Jukna-Zak/98,
AUTHOR = {Jukna, Stasys and {\v{Z}}{\'{a}}k, Stanislav},
TITLE = {On branching programs with bounded uncertainty},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {259-270},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ben-Amram-Petersen/98,
AUTHOR = {Ben-Amram, Amir M. and Petersen, Holger},
TITLE = {CONS-free programs with tree input},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {271-282},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baldan-Corradini-Montanari/98,
AUTHOR = {Baldan, Paolo and Corradini, Andrea and Montanari, Ugo},
TITLE = {Concatenable graph processes: Relating processes and derivation traces},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {283-295},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gadducci-Montanari/98,
AUTHOR = {Gadducci, F. and Montanari, U.},
TITLE = {Axioms for contextual net processes},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {296-308},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pitts/98,
AUTHOR = {Pitts, Andrew M.},
TITLE = {Existential types: Logical relations and operational equivalence},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {309-326},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Martinez-Roura/98a,
AUTHOR = {Mart{\'{i}}nez, Conrado and Roura, Salvador},
TITLE = {Optimal sampling strategies in Quicksort},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {327-338},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dyer-Greenhill/98,
AUTHOR = {Dyer, Martin and Greenhill, Catherine},
TITLE = {A genuinely polynomial-time algorithm for sampling two-rowed contingency tables},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {339-350},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Power-Rosolini/98,
AUTHOR = {Power, John and Rosolini, Giuseppe},
TITLE = {A modular approach to denotational semantics},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {351-362},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Malacaria-Hankin/98,
AUTHOR = {Malacaria, Pasquale and Hankin, Chris},
TITLE = {Generalised flowcharts and games},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {363-374},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kao-Wang/98,
AUTHOR = {Kao, Ming-Yang and Wang, Jie},
TITLE = {Efficient minimization of numerical summation errors},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {375-386},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bazgan-Santha-Tuza/98,
AUTHOR = {Bazgan, Cristina and Santha, Miklos and Tuza, Zsolt},
TITLE = {Efficient approximation algorithms for the Subset-Sums Equality problem},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {387-396},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1443&spage=387},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gimenez/98,
AUTHOR = {Gim{\'{e}}nez, Eduardo},
TITLE = {Structural recursive definitions in type theory},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {397-408},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lugiez/98,
AUTHOR = {Lugiez, D.},
TITLE = {A good class of tree automata --- Application to inductive theorem proving},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {409-420},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Karhumaki-Lepisto-Plandowski/98,
AUTHOR = {Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Plandowski, Wojciech},
TITLE = {Locally periodic infinite words and a chaotic behaviour},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {421-430},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pin/98a,
AUTHOR = {Pin, Jean-{\'{E}}ric},
TITLE = {Bridges for concatenation hierarchies},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {431-442},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lin/98a,
AUTHOR = {Lin, H.},
TITLE = {Complete proof systems for observation congruences in finite-control $\pi$-calculus},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {443-454},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Victor-Parrow/98,
AUTHOR = {Victor, Bj{\"o}rn and Parrow, Joachim},
TITLE = {Concurrent constraints in the fusion calculus},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {455-469},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Damico-Manzini-Margara/98,
AUTHOR = {D'amico, Michele and Manzini, Giovanni and Margara, Luciano},
TITLE = {On computing the entropy of cellular automata},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {470-481},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Buchsbaum-Giancarlo-Westbrook/98,
AUTHOR = {Buchsbaum, Adam L. and Giancarlo, Raffaele and Westbrook, Jeffery R.},
TITLE = {On the determinization of weighted finite automata},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {482-493},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tiskin/98,
AUTHOR = {Tiskin, A.},
TITLE = {Bulk-synchronous parallel multiplication of Boolean matrices},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {494-506},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Touzet/98,
AUTHOR = {Touzet, H{\'{e}}l{\`{e}}ne},
TITLE = {A complex example of a simplifying rewrite system},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {507-517},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mellies/98,
AUTHOR = {Melli{\`{e}}s, Paul-Andr{\'{e}}},
TITLE = {On a duality between Kruskal and Dershowitz theorems},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {518-529},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Walukiewicz/98a,
AUTHOR = {Walukiewicz, Daria},
TITLE = {A total AC-compatible reduction ordering on higher-order terms},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {530-542},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Henzinger/98,
AUTHOR = {Henzinger, Thomas A.},
TITLE = {Model checking game properties of multi-agent systems},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {543-543},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gargano/98,
AUTHOR = {Gargano, Luisa},
TITLE = {Limited wavelength conversion in all-optical tree networks},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {544-555},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chaudhuri-Subrahmanyam-Wagner-Zaroliagis/98,
AUTHOR = {Chaudhuri, Shiva and Subrahmanyam, K.V. and Wagner, Frank and Zaroliagis, Christos D.},
TITLE = {Computing mimicking networks},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {556-567},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baier-Katoen-Latella/98,
AUTHOR = {Baier, Christel and Katoen, Joost-Pieter and Latella, Diego},
TITLE = {Metric semantics for true concurrent real time},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {568-579},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Henzinger-Raskin-Schobbens/98,
AUTHOR = {Henzinger, T.A. and Raskin, J.-F. and Schobbens, P.-Y.},
TITLE = {The regular real-time languages},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {580-591},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cicerone-Stefano-Flammini/98,
AUTHOR = {Cicerone, Serafino and Stefano, Gabriele di and Flammini, Michele},
TITLE = {Static and dynamic low-congested interval routing schemes},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {592-603},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cook-Faber-Marathe-Srinivasan-Sussmann/98,
AUTHOR = {Cook, Doug and Faber, Vance and Marathe, Madhav and Srinivasan, Aravind and Sussmann, Yoram J.},
TITLE = {Low-bandwidth routing and electrical power networks},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {604-615},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Henglein-Rehof/98,
AUTHOR = {Henglein, Fritz and Rehof, Jakob},
TITLE = {Constraint automata and the complexity of recursive subtype entailment},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {616-627},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vardi/98,
AUTHOR = {Vardi, Moshe Y.},
TITLE = {Reasoning about the past with two-way automata},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {628-641},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Valiant/98,
AUTHOR = {Valiant, Leslie G.},
TITLE = {A neuroidal architecture for cognitive computation},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {642-669},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Peleg-Reshef/98,
AUTHOR = {Peleg, David and Reshef, Eilon},
TITLE = {Deterministic polylog approximation for minimum communication spanning trees},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {670-681},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Czumaj-Lingas/98,
AUTHOR = {Czumaj, Artur and Lingas, Andrzej},
TITLE = {A polynomial time approximation scheme for Euclidean minimum cost $k$-connectivity},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {682-694},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sewell/98,
AUTHOR = {Sewell, Peter},
TITLE = {Global/local subtyping and capability inference for a distributed $\pi$-calculus},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {695-706},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Li-Chen/98,
AUTHOR = {Li, Zhoujun and Chen, Huowang},
TITLE = {Checking strong/weak bisimulation equivalences and observation congruence for the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {707-718},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bini-Corso-Manzini-Margara/98,
AUTHOR = {Bini, Dario and Corso, Gianna M. del and Manzini, Giovanni and Margara, Luciano},
TITLE = {Inversion of circulant matrices over $Z_m$},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {719-730},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Plandowski-Rytter/98,
AUTHOR = {Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {Application of Lempel-Ziv encodings to the solution of word equations},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {731-742},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ghani-Paiva-Ritter/98,
AUTHOR = {Ghani, Neil and Paiva, Valeria de and Ritter, Eike},
TITLE = {Explicit substitutions for constructive necessity},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {743-754},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Barthe/98,
AUTHOR = {Barthe, Gilles},
TITLE = {The relevance of proof-irrelevance},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {755-768},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Brassard/98,
AUTHOR = {Brassard, Gilles},
TITLE = {New horizons in quantum information processing},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {769-771},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Damgard-Pfitzmann/98,
AUTHOR = {Damg{\aa}rd, Ivan and Pfitzmann, Birgit},
TITLE = {Sequential iteration of interactive arguments and an efficient zero-knowledge argument for $NP$},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {772-783},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{de_Santis-Crescenzo-Persiano-Yung/98,
AUTHOR = {de Santis, A. and Crescenzo, G. di and Persiano, G. and Yung, M.},
TITLE = {Image density is complete for Non-Interactive-SZK},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {784-795},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hertling-Weihrauch/98,
AUTHOR = {Hertling, Peter and Weihrauch, Klaus},
TITLE = {Randomness spaces},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {796-807},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bucciarelli-Salvo/98,
AUTHOR = {Bucciarelli, Antonio and Salvo, Ivano},
TITLE = {Totality, definability and Boolean circuits},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {808-819},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Brassard-Hoyer-Tapp/98a,
AUTHOR = {Brassard, Gilles and H{\o}yer, Peter and Tapp, Alain},
TITLE = {Quantum counting},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {820-831},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Akutsu-Yagiura/98,
AUTHOR = {Akutsu, Tatsuya and Yagiura, Mutsunori},
TITLE = {On the complexity of deriving score functions from examples for problems in molecular biology},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {832-843},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fournet-Gonthier/98,
AUTHOR = {Fournet, C{\'{e}}dric and Gonthier, Georges},
TITLE = {A hierarchy of equivalences for asynchronous calculi},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {844-855},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Merro-Sangiorgi/98,
AUTHOR = {Merro, Massimo and Sangiorgi, Davide},
TITLE = {On asynchrony in name-passing calculi},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {856-867},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Abadi/98,
AUTHOR = {Abadi, Mart{\'{i}}n},
TITLE = {Protection in programming-language translations},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {868-883},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Petersen-Robson/98,
AUTHOR = {Petersen, Holger and Robson, John Michael},
TITLE = {Efficient simulations by queue machines},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {884-895},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Duris-Jurdzinski-Kutylowski-Lorys/98,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Jurdzi{\'n}ski, Tomasz and Kuty{\l}owski, Miros{\l}aw and Lory{\'s}, Krzysztof},
TITLE = {Power of cooperation and multihead finite systems},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {896-907},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Danvy/98,
AUTHOR = {Danvy, Olivier},
TITLE = {A simple solution to type specialization},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {908-917},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Taha-Benaissa-Sheard/98,
AUTHOR = {Taha, Walid and Benaissa, Zine-El-Abidine and Sheard, Tim},
TITLE = {Multi-stage programming: Axiomatization and type safety},
BOOKTITLE = {Proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98 (Aalborg, Denmark, July 13-17, 1998)},
SERIES = {LNCS},
VOLUME = {1443},
PAGES = {918-929},
YEAR = {1998},
EDITOR = {Larsen, Kim G. and Skyum, Sven and Winskel, Glynn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}