@incollection{Ganzinger/96,
AUTHOR = {Ganzinger, Harald},
TITLE = {Saturation-based theorem proving},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {1-3},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ranade/96,
AUTHOR = {Ranade, Abhiram},
TITLE = {Bandwidth efficient parallel computation},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {4-23},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bruyere-Latteux/96,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique and Latteux, Michel},
TITLE = {Variable-length maximal codes},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {24-47},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Razborov/96,
AUTHOR = {Razborov, Alexander A.},
TITLE = {Lower bounds for propositional proofs and independence results in bounded arithmetic},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {48-62},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen-Nicola/96,
AUTHOR = {Chen, Xiao Jun and Nicola, Rocco de},
TITLE = {Algebraic characterizations of decorated trace equivalences over tree-like structures},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {63-74},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Jenner-Vogler/96,
AUTHOR = {Jenner, Lars and Vogler, Walter},
TITLE = {Fast asynchronous systems in dense time},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {75-86},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lenzi/96,
AUTHOR = {Lenzi, Giacomo},
TITLE = {A hierarchy theorem for the $\mu$-calculus},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {87-97},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bradfield-Esparza-Mader/96,
AUTHOR = {Bradfield, Julian and Esparza, Javier and Mader, Angelika},
TITLE = {An effective tableau system for the linear time $\mu$-calculus},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {98-109},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Joung/96,
AUTHOR = {Joung, Yuh-Jzer},
TITLE = {Characterizing fairness implementability for multiparty interaction},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {110-121},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lucas/96,
AUTHOR = {Lucas, Salvador},
TITLE = {Termination of context-sensitive rewriting by rewriting},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {122-133},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cheng-Kozen/96,
AUTHOR = {Cheng, Allan and Kozen, Dexter},
TITLE = {A complete Gentzen-style axiomatization for set constraints},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {134-145},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Billaud/96,
AUTHOR = {Billaud, Michel},
TITLE = {Fatal errors in conditional expressions},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {146-157},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mossakowski/96,
AUTHOR = {Mossakowski, Till},
TITLE = {Different types of arrow between logical frameworks},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {158-169},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mitchell-Viswanathan/96a,
AUTHOR = {Mitchell, John and Viswanathan, Ramesh},
TITLE = {Effective models of polymorphism, subtyping and recursion},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {170-181},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bosscher-Griffioen/96,
AUTHOR = {Bosscher, D.J.B. and Griffioen, W.O.D.},
TITLE = {Regularity for a large class of context-free processes is decidable},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {182-193},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Caucal/96,
AUTHOR = {Caucal, Didier},
TITLE = {On infinite transition graphs having a decidable monadic theory},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {194-205},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Senizergues/96a,
AUTHOR = {S{\'{e}}nizergues, G{\'{e}}raud},
TITLE = {Semi-groups acting on context-free graphs},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {206-218},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lisovik/96,
AUTHOR = {Lisovik, Leonid P.},
TITLE = {Hard sets method and semilinear reservoir method with applications},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {219-231},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Flajolet-Gourdon-Panario/96,
AUTHOR = {Flajolet, Philippe and Gourdon, Xavier and Panario, Daniel},
TITLE = {Random polynomials and polynomial factorization},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {232-243},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Koppenhagen-Mayr/96,
AUTHOR = {Koppenhagen, Ulla and Mayr, Ernst W.},
TITLE = {Optimal Groebner base algorithms for binomial ideals},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {244-255},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kloks-Kratsch-Wong/96,
AUTHOR = {Kloks, T. and Kratsch, D. and Wong, C.K.},
TITLE = {Minimum fill-in on circle and circular-arc graphs},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {256-267},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chen/96f,
AUTHOR = {Chen, Zhi-Zhong},
TITLE = {Practical approximation schemes for maximum induced-subgraph problems on $K_{3,3}$-free or $K_5$-free graphs},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {268-279},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Koutsoupias-Papadimitriou-Yannakakis/96,
AUTHOR = {Koutsoupias, Elias and Papadimitriou, Christos and Yannakakis, Mihalis},
TITLE = {Searching a fixed graph},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {280-289},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Rauch_Henzinger-Thorup/96,
AUTHOR = {Rauch Henzinger, Monika and Thorup, Mikkel},
TITLE = {Improved sampling with applications to dynamic graph algorithms},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {290-299},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Pin/96,
AUTHOR = {Pin, Jean-Eric},
TITLE = {The expressive power of existential first order sentences of B{\"u}chi's sequential calculus},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {300-311},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1099&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kaivola/96,
AUTHOR = {Kaivola, Roope},
TITLE = {Fixpoints for Rabin tree automata make complementation easy},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {312-323},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hashiguchi/96,
AUTHOR = {Hashiguchi, Kosaburo},
TITLE = {New upper bounds to the limitedness of distance automata},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {324-335},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Raymond/96,
AUTHOR = {Raymond, Pascal},
TITLE = {Recognizing regular expressions by means of dataflow networks},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {336-347},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ablayev-Karpinski/96,
AUTHOR = {Ablayev, Farid and Karpinski, Marek},
TITLE = {On the power of randomized branching programs},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {348-356},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Andreev-Clementi-Rolim/96d,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Hitting sets derandomize $BPP$},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {357-368},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Book-Vollmer-Wagner/96,
AUTHOR = {Book, Ronald V. and Vollmer, Heribert and Wagner, Klaus W.},
TITLE = {On type-2 probabilistic quantifiers},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {369-380},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Wiedermann/96,
AUTHOR = {Wiedermann, Ji{\v{r}}{\'{i}}},
TITLE = {Speeding-up single-tape nondeterministic computations by single alternation, with separation results},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {381-392},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Julia/96,
AUTHOR = {Julia, Sandrine},
TITLE = {On $\omega$-generators and codes},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {393-402},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{de_Luca/96,
AUTHOR = {de Luca, Aldo},
TITLE = {On standard Sturmian morphisms},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {403-415},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ateniese-Blundo-Santis-Stinson/96,
AUTHOR = {Ateniese, Giuseppe and Blundo, Carlo and Santis, Alfredo de and Stinson, Douglas R.},
TITLE = {Constructions and bounds for visual cryptography},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {416-428},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Azar-Bartal-Feuerstein-Fiat-Leonardi-Rosen/96,
AUTHOR = {Azar, Yossi and Bartal, Yair and Feuerstein, Esteban and Fiat, Amos and Leonardi, Stefano and Ros{\'{e}}n, Adi},
TITLE = {On capital investment},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {429-441},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Miltersen/96,
AUTHOR = {Miltersen, Peter Bro},
TITLE = {Lower bounds for static dictionaries on RAMs with bit operations but no multiplication},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {442-453},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bradford-Reinert/96,
AUTHOR = {Bradford, Phillip G. and Reinert, Knut},
TITLE = {Lower bounds for row minima searching},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {454-465},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Shukla-Hunt-Rosenkrantz-Stearns/96,
AUTHOR = {Shukla, Sandeep K. and Hunt III, Harry B. and Rosenkrantz, Daniel J. and Stearns, Richard E.},
TITLE = {On the complexity of relational problems for finite state processes},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {466-477},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Jancar-Esparza/96,
AUTHOR = {Jan{\v{c}}ar, Petr and Esparza, Javier},
TITLE = {Deciding finiteness of Petri nets up to bisimulation},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {478-489},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bodei-Degano-Priami/96,
AUTHOR = {Bodei, Chiara and Degano, Pierpaolo and Priami, Corrado},
TITLE = {Mobile processes with a distributed environment},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {490-501},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{van_Glabbeek/96,
AUTHOR = {van Glabbeek, R.J.},
TITLE = {The meaning of negative premises in transition system specifications II},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {502-513},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Albers-Mitzenmacher/96,
AUTHOR = {Albers, Susanne and Mitzenmacher, Michael},
TITLE = {Average case analyses of list update algorithms, with applications to data compression},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {514-525},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1099&spage=514},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Schulz-Schomer/96,
AUTHOR = {Schulz, Frank and Sch{\"o}mer, Elmar},
TITLE = {Self-organizing data structures with dependent accesses},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {526-537},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Choi-Golin-Golin/96,
AUTHOR = {Choi, Vicky Siu-Ngan and Golin, Mordecai and Golin, M.},
TITLE = {Lopsided trees: Analyses, algorithms, and applications},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {538-549},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Farach-Muthukrishnan/96a,
AUTHOR = {Farach, Martin and Muthukrishnan, S.},
TITLE = {Optimal logarithmic time randomized suffix tree construction},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {550-561},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Alon-Srinivasan/96,
AUTHOR = {Alon, Noga and Srinivasan, Aravind},
TITLE = {Improved parallel approximation of a class of integer programming problems},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {562-573},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Bermond-Gargano-Perennes-Rescigno-Vaccaro/96,
AUTHOR = {Bermond, J.-C. and Gargano, L. and Perennes, S. and Rescigno, A.A. and Vaccaro, U.},
TITLE = {Efficient collective communication in optical networks},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {574-585},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chlebus-Gambin-Indyk/96,
AUTHOR = {Chlebus, Bogdan S. and Gambin, Anna and Indyk, Piotr},
TITLE = {Shared-memory simulations on a faulty-memory DMM},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {586-597},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Herley-Pietracaprina-Pucci/96,
AUTHOR = {Herley, Kieran T. and Pietracaprina, Andrea and Pucci, Geppino},
TITLE = {Fast deterministic backtrack search},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {598-609},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Yu-Yung/96,
AUTHOR = {Yu, Xiangdong and Yung, Moti},
TITLE = {Agent rendezvous: A dynamic symmetry-breaking problem},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {610-621},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Aumann-Bender/96a,
AUTHOR = {Aumann, Yonatan and Bender, Michael A.},
TITLE = {Efficient asynchronous consensus with the value-oblivious adversary scheduler},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {622-633},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Cowen-Feigenbaum-Kannan/96,
AUTHOR = {Cowen, Lenor and Feigenbaum, Joan and Kannan, Sampath},
TITLE = {A formal framework for evaluating heuristic programs},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {634-645},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Chakrabarti-Phillips-Schulz-Shmoys-Stein-Wein/96,
AUTHOR = {Chakrabarti, Soumen and Phillips, Cynthia A. and Schulz, Andreas S. and Shmoys, David B. and Stein, Cliff and Wein, Joel},
TITLE = {Improved scheduling algorithms for minsum criteria},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {646-657},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Paterson-Przytycka/96a,
AUTHOR = {Paterson, Mike and Przytycka, Teresa},
TITLE = {On the complexity of string folding},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {658-669},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fernandez-Baca-Lagergren/96,
AUTHOR = {Fern{\'{a}}ndez-Baca, David and Lagergren, Jens},
TITLE = {A polynomial-time algorithm for near-perfect phylogeny},
BOOKTITLE = {Proceedings of the 23rd International Colloquium on Automata, Languages and Programming, ICALP'96 (Paderborn, Germany, July 8-12, 1996)},
SERIES = {LNCS},
VOLUME = {1099},
PAGES = {670-680},
YEAR = {1996},
EDITOR = {Meyer auf der Heide, F. and Monien, B.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}