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 |