Search dblp for Publications

export results for "toc:db/conf/icalp/icalp97.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icalp/Ablayev97,
  author    = {Farid M. Ablayev},
  title     = {Randomization and Nondeterminism Are Comparable for Ordered Read-Once
               Branching Programs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {195--202},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/AlstrupHLT97,
  author    = {Stephen Alstrup and
               Jacob Holm and
               Kristian de Lichtenberg and
               Mikkel Thorup},
  title     = {Minimizing Diameters of Dynamic Trees},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {270--280},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Ambainis97,
  author    = {Andris Ambainis},
  title     = {Upper Bound on Communication Complexity of Private Information Retrieval},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {401--407},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/AndreevCR97,
  author    = {Alexander E. Andreev and
               Andrea E. F. Clementi and
               Jos{\'{e}} D. P. Rolim},
  title     = {Worst-Case Hardness Suffices for Derandomization: {A} New Method for
               Hardness-Randomness Trade-Offs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {177--187},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Apt97,
  author    = {Krzysztof R. Apt},
  title     = {From Chaotic Iteration to Constraint Propagation},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {36--55},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/AspertiL97,
  author    = {Andrea Asperti and
               Cosimo Laneve},
  title     = {On the Dynamics of Sharing Graphs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {259--269},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BaierCHKR97,
  author    = {Christel Baier and
               Edmund M. Clarke and
               Vasiliki Hartonas{-}Garmhausen and
               Marta Z. Kwiatkowska and
               Mark Ryan},
  title     = {Symbolic Model Checking for Probabilistic Processes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {430--440},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Bar-NoyK97,
  author    = {Amotz Bar{-}Noy and
               Guy Kortsarz},
  title     = {The Minimum Color Sum of Bipartite Graphs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {738--748},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BartalL97,
  author    = {Yair Bartal and
               Stefano Leonardi},
  title     = {On-Line Routing in All-Optical Networks},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {516--526},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BassinoBP97,
  author    = {Fr{\'{e}}d{\'{e}}rique Bassino and
               Marie{-}Pierre B{\'{e}}al and
               Dominique Perrin},
  title     = {Enumerative Sequences of Leaves in Rational Trees},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {76--86},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BeaudryLT97,
  author    = {Martin Beaudry and
               Fran{\c{c}}ois Lemieux and
               Denis Th{\'{e}}rien},
  title     = {Finite Loops Recognize Exactly the Regular Open Languages},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {110--120},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BeigelF97,
  author    = {Richard Beigel and
               Bin Fu},
  title     = {Molecular Computing, Bounded Nondeterminism, and Efficient Recursion},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {816--826},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Bernardo97,
  author    = {Marco Bernardo},
  title     = {An Algebra-Based Method to Associate Rewards with {EMPA} Terms},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {358--368},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BodlaenderT97,
  author    = {Hans L. Bodlaender and
               Dimitrios M. Thilikos},
  title     = {Constructive Linear Time Algorithms for Branchwidth},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {627--637},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BorealeNP97,
  author    = {Michele Boreale and
               Rocco {De Nicola} and
               Rosario Pugliese},
  title     = {Basic Observables for Processes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {482--492},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BouajjaniH97,
  author    = {Ahmed Bouajjani and
               Peter Habermehl},
  title     = {Symbolic Reachability Analysis of {FIFO} Channel Systems with Nonregular
               Sets of Configurations (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {560--570},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Bournez97,
  author    = {Olivier Bournez},
  title     = {Some Bounds on the Computational Power of Piecewise Constant Derivative
               Systems (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {143--153},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BroersmaKKM97,
  author    = {Hajo Broersma and
               Ton Kloks and
               Dieter Kratsch and
               Haiko M{\"{u}}ller},
  title     = {Independent Sets in Asteroidal Triple-Free Graphs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {760--770},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Bruyere97,
  author    = {V{\'{e}}ronique Bruy{\`{e}}re},
  title     = {A Completion Algorithm for Codes with Bounded Synchronization Delay},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {87--97},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BuccafurriGS97,
  author    = {Francesco Buccafurri and
               Sergio Greco and
               Domenico Sacc{\`{a}}},
  title     = {The Expressive Power of Unique Total Stable Model Semantics},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {849--859},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BuhrmanFF97,
  author    = {Harry Buhrman and
               Stephen A. Fenner and
               Lance Fortnow},
  title     = {Results on Resource-Bounded Measure},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {188--194},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/BurkartS97,
  author    = {Olaf Burkart and
               Bernhard Steffen},
  title     = {Model Checking the Full Modal Mu-Calculus for Infinite Sequential
               Processes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {419--429},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/CaceresDFFRRSS97,
  author    = {Edson C{\'{a}}ceres and
               Frank K. H. A. Dehne and
               Afonso Ferreira and
               Paola Flocchini and
               Ingo Rieping and
               Alessandro Roncato and
               Nicola Santoro and
               Siang W. Song},
  title     = {Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers
               and {BSP}},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {390--400},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/CartonP97,
  author    = {Olivier Carton and
               Dominique Perrin},
  title     = {The Wadge-Wagner Hierarchy of omega-Rational Sets},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {17--35},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Cassaigne97,
  author    = {Julien Cassaigne},
  title     = {On a Conjecture of J. Shallit},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {693--704},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/CodenottiEGK97,
  author    = {Bruno Codenotti and
               Funda Erg{\"{u}}n and
               Peter Gemmell and
               Ravi Kumar},
  title     = {Checking Properties of Polynomials (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {203--213},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/CosmoG97,
  author    = {Roberto Di Cosmo and
               Neil Ghani},
  title     = {On Modular Properties of Higher Order Extensional Lambda Calculi},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {237--247},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Dami97,
  author    = {Laurent Dami},
  title     = {Labelled Reductions, Runtime Errors and Operational Subsumption},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {782--793},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/DiekertMM97,
  author    = {Volker Diekert and
               Yuri V. Matiyasevich and
               Anca Muscholl},
  title     = {Solving Trace Equations Using Lexicographical Normal Forms},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {336--346},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/DrosteG97,
  author    = {Manfred Droste and
               Paul Gastin},
  title     = {On Recognizable and Rational Formal Power Series in Partially Commuting
               Variables},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {682--692},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Durand97,
  author    = {Bruno Durand},
  title     = {Tilings and Quasiperiodicity},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {65--75},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/EilamFZ97,
  author    = {Tamar Eilam and
               Michele Flammini and
               Shmuel Zaks},
  title     = {A Complete Characterization of the Path Layout Construction Problem
               for {ATM} Networks with Given Hop Count and Load (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {527--537},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/ErdosSSW97,
  author    = {P{\'{e}}ter L. Erd{\"{o}}s and
               Mike A. Steel and
               L{\'{a}}szl{\'{o}} A. Sz{\'{e}}kely and
               Tandy J. Warnow},
  title     = {Constructing Big Trees from Short Sequences},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {827--837},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Fokkink97,
  author    = {Wan Fokkink},
  title     = {Axiomatizations for the Perpetual Loop in Process Algebra},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {571--581},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/FrankelY97,
  author    = {Yair Frankel and
               Moti Yung},
  title     = {On Characterization of Escrow Encryption Schemes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {705--715},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Fu97,
  author    = {Yuxi Fu},
  title     = {A Proof Theoretical Approach to Communication},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {325--335},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Fujito97,
  author    = {Toshihiro Fujito},
  title     = {A Primal-Dual Approach to Approximation of Node-Deletion Problems
               for Matroidal Properties},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {749--759},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/GarganoHP97,
  author    = {Luisa Gargano and
               Pavol Hell and
               Stephane Perennes},
  title     = {Colouring Paths in Directed Symmetric Trees with Applications to {WDM}
               Routing},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {505--515},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/GiacobazziR97,
  author    = {Roberto Giacobazzi and
               Francesco Ranzato},
  title     = {Refining and Compressing Abstract Domains},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {771--781},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Gianantonio97,
  author    = {Pietro Di Gianantonio},
  title     = {An Abstract Data Type for Real Numbers},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {121--131},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/GrossiI97,
  author    = {Roberto Grossi and
               Giuseppe F. Italiano},
  title     = {Efficient Splitting and Merging Algorithms for Order Decomposable
               Problems (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {605--615},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/GurevichV97,
  author    = {Yuri Gurevich and
               Andrei Voronkov},
  title     = {Monadic Simultaneous Rigid E-Unification and Related Problems},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {154--165},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Hagerup97,
  author    = {Torben Hagerup},
  title     = {Dynamic Algorithms for Graphs of Bounded Treewidth},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {292--302},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/HarelS97,
  author    = {David Harel and
               Eli Singerman},
  title     = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic
               (abridged version)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {408--418},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/HemaspaandraHR97,
  author    = {Edith Hemaspaandra and
               Lane A. Hemaspaandra and
               J{\"{o}}rg Rothe},
  title     = {Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System
               is Complete for Parallel Access to {NP}},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {214--224},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/HenzingerK97,
  author    = {Monika Rauch Henzinger and
               Valerie King},
  title     = {Maintaining Minimum Spanning Trees in Dynamic Graphs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {594--604},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/HenzingerK97a,
  author    = {Thomas A. Henzinger and
               Peter W. Kopke},
  title     = {Discrete-Time Control for Rectangular Hybrid Automata},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {582--593},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/HondaY97,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {Game Theoretic Analysis of Call-by-Value Computation},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {225--236},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Jancar97,
  author    = {Petr Jancar},
  title     = {Bisimulation Equivalence is Decidable for One-Counter Processes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {549--559},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Jansen97,
  author    = {Klaus Jansen},
  title     = {Approximation Results for the Optimum Cost Partition Problem},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {727--737},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Kabanets97,
  author    = {Valentine Kabanets},
  title     = {Recognizability Equals Definability for Partial k-Paths},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {805--815},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/KaklamanisPEJ97,
  author    = {Christos Kaklamanis and
               Pino Persiano and
               Thomas Erlebach and
               Klaus Jansen},
  title     = {Constrained Bipartite Edge Coloring with Applications to Wavelength
               Routing},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {493--504},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/KarhumakiPM97,
  author    = {Juhani Karhum{\"{a}}ki and
               Wojciech Plandowski and
               Filippo Mignosi},
  title     = {The Expressibility of Languages and Relations by Word Equations},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {98--109},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/KhannaMS97,
  author    = {Sanjeev Khanna and
               S. Muthukrishnan and
               Steven Skiena},
  title     = {Efficient Array Partitioning},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {616--626},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/KhasidashviliG97,
  author    = {Zurab Khasidashvili and
               John R. W. Glauert},
  title     = {The Geometry of Orthogonal Reduction Spaces},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {649--659},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/KrumkeMNRRSW97,
  author    = {Sven Oliver Krumke and
               Madhav V. Marathe and
               Hartmut Noltemeier and
               R. Ravi and
               S. S. Ravi and
               Ravi Sundaram and
               Hans{-}Christoph Wirth},
  title     = {Improving Spanning Trees by Upgrading Nodes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {281--291},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/LandweberL97,
  author    = {Laura F. Landweber and
               Richard J. Lipton},
  title     = {DNA{\({^2}\)}DNA Computations: {A} Potential "Killer App"?},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {56--64},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/LathropL97,
  author    = {James I. Lathrop and
               Jack H. Lutz},
  title     = {Recursive Computational Depth},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {132--142},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/ManziniM97,
  author    = {Giovanni Manzini and
               Luciano Margara},
  title     = {A Complete and Efficiently Computable Topological Classification of
               D-dimensional Linear Cellular Automata over Z\({}_{\mbox{m}}\)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {794--804},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Marchiori97,
  author    = {Massimo Marchiori},
  title     = {The Theory of Vaccines},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {660--670},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/MasonT97,
  author    = {Ian A. Mason and
               Carolyn L. Talcott},
  title     = {A Semantically Sound Actor Tranlsation},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {369--378},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/MehlhornNU97,
  author    = {Kurt Mehlhorn and
               Stefan N{\"{a}}her and
               Christian Uhrig},
  title     = {The {LEDA} Platform of Combinatorial and Geometric Computing},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {7--16},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Milner97,
  author    = {Robin Milner},
  title     = {Graphical Calculi for Interaction (Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {1},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/NarendranO97,
  author    = {Paliath Narendran and
               Friedrich Otto},
  title     = {The Word Matching Problem Is Undecidable For Finite Special String-Rewriting
               Systems That Are Confluent},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {638--648},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Papadimitriou97,
  author    = {Christos H. Papadimitriou},
  title     = {NP-Completeness: {A} Retrospective},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {2--6},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/PhilippouW97,
  author    = {Anna Philippou and
               David Walker},
  title     = {On Confluence in the pi-Calculus},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {314--324},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/RielyH97,
  author    = {James Riely and
               Matthew Hennessy},
  title     = {Distributed Processes and Location Failures (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {471--481},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/RitterP97,
  author    = {Eike Ritter and
               Valeria de Paiva},
  title     = {On Explicit Substitution and Names (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {248--258},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Robson97,
  author    = {John Michael Robson},
  title     = {On the Concentration of the Height of Binary Search Trees},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {441--448},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Roura97,
  author    = {Salvador Roura},
  title     = {An Improved Master Theorem for Divide-and-Conquer Recurrences},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {449--459},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Ruggieri97,
  author    = {Salvatore Ruggieri},
  title     = {Termination of Constraint Logic Programs},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {838--848},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Sangiorgi97,
  author    = {Davide Sangiorgi},
  title     = {The Name Discipline of Uniform Receptiveness (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {303--313},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/SantisCP97,
  author    = {Alfredo De Santis and
               Giovanni Di Crescenzo and
               Giuseppe Persiano},
  title     = {Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {716--726},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/SchwiegelshohnT97,
  author    = {Uwe Schwiegelshohn and
               Lothar Thiele},
  title     = {Periodic and Non-periodic Min-Max Equations},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {379--389},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Senizergues97,
  author    = {G{\'{e}}raud S{\'{e}}nizergues},
  title     = {The Equivalence Problem for Deterministic Pushdown Automata is Decidable},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {671--681},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/VinkR97,
  author    = {Erik P. de Vink and
               Jan J. M. M. Rutten},
  title     = {Bisimulation for Probabilistic Transition Systems: {A} Coalgebraic
               Approach},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {460--470},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Vogler97,
  author    = {Walter Vogler},
  title     = {Efficiency of Asynchronous Systems and Read Arcs in Petri Nets},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {538--548},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Weihrauch97,
  author    = {Klaus Weihrauch},
  title     = {Computability on the Probability Measures on the Borel Sets of the
               Unit Interval},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {166--176},
  publisher = {Springer},
  year      = {1997}
}
@inproceedings{DBLP:conf/icalp/Wilke97,
  author    = {Thomas Wilke},
  title     = {Star-Free Picture Expressions are Strictly Weaker Than First-Order
               Logic},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {347--357},
  publisher = {Springer},
  year      = {1997}
}
@proceedings{DBLP:conf/icalp/1997,
  editor    = {Pierpaolo Degano and
               Roberto Gorrieri and
               Alberto Marchetti{-}Spaccamela},
  title     = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  publisher = {Springer},
  year      = {1997}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics