@incollection{Milner/97,
AUTHOR = {Milner, Robin},
TITLE = {Graphical calculi for interaction},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {1-1},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Papadimitriou/97,
AUTHOR = {Papadimitriou, Christos H.},
TITLE = {$NP$-completeness: A retrospective},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {2-6},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mehlhorn-Naher-Uhrig/97,
AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan and Uhrig, Christian},
TITLE = {The LEDA platform for combinatorial and geometric computing},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {7-16},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Carton-Perrin/97a,
AUTHOR = {Carton, Olivier and Perrin, Dominique},
TITLE = {The Wadge-Wagner hierarchy of $\omega$-rational sets},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {17-35},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Apt/97,
AUTHOR = {Apt, Krzysztof R.},
TITLE = {From chaotic iteration to constraint propagation},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {36-55},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Landweber-Lipton/97,
AUTHOR = {Landweber, Laura F. and Lipton, Richard J.},
TITLE = {DNA$^2$DNA computations: A potential ``Killer App''},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {56-64},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1256&spage=56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Durand/97,
AUTHOR = {Durand, Bruno},
TITLE = {Tilings and quasiperiodicity},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {65-75},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bassino-Beal-Perrin/97,
AUTHOR = {Bassino, Fr{\'{e}}d{\'{e}}rique and B{\'{e}}al, Marie-Pierre and Perrin, Dominique},
TITLE = {Enumerative sequences of leaves in rational trees},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {76-86},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bruyere/97,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique},
TITLE = {A completion algorithm for codes with bounded synchronization delay},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {87-97},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Karhumaki-Plandowski-Mignosi/97,
AUTHOR = {Karhum{\"a}ki, Juhani and Plandowski, Wojciech and Mignosi, Filippo},
TITLE = {The expressibility of languages and relations by word equations},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {98-109},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Beaudry-Lemieux-Therien/97,
AUTHOR = {Beaudry, Martin and Lemieux, Fran{\c{c}}ois and Th{\'{e}}rien, Denis},
TITLE = {Finite loops recognize exactly the regular open languages},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {110-120},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{di_Gianantonio/97,
AUTHOR = {di Gianantonio, Pietro},
TITLE = {An abstract data type for real numbers},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {121-131},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lathrop-Lutz/97,
AUTHOR = {Lathrop, James I. and Lutz, Jack H.},
TITLE = {Recursive computational depth},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {132-142},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bournez/97,
AUTHOR = {Bournez, Olivier},
TITLE = {Some bounds on the computational power of piecewise constant derivative systems},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {143-153},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Gurevich-Voronkov/97,
AUTHOR = {Gurevich, Yuri and Voronkov, Andrei},
TITLE = {Monadic simultaneous rigid $E$-unification and related problems},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {154-165},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Weihrauch/97,
AUTHOR = {Weihrauch, Klaus},
TITLE = {Computability on the probability measures on the Borel sets of the unit interval},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {166-176},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Andreev-Clementi-Rolim/97a,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Worst-case hardness suffices for derandomization: A new method for hardness-randomness trade-offs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {177-187},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buhrman-Fenner-Fortnow/97,
AUTHOR = {Buhrman, Harry and Fenner, Stephen and Fortnow, Lance},
TITLE = {Results on resource-bounded measure},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {188-194},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ablayev/97,
AUTHOR = {Ablayev, Farid},
TITLE = {Randomization and nondeterminism are comparable for oredered read-once branching programs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {195-202},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Codenotti-Ergun-Gemell-Ravi_Kumar/97,
AUTHOR = {Codenotti, Bruno and Erg{\"u}n, Funda and Gemell, Peter and Ravi Kumar, S.},
TITLE = {Checking properties of polynomials},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {203-213},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hemaspaandra-Hemaspaandra-Rothe/97a,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Rothe, J{\"o}rg},
TITLE = {Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to $NP$},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {214-224},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Honda-Yoshida/97,
AUTHOR = {Honda, Kohei and Yoshida, Nobuko},
TITLE = {Game theoretic analysis of call-by-value computation},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {225-236},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{di_Cosmo-Ghani/97,
AUTHOR = {di Cosmo, Roberto and Ghani, Neil},
TITLE = {On modular properties of higher order extensional lambda caluli},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {237-247},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ritter-Paiva/97,
AUTHOR = {Ritter, Eike and Paiva, Valeria de},
TITLE = {On explicit substitutions and names},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {248-258},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Asperti-Laneve/97,
AUTHOR = {Asperti, Andrea and Laneve, Cosimo},
TITLE = {On the dynamics of sharing graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {259-269},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alstrup-Holm-Lichtenberg-Thorup/97,
AUTHOR = {Alstrup, Stephen and Holm, Jacob and Lichtenberg, Kristian de and Thorup, Mikkel},
TITLE = {Minimizing diameters of dynamic trees},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {270-280},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Krumke-Marathe-Noltemeier-Ravi-Ravi-Sundaram-Wirth/97,
AUTHOR = {Krumke, S.O. and Marathe, M.V. and Noltemeier, H. and Ravi, R. and Ravi, S.S. and Sundaram, R. and Wirth, H.C.},
TITLE = {Improving spanning trees by upgrading nodes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {281-291},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hagerup/97b,
AUTHOR = {Hagerup, Torben},
TITLE = {Dynamic algorithms for graphs of bounded treewidth},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {292-302},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Sangiorgi/97,
AUTHOR = {Sangiorgi, Davide},
TITLE = {The name discipline of uniform receptiveness},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {303-313},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Philippou-Walker/97,
AUTHOR = {Philippou, Anna and Walker, David},
TITLE = {On confluence in the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {314-324},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fu/97a,
AUTHOR = {Fu, Xi},
TITLE = {A proof theoretical approach to communication},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {325-335},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Diekert-Matiyasevich-Muscholl/97,
AUTHOR = {Diekert, Volker and Matiyasevich, Yuri and Muscholl, Anca},
TITLE = {Solving trace equations using lexicographical normal forms},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {336-346},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Wilke/97,
AUTHOR = {Wilke, Thomas},
TITLE = {Star-free picture expressions are strictly weaker than first-order logic},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {347-357},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bernardo/97,
AUTHOR = {Bernardo, Marco},
TITLE = {An algebra-based method to associate rewards with EMPA terms},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {358-368},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mason-Talcott/97,
AUTHOR = {Mason, Ian A. and Talcott, Carolyn L.},
TITLE = {A semantics preserving actor translation},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {369-378},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Schwiegelshohn-Thiele/97,
AUTHOR = {Schwiegelshohn, Uwe and Thiele, Lothar},
TITLE = {Periodic and non-periodic min-max equations},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {379-389},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caceres-Dehne-Ferreira-Flocchini-Rieping-Roncato-Santoro-Song/97,
AUTHOR = {C{\'{a}}ceres, E. and Dehne, F. and Ferreira, A. and Flocchini, P. and Rieping, I. and Roncato, A. and Santoro, N. and Song, S.W.},
TITLE = {Efficient parallel graph algorithms for coarse grained multicomputers and BSP},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {390-400},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ambainis/97,
AUTHOR = {Ambainis, Andris},
TITLE = {Upperbound on the communication complexity of private information retrieval},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {401-407},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Harel-Singerman/97,
AUTHOR = {Harel, David and Singerman, Eli},
TITLE = {Computation paths logic: An expressive, yet elementary, process logic},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {408-418},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Burkart-Steffen/97,
AUTHOR = {Burkart, Olaf and Steffen, Bernhard},
TITLE = {Model checking the full modal mu-calculus for infinite sequential processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {419-429},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Baier-Clarke-Hartonas-Garmhausen-Kwiatkowska-Ryan/97,
AUTHOR = {Baier, Christel and Clarke, Edmund M. and Hartonas-Garmhausen, Vasiliki and Kwiatkowska, Marta and Ryan, Mark},
TITLE = {Symbolic model ckecking for probabilistic processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {430-440},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Robson/97,
AUTHOR = {Robson, J.M.},
TITLE = {On the concentration of the height of binary search trees},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {441-448},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Roura/97a,
AUTHOR = {Roura, Salvador},
TITLE = {An improved master theorem for divide-and-conquer recurrences},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {449-459},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1256&spage=449},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{de_Vink-Rutten/97,
AUTHOR = {de Vink, E.P. and Rutten, J.J.M.M.},
TITLE = {Bisimulation for probabilistic transition systems: A coalgebraic approach},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {460-470},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Riely-Hennessy/97,
AUTHOR = {Riely, James and Hennessy, Matthew},
TITLE = {Distributed processes and location failures},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {471-481},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Boreale-Nicola-Pugliese/97,
AUTHOR = {Boreale, Michele and Nicola, Rocco de and Pugliese, Rosario},
TITLE = {Basic observables for processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {482-492},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kaklamanis-Persiano-Erlebach-Jansen/97,
AUTHOR = {Kaklamanis, Christos and Persiano, Pino and Erlebach, Thomas and Jansen, Klaus},
TITLE = {Constrained bipartite edge coloring with applications to wavelength routing},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {493-504},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Gargano-Hell-Perennes/97,
AUTHOR = {Gargano, Luisa and Hell, Pavol and Perennes, Stephane},
TITLE = {Colouring paths in directed symmetric trees with applications to WDM routing},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {505-515},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bartal-Leonardi/97,
AUTHOR = {Bartal, Yair and Leonardi, Stefano},
TITLE = {On-line routing in all-optical networks},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {516-526},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Eilam-Flammini-Zaks/97,
AUTHOR = {Eilam, Tamar and Flammini, Michele and Zaks, Shmuel},
TITLE = {A complete characterization of the path layout construction problem for ATM networks with given hop count and load},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {527-537},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Vogler/97,
AUTHOR = {Vogler, Walter},
TITLE = {Efficiency of asynchronous systems and read arcs in Petri nets},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {538-548},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Jancar/97,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Bisimulation equivalence is decidable for one-counter processes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {549-559},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bouajjani-Habermehl/97,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter},
TITLE = {Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {560-570},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fokkink/97a,
AUTHOR = {Fokkink, Wan},
TITLE = {Axiomatizations for the perpetual loop in process algebra},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {571-581},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Henzinger-Kopke/97,
AUTHOR = {Henzinger, Thomas A. and Kopke, Peter W.},
TITLE = {Discrete-time control for rectangular hybrid automata},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {582-593},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Henzinger-King/97,
AUTHOR = {Henzinger, Monika R. and King, Valerie},
TITLE = {Maintaining minimum spanning trees in dynamic graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {594-604},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Grossi-Italiano/97,
AUTHOR = {Grossi, Roberto and Italiano, Giuseppe F.},
TITLE = {Efficient splitting and merging algorithms for order decomposable problems},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {605-615},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Khanna-Muthukrishnan-Skiena/97,
AUTHOR = {Khanna, Sanjeev and Muthukrishnan, S. and Skiena, Steven},
TITLE = {Efficient array partitioning},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {616-626},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bodlaender-Thilikos/97a,
AUTHOR = {Bodlaender, Hans L. and Thilikos, Dimitrios M.},
TITLE = {Constructive linear time algorithms for branchwidth},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {627-637},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Narendran-Otto/97,
AUTHOR = {Narendran, Paliath and Otto, Friedrich},
TITLE = {The word matching problem is undecidable for finite special string-rewriting systems that are confluent},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {638-648},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Khasidashvili-Glauert/97,
AUTHOR = {Khasidashvili, Zurab and Glauert, John},
TITLE = {The geometry of orthogonal reduction spaces},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {649-659},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Marchiori/97,
AUTHOR = {Marchiori, Massimo},
TITLE = {The theory of vaccines},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {660-670},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Senizergues/97,
AUTHOR = {S{\'{e}}nizergues, G{\'{e}}raud},
TITLE = {The equivalence problem for deterministic pushdown automata is decidable},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {671-681},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Droste-Gastin/97,
AUTHOR = {Droste, Manfred and Gastin, Paul},
TITLE = {On recognizable and rational formal power series in partially commuting variables},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {682-692},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cassaigne/97,
AUTHOR = {Cassaigne, Julien},
TITLE = {On a conjecture of J. Shallit},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {693-704},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Frankel-Yung/97,
AUTHOR = {Frankel, Yair and Yung, Moti},
TITLE = {On characterizations of escrow encryption schemes},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {705-715},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{de_Santis-Crescenzo-Persiano/97,
AUTHOR = {de Santis, Alfredo and Crescenzo, Giovanni di and Persiano, Pino},
TITLE = {Randomness-efficient non-interactive zero knowledge},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {716-726},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Jansen/97c,
AUTHOR = {Jansen, Klaus},
TITLE = {Approximation results for the optimum cost chromatic partition problem},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {727-737},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bar-Noy-Kortsarz/97,
AUTHOR = {Bar-Noy, Amotz and Kortsarz, Guy},
TITLE = {The minimum color sum of bipartite graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {738-748},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fujito/97,
AUTHOR = {Fujito, Toshihiro},
TITLE = {A primal-dual approach to approximation of node-deletion problems for matroidal properties},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {749-759},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Broersma-Kloks-Kratsch-Muller/97,
AUTHOR = {Broersma, Hajo and Kloks, Ton and Kratsch, Dieter and M{\"u}ller, Haiko},
TITLE = {Independent sets in asteroidal triple-free graphs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {760-770},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Giacobazzi-Ranzato/97,
AUTHOR = {Giacobazzi, Roberto and Ranzato, Francesco},
TITLE = {Refining and compressing abstract domains},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {771-781},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dami/97,
AUTHOR = {Dami, Laurent},
TITLE = {Labelled reductions, runtime errors, and operational subsumption},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {782-793},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Manzini-Margara/97a,
AUTHOR = {Manzini, Giovanni and Margara, Luciano},
TITLE = {A complete and efficiently computable topological classification of $D$-dimensional linear cellular automata over $Z_m$},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {794-804},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kabanets/97,
AUTHOR = {Kabanets, Valentine},
TITLE = {Recognizability equals definability for partial $k$-paths},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {805-815},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Beigel-Fu/97a,
AUTHOR = {Beigel, Richard and Fu, Bin},
TITLE = {Molecular computing, bounded nondeterminism, and efficient recursion},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {816-826},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Erdos-Steel-Szekely-Warnow/97,
AUTHOR = {Erd{\H{o}}s, P{\'{e}}ter L. and Steel, Michael A. and Sz{\'{e}}kely, L{\'{a}}szl{\'{o}} A. and Warnow, Tandy J.},
TITLE = {Constructing big trees from short sequences},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {827-837},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ruggieri/97,
AUTHOR = {Ruggieri, Salvatore},
TITLE = {Termination of constraint logic programs},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {838-848},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Buccafurri-Greco-Sacca/97,
AUTHOR = {Buccafurri, Francesco and Greco, Sergio and Sacc{\`{a}}, Domenico},
TITLE = {The expressive power of unique total stable model semantics},
BOOKTITLE = {Proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP'97 (Bologna, Italy, July 7-11, 1997)},
SERIES = {LNCS},
VOLUME = {1256},
PAGES = {849-859},
YEAR = {1997},
EDITOR = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}