@incollection{Ehrenfeucht-Harju-Rozenberg/95,
AUTHOR = {Ehrenfeucht, A. and Harju, T. and Rozenberg, G.},
TITLE = {Theory of 2-structures},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {1-14},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diekert-Gastin/95,
AUTHOR = {Diekert, Volker and Gastin, Paul},
TITLE = {A domain for concurrent termination: A generalization of Mazurkiewicz traces},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {15-26},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Esik-Bertol/95,
AUTHOR = {{\'{E}}sik, Zolt{\'{a}}n and Bertol, Michael},
TITLE = {Nonfinite axiomatizability of the equational theory of shuffle},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {27-38},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kuich/95a,
AUTHOR = {Kuich, Werner},
TITLE = {The algebraic equivalent of AFL theory},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {39-50},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Culik-Kari/95,
AUTHOR = {Culik, Karel and Kari, Jarkko},
TITLE = {Finite state transformations of images},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {51-62},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lipponen/95,
AUTHOR = {Lipponen, Marjo},
TITLE = {Post correspondence problem: Words possible as primitive solutions},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {63-74},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Metivier-Richomme-Wacrenier/95,
AUTHOR = {M{\'{e}}tivier, Yves and Richomme, Gw{\'{e}}na{\"e}l and Wacrenier, Pierre-Andr{\'{e}}},
TITLE = {Computing the closure of sets of words under partial commutations},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {75-86},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Fluiter/95,
AUTHOR = {Bodlaender, Hans L. and Fluiter, Babette de},
TITLE = {Intervalizing $k$-colored graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {87-98},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chen/95d,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {NC algorithms for finding a maximal set of paths with application to compressing strings},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {99-110},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Giancarlo-Grossi/95a,
AUTHOR = {Giancarlo, Raffaele and Grossi, Roberto},
TITLE = {On the construction of classes of suffix trees for square matrices: Algorithms and applications},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {111-122},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Parra-Scheffler/95,
AUTHOR = {Parra, Andreas and Scheffler, Petra},
TITLE = {How to use the minimal separators of a graph for its chordal triangulation},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {123-134},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bermond-Gargano-Rescigno-Vaccaro/95,
AUTHOR = {Bermond, J.-C. and Gargano, L. and Rescigno, A.A. and Vaccaro, U.},
TITLE = {Fast gossiping by short messages},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {135-146},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bao-Igarashi/95,
AUTHOR = {Bao, Feng and Igarashi, Yoshihide},
TITLE = {Break finite automata public key cryptosystem},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {147-158},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nikoletseas-Reif-Spirakis-Yung/95,
AUTHOR = {Nikoletseas, S. and Reif, J. and Spirakis, P. and Yung, M.},
TITLE = {Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {159-170},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blundo-Santis-Persiano-Vaccaro/95,
AUTHOR = {Blundo, Carlo and Santis, Alfredo De and Persiano, Giuseppe and Vaccaro, Ugo},
TITLE = {On the number of random bits in totally private computation},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {171-182},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Freivalds-Karpinski/95,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\u{s}} and Karpinski, Marek},
TITLE = {Lower time bounds for randomized computation},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {183-195},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kobler-Watanabe/95,
AUTHOR = {K{\"o}bler, Johannes and Watanabe, Osamu},
TITLE = {New collapse consequences of NP having small circuits},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {196-207},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Balcazar/95,
AUTHOR = {Balc{\'{a}}zar, Jos{\'{e}} L.},
TITLE = {The complexity of searching succinctly represented graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {208-219},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauernoppel-Kranakis-Krizanc-Maheshwari-Noy-Sack-Urrutia/95,
AUTHOR = {Bauern{\"o}ppel, Frank and Kranakis, Evangelos and Krizanc, Danny and Maheshwari, Anil and Noy, Marc and Sack, J{\"o}rg-R{\"u}diger and Urrutia, Jorge},
TITLE = {Optimal shooting: Characterizations and applications},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {220-231},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Auletta-Parente-Persiano/95,
AUTHOR = {Auletta, Vincenzo and Parente, Domenico and Persiano, Giuseppe},
TITLE = {Placing resources in a tree: Dynamic and static algorithms},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {232-243},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chaudhuri-Zaroliagis/95,
AUTHOR = {Chaudhuri, Shiva and Zaroliagis, Christos D.},
TITLE = {Shortes path queries in digraphs of small treewidth},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {244-255},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Golin-Rote/95,
AUTHOR = {Golin, M.J. and Rote, G{\"u}nter},
TITLE = {A dynamic programming algorithm for constructing optimal prefix-free codes for unequal letter costs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {256-267},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bodlaender-Hagerup/95a,
AUTHOR = {Bodlaender, Hans L. and Hagerup, Torben},
TITLE = {Parallel algorithms with optimal speedup for bounded treewidth},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {268-279},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=268},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rauch_Henzinger/95,
AUTHOR = {Rauch Henzinger, Monika},
TITLE = {Approximating minimum cuts under insertions},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {280-291},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corneil-Olariu-Stewart/95,
AUTHOR = {Corneil, Derek G. and Olariu, Stephan and Stewart, Lorna},
TITLE = {Linear time algorithms for dominating pairs in asteroidal triple-free graphs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {292-302},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Leonardi-Marchetti-Spaccamela/95,
AUTHOR = {Leonardi, Stefano and Marchetti-Spaccamela, Alberto},
TITLE = {On-line resource management with applications to routing and scheduling},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {303-314},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Petersen/95b,
AUTHOR = {Petersen, H.},
TITLE = {Alternation in simple devices},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {315-323},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Henzinger/95a,
AUTHOR = {Henzinger, Thomas A.},
TITLE = {Hybrid automata with finite bisimulations},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {324-335},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lopez-Narbel/95,
AUTHOR = {Lopez, Luis-Miguel and Narbel, Philippe},
TITLE = {Generalized Sturmian languages},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {336-347},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pin-Weil/95,
AUTHOR = {Pin, Jean-Eric and Weil, Pascal},
TITLE = {Polynomial closure and unambiguous product},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {348-359},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ben-Amram-Galil/95a,
AUTHOR = {Ben-Amram, Amir M. and Galil, Zvi},
TITLE = {Lower bounds on algebraic random access machines},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {360-371},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pietracaprina-Pucci/95,
AUTHOR = {Pietracaprina, Andrea and Pucci, Geppino},
TITLE = {Improved deterministic PRAM simulation on the mesh},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {372-383},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies/95,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {On optimal polynomial time approximations: P-levelability vs.~$\Delta$-levelability},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {384-392},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=384},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fenner-Lutz-Mayordomo/95,
AUTHOR = {Fenner, Stephen A. and Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Weakly useful sequences},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {393-404},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schwentick/95,
AUTHOR = {Schwentick, Thomas},
TITLE = {Graph connectivity, monadic NP and built-in relations of moderate degree},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {405-416},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=405},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Henzinger-Kopke-Wong-Toi/95,
AUTHOR = {Henzinger, Thomas A. and Kopke, Peter W. and Wong-Toi, Howard},
TITLE = {The expressive power of clocks},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {417-428},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pan/95,
AUTHOR = {P{\u{a}}n, Gheorghe},
TITLE = {Grammar systems: A grammatical approach to distribution and cooperation},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {429-443},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harju-Karhumaki-Plandowski/95,
AUTHOR = {Harju, T. and Karhum{\"a}ki, J. and Plandowski, W.},
TITLE = {Compactness of systems of equations in semigroups},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {444-454},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duris-Galil/95,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Galil, Zvi},
TITLE = {Sensing versus nonsensing automata},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {455-463},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bozanis-Kitsios-Makris-Tsakalidis/95,
AUTHOR = {Bozanis, Panayiotis and Kitsios, Nectarios and Makris, Christos and Tsakalidis, Athanasios},
TITLE = {New upper bounds for generalized intersection searching problems},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {464-474},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Becker-Drechsler-Theobald/95,
AUTHOR = {Becker, Bernd and Drechsler, Rolf and Theobald, Michael},
TITLE = {OKFDDs versus OBDDs and OFDDs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {475-486},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Marathe-Ravi-Sundaram-Ravi-Rosenkrantz-Hunt/95,
AUTHOR = {Marathe, M.V. and Ravi, R. and Sundaram, R. and Ravi, S.S. and Rosenkrantz, D.J. and Hunt III, H.B.},
TITLE = {Bicriteria network design problems},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {487-498},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Le/95,
AUTHOR = {L{\^e}, Ng{\d{o}}c-Minh},
TITLE = {On determining optimal strategies in pursuit games in the plane},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {499-510},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rubio/95,
AUTHOR = {Rubio, Albert},
TITLE = {Extension orderings},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {511-522},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Greco-Zaniolo/95,
AUTHOR = {Greco, Sergio and Zaniolo, Domenico Sacc{\`{a}} amd Carlo},
TITLE = {The pushdown method to optimize chain logic programs},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {523-534},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Andersen-Kristoffersen-Larsen-Niedermann/95,
AUTHOR = {Andersen, J{\o}rgen H. and Kristoffersen, K{\aa}re J. and Larsen, Kim G. and Niedermann, Jesper},
TITLE = {Automatic synthesis of real time systems},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {535-546},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blum-Codenotti-Gemmell-Shahoumian/95,
AUTHOR = {Blum, Manuel and Codenotti, Bruno and Gemmell, Peter and Shahoumian, Troy},
TITLE = {Self-correcting for function fields of finite transcendental degree},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {547-557},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fortnow-Freivalds-Gasarch-Kummer-Kurtz-Smith-Stephan/95,
AUTHOR = {Fortnow, Lance and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Gasarch, William I. and Kummer, Martin and Kurtz, Stuart A. and Smith, Carl and Stephan, Frank},
TITLE = {Measure, category and learning theory},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {558-569},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Goles/95,
AUTHOR = {Cosnard, Michel and Goles, Eric},
TITLE = {A characterization of the existence of energies for neural networks},
BOOKTITLE = {Proceedings of the 22nd International Colloquium on Automata, Languages and Programming, ICALP'95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {570-580},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'a}n and G{\'e}cseg, Ferenc},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=944&spage=570},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{H-Konstantinidis/95,
AUTHOR = {H., J{\"u}rgensen and Konstantinidis, S.},
TITLE = {Variable-length codes for error correction},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {581-592},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Khuller-Rivlin-Rosenfeld/95,
AUTHOR = {Khuller, Samir and Rivlin, Ehud and Rosenfeld, Azriel},
TITLE = {Graphbots: Mobility in discrete spaces},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {593-604},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Koutny/95a,
AUTHOR = {Best, Eike and Koutny, Maciej},
TITLE = {Solving recursive net equations},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {605-623},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dawar-Hella-Kolaitis/95,
AUTHOR = {Dawar, Anuj and Hella, Lauri and Kolaitis, Phokion G.},
TITLE = {Implicit definability and infinitary logic in finite model theory},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {624-635},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vogler/95c,
AUTHOR = {Vogler, Walter},
TITLE = {The limit of $\mbox{split}_n$-language equivalence},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {636-647},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Natarajan-Cleaveland/95,
AUTHOR = {Natarajan, V. and Cleaveland, Rance},
TITLE = {Divergence and fair testing},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {648-659},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Degano-Priami/95,
AUTHOR = {Degano, Pierpaolo and Priami, Corrado},
TITLE = {Causality for mobile processes},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {660-671},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sangiorgi/95,
AUTHOR = {Sangiorgi, Davide},
TITLE = {Internal mobility and agent-passing calculi},
BOOKTITLE = {Proceedings of the 22nd Internatinal Colloquium on Automata, Languages and Programming, ICALP95 (Szeged, Hungary, July 10-14, 1995)},
SERIES = {LNCS},
VOLUME = {944},
PAGES = {672-683},
YEAR = {1995},
EDITOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and G{\'{e}}cseg, Ferenc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}