| Invited Talks and Tutorials |
| Phase Transitions in Computer Science / Jennifer Chayes |
| The Internet, the Web, and Algorithms / Christos H. Papadimitriou |
| Erd&odacute;s Magic / Joel Spencer |
| Open Problems in Computational Geometry / Jorge Urrutia |
| Quantum Algorithms / Umesh Vazirani |
| Testing and Checking of Finite State Systems / Mihalis Yannakakis |
| From Algorithms to Cryptography / Fabrizio Luccio ; Linda Pagli |
| Dihomotopy as a Tool in State Space Analysis / Éric Goubault ; Martin Raussen |
| Regular Contributions |
| Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan ; Ömer Eğecioğlu |
| An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marília D.V. Braga ; João Meidanis |
| Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny |
| Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy ; Jacques Sakarovitch |
| Weakly Iterated Block Products of Finite Monoids / Howard Straubing ; Denis Thérien |
| The Hidden Number Problem in Extension Fields and Its Applications / María Isabel González Vasco ; Mats Näslund ; Igor E. Shparlinski |
| The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis |
| Random Partitions with Non Negative rth Differences / Rod Canfield ; Sylvie Corteel ; Pawel Hitczenko |
| Beta-Expansions for Cubic Pisot Numbers / Frédérique Bassino |
| Facility Location Constrained to a Polygonal Domain / Prosenjit Bose ; Qingda Wang |
| A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann ; Niels Schmitt |
| A Metric Index for Approximate String Matching / Edgar Chávez ; Gonzalo Navarro |
| On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter |
| On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil ; Feodor F. Dragan ; Ekkehard Köhler |
| k-pseudosnakes in Large Grids / Martín Matamala ; Erich Prisner ; Ivan Rapaport |
| L(2, 1)-Coloring Matrogenic Graphs / Tiziana Calamoneri ; Rossella Petreschi |
| Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiú ; Artur Alves Pessoa ; Eduardo Sany Laber |
| Ancestor Problems on Pure Pointer Machines / Enrico Pontelli ; Desh Ranjan |
| Searching in Random Partially Ordered Sets / Renato Carmo ; Jair Donadelli ; Yoshiharu Kohayakawa ; Eduardo Laber |
| Packing Arrays / Brett Stevens ; Eric Mendelsohn |
| Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota ; Wojciech Szpankowski |
| An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan ; S. Cenk &Sbdot;ahinalp |
| Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest ; Anca Muscholl |
| Improved Exact Algorithms for Max-Sat / Jianer Chen ; Iyad A. Kanj |
| Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel ; Mariangiola Dezani-Ciancaglini |
| Parameters in Pure Type Systems / Roel Bloo ; Fairouz Kamareddine ; Twan Laan ; Rob Nederpelt |
| Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rūsiņš Freivalds ; Carl H. Smith |
| Verification of Embedded Reactive Fiffo Systems / Frédéric Herbreteau ; Franck Cassez ; Alain Finkel ; Olivier Roux ; Grégoire Sutre |
| Electronic Jury Voting Protocols / Alejandro Hevia ; Marcos Kiwi |
| Square Roots Modulo p / Gonzalo Tornaría |
| Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod ; Soohyun Oh ; Andréa W. Richa |
| Signals for Cellular Automata in Dimension 2 or Higher / Jean-Christophe Dubacq ; Véronique Terrier |
| Holographic Trees / Paolo Boldi ; Sebastiano Vigna |
| On the Spanning Ratio of Gabriel Graphs and β-skeletons / Luc Devroye ; William Evans ; David Kirkpatrick |
| In-Place Planar Convex Hull Algorithms / Hervé Brönnimann ; John Iacono ; Jyrki Katajainen ; Pat Morin ; Jason Morrison ; Godfried Toussaint |
| The Level Ancestor Problem Simplified / Michael A. Bender ; Martín Farach-Colton |
| Flow Metrics / Claudson F. Bornstein ; Santosh Vempala |
| On Logical Descriptions of Regular Languages |
| Computing Boolean Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy ; Xiaomin Chen |
| Inapproximability Results on Stable Marriage Problems / Magnús Halldórsson ; Kazuo Iwama ; Shuichi Miyazaki ; Yasufumi Morita |
| Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai ; Tami Tamir |
| On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand ; Thomas Erlebach |
| Massive Quasi-Clique Detection / James Abello ; Mauricio G.C. Resende ; Sandra Sudarsky |
| Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber ; Rolf Niedermeier |
| Author Index |
| Invited Talks and Tutorials |
| Phase Transitions in Computer Science / Jennifer Chayes |
| The Internet, the Web, and Algorithms / Christos H. Papadimitriou |
図書
