26. ICALP 1999: Prague, Czech Republic

@proceedings{DBLP:conf/icalp/99,
  editor    = {Jir\'{\i} Wiedermann and
               Peter van Emde Boas and
               Mogens Nielsen},
  title     = {Automata, Languages and Programming, 26th International Colloquium,
               ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1644},
  year      = {1999},
  isbn      = {3-540-66224-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Miklós Ajtai:
  Generating Hard Instances of the Short Basis Problem. 1-9
  Electronic Edition (Springer LINK) BibTeX
• Luca Cardelli:
  Wide Area Computation. 10-24
  Electronic Edition (Springer LINK) BibTeX
• Kevin J. Compton, Scott Dexter:
  Proof Techniques for Cryptographic Protocols. 25-39
  Electronic Edition (Springer LINK) BibTeX
• Karl Crary, J. Gregory Morrisett:
  Type Structure for Low-Level Programming Languages. 40-54
  Electronic Edition (Springer LINK) BibTeX
• Felipe Cucker:
  Real Computations with Fake Numbers. 55-73
  Electronic Edition (Springer LINK) BibTeX
• N. G. de Bruijn:
  A Model for Associative Memory, a Basis for Thinking and Consciousness. 74-89
  Electronic Edition (Springer LINK) BibTeX
• Abbas Edalat, Marko Krznaric:
  Numerical Integration with Exact Real Arithmetic. 90-104
  Electronic Edition (Springer LINK) BibTeX
• Juris Hartmanis:
  Observations about the Nature and State of Computer Science (Keynote Address). 105
  Electronic Edition (Springer LINK) BibTeX
• Grzegorz Rozenberg, Arto Salomaa:
  DNA Computing: New Ideas and Paradigms. 106-118
  Electronic Edition (Springer LINK) BibTeX
• Jeffrey Scott Vitter:
  Online Data Structures in External Memory. 119-133
  Electronic Edition (Springer LINK) BibTeX
• Osamu Watanabe:
  From Computational Learning Theory to Discovery Science. 134-148
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Eric Allender, Andris Ambainis, David A. Mix Barrington, Samir Datta, Huong LeThanh:
  Bounded Depth Arithmetic Circuits: Counting and Closure. 149-158
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled:
  Parametric Temporal Logic for "Model Measuring". 159-168
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Sampath Kannan, Mihalis Yannakakis:
  Communicating Hierarchical State Machines. 169-178
  Electronic Edition (Springer LINK) BibTeX
• Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim:
  Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs. 179-189
  Electronic Edition (Springer LINK) BibTeX
• Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
  General Morphisms of Petri Nets (Extended Abstract). 190-199
  Electronic Edition (Springer LINK) BibTeX
• Piotr Berman, Marek Karpinski:
  On Some Tighter Inapproximability Results (Extended Abstract). 200-209
  Electronic Edition (Springer LINK) BibTeX
• Patricia Bouyer, Antoine Petit:
  Decomposition and Composition of Timed Automata. 210-219
  Electronic Edition (Springer LINK) BibTeX
• Harry Buhrman, Tao Jiang, Ming Li, Paul M. B. Vitányi:
  New Applications of the Incompressibility Method. 220-229
  Electronic Edition (Springer LINK) BibTeX
• Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli:
  Mobility Types for Mobile Ambients. 230-239
  Electronic Edition (Springer LINK) BibTeX
• Peter Clote:
  Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains. 240-249
  Electronic Edition (Springer LINK) BibTeX
• Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes:
  Decidable Fragments of Simultaneous Rigid Reachability. 250-260
  Electronic Edition (Springer LINK) BibTeX
• Maxime Crochemore, Filippo Mignosi, Antonio Restivo, Sergio Salemi:
  Text Compression Using Antidictionaries. 261-270
  Electronic Edition (Springer LINK) BibTeX
• Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano:
  Non-Interactive Zero-Knowledge: A Low-Randomness Characterization of NP. 271-280
  Electronic Edition (Springer LINK) BibTeX
• Martin Dickhöfer, Thomas Wilke:
  Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. 281-290
  Electronic Edition (Springer LINK) BibTeX
• Yevgeniy Dodis, Sanjeev Khanna:
  Space Time Tradeoffs for Graph Properties. 291-300
  Electronic Edition (Springer LINK) BibTeX
• Catherine Dufourd, Petr Jancar, Ph. Schnoebelen:
  Boundedness of Reset P/T Nets. 301-310
  Electronic Edition (Springer LINK) BibTeX
• Joost Engelfriet, Hendrik Jan Hoogeboom:
  Two-Way Finite State Transducers and Monadic Second-Order Logic. 311-320
  Electronic Edition (Springer LINK) BibTeX
• Sergio Flesca, Sergio Greco:
  Partially Ordered Regular Languages for Graph Queries. 321-330
  Electronic Edition (Springer LINK) BibTeX
• Markus Frick, Martin Grohe:
  Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. 331-340
  Electronic Edition (Springer LINK) BibTeX
• Vashti Galpin:
  Comparison of Process Algebra Equivalences Using Formats. 341-350
  Electronic Edition (Springer LINK) BibTeX
• Cyril Gavoille, Nicolas Hanusse:
  Compact Routing Tables for Graphs of Bounded Genus. 351-360
  Electronic Edition (Springer LINK) BibTeX
• Georg Gottlob, Nicola Leone, Francesco Scarcello:
  Computing LOGCFL Certificates. 361-371
  Electronic Edition (Springer LINK) BibTeX
• Roberto Grossi, Giuseppe F. Italiano:
  Efficient Techniques for Maintaining Multidimensional Keys in Linked Data Structures. 372-381
  Electronic Edition (Springer LINK) BibTeX
• Arvind Gupta, Damon Kaller, Thomas C. Shermer:
  On the Complements of Partial k-Trees. 382-391
  Electronic Edition (Springer LINK) BibTeX
• Mikael Hammar, Bengt J. Nilsson:
  Approximation Results for Kinetic Variants of TSP. 392-401
  Electronic Edition (Springer LINK) BibTeX
• Yehuda Hassin, David Peleg:
  Distributed Probabilistic Polling and Applications to Proportionate Agreement. 402-411
  Electronic Edition (Springer LINK) BibTeX
• Yoram Hirshfeld, Mark Jerrum:
  Bisimulation Equivanlence Is Decidable for Normed Process Algebra. 412-421
  Electronic Edition (Springer LINK) BibTeX
• Yoram Hirshfeld, Alexander Moshe Rabinovich:
  A Framework for Decidable Metrical Logics. 422-432
  Electronic Edition (Springer LINK) BibTeX
• Juraj Hromkovic, Georg Schnitger:
  On the Power of Las Vegas II. Two-Way Finite Automata. 433-442
  Electronic Edition (Springer LINK) BibTeX
• Kazuo Iwama, David Manlove, Shuichi Miyazaki, Yasufumi Morita:
  Stable Marriage with Incomplete Lists and Ties. 443-452
  Electronic Edition (Springer LINK) BibTeX
• Tao Jiang, Ming Li, Paul M. B. Vitányi:
  Average-Case Complexity of Shellsort. 453-462
  Electronic Edition (Springer LINK) BibTeX
• Dong Kyue Kim, Kunsoo Park:
  Linear-Time Construction of Two-Dimensional Suffix Trees. 463-472
  Electronic Edition (Springer LINK) BibTeX
• Daniel Kirsten:
  A Connection between the Star Problem and the Finite Power Property in Trace Monoids. 473-482
  Electronic Edition (Springer LINK) BibTeX
• Daniel Kirsten, Jerzy Marcinkowski:
  Two Techniques in the Area of the Star Problem. 483-492
  Electronic Edition (Springer LINK) BibTeX
• Matthias Krause, Petr Savický, Ingo Wegener:
  Approximations by OBDDs and the Variable Ordering Problem. 493-502
  Electronic Edition (Springer LINK) BibTeX
• Antonín Kucera, Richard Mayr:
  Simulation Preorder on Simple Process Algebras. 503-512
  Electronic Edition (Springer LINK) BibTeX
• Cosimo Laneve, Björn Victor:
  Solos in Concert. 513-523
  Electronic Edition (Springer LINK) BibTeX
• Mark Lanthier, Anil Maheshwari, Jörg-Rüdiger Sack:
  Shortest Anisotropic Paths on Terrains. 524-533
  Electronic Edition (Springer LINK) BibTeX
• Arto Lepistö:
  Relations between Local and Global Periodicity of Words. 534-543
  Electronic Edition (Springer LINK) BibTeX
• Andrzej Lingas, Hans Olsson, Anna Östlin:
  Efficient Merging, Construction, and Maintenance of Evolutionary Trees. 544-553
  Electronic Edition (Springer LINK) BibTeX
• Marino Miculan:
  Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. 554-564
  Electronic Edition (Springer LINK) BibTeX
• Codrin M. Nichitiu, Eric Rémila:
  Leader Election by d Dimensional Cellular Automata. 565-574
  Electronic Edition (Springer LINK) BibTeX
• Rolf Niedermeier, Peter Rossmanith:
  New Upper Bounds for MaxSat. 575-584
  Electronic Edition (Springer LINK) BibTeX
• Vadim Olshevsky, Victor Y. Pan:
  Polynomial and Rational Evaluation and Interpolation (with Structured Matrices). 585-594
  Electronic Edition (Springer LINK) BibTeX
• Rasmus Pagh:
  Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time. 595-604
  Electronic Edition (Springer LINK) BibTeX
• Timo Peichl, Heribert Vollmer:
  Finite Automata with Generalized Acceptance Criteria. 605-614
  Electronic Edition (Springer LINK) BibTeX
• David Peleg, Eilon Reshef:
  A Variant of the Arrow Distributed Directory with Low Average Complexity. 615-624
  Electronic Edition (Springer LINK) BibTeX
• John Power, Hayo Thielecke:
  Closed Freyd- and kappa-categories. 625-634
  Electronic Edition (Springer LINK) BibTeX
• Jon G. Riecke, Hayo Thielecke:
  Typed Exeptions and Continuations Cannot Macro-Express Each Other. 635-644
  Electronic Edition (Springer LINK) BibTeX
• Jan J. M. M. Rutten:
  Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. 645-654
  Electronic Edition (Springer LINK) BibTeX
• Peter Sanders:
  Accessing Multiple Sequences Through Set Associative Caches. 655-664
  Electronic Edition (Springer LINK) BibTeX
• Géraud Sénizergues:
  T(A) = T(B)? 665-675
  Electronic Edition (Springer LINK) BibTeX
• Mario Szegedy:
  Many-Valued Logics and Holographic Proofs. 676-686
  Electronic Edition (Springer LINK) BibTeX
• Christopher Umans:
  On the Complexity and Inapproximability of Shortest Implicant Problems. 687-696
  Electronic Edition (Springer LINK) BibTeX
• Klaus Weihrauch, Ning Zhong:
  The Wave Propagator Is Turing Computable. 697-707
  Electronic Edition (Springer LINK) BibTeX
• Gerhard J. Woeginger:
  An FPTAS for Agreeably Weighted Variance on a Single Machine. 707-716
  Electronic Edition (Springer LINK) BibTeX
• Alexandre Tiskin:
  Erratum: Bulk-synchronous Parallel Multiplication of Boolean Matrices. 717-718
  Electronic Edition (Springer LINK) BibTeX