5. LATIN 2002: Cancun, Mexico

Sergio Rajsbaum (Ed.): LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Lecture Notes in Computer Science 2286 Springer 2002, ISBN 3-540-43400-3 BibTeX

@proceedings{DBLP:conf/latin/2002,
  editor    = {Sergio Rajsbaum},
  title     = {LATIN 2002: Theoretical Informatics, 5th Latin American Symposium,
               Cancun, Mexico, April 3-6, 2002, Proceedings},
  booktitle = {LATIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2286},
  year      = {2002},
  isbn      = {3-540-43400-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks and Tutorials

Jennifer T. Chayes:
Phase Transitions in Computer Science. 1
Electronic Edition (Springer LINK) BibTeX
Christos H. Papadimitriou:
The Internet, the Web, and Algorithms. 2
Electronic Edition (Springer LINK) BibTeX
Joel Spencer:
Erdos Magic. 3
Electronic Edition (Springer LINK) BibTeX
Jorge Urrutia:
Open Problems in Computational Geometry. 4-11
Electronic Edition (Springer LINK) BibTeX
Umesh V. Vazirani:
Quantum Algorithms. 12-13
Electronic Edition (Springer LINK) BibTeX
Mihalis Yannakakis:
Testing and Checking of Finite State Systems. 14
Electronic Edition (Springer LINK) BibTeX
Fabrizio Luccio, Linda Pagli:
From Algorithms to Cryptography. 15
Electronic Edition (Springer LINK) BibTeX
Eric Goubault, Martin Raußen:
Dihomotopy as a Tool in State Space Analysis. 16-37
Electronic Edition (Springer LINK) BibTeX

Regular Contributions

Abdullah N. Arslan, Ömer Egecioglu:
Algorithms for Local Alignment with Length Constraints. 38-51
Electronic Edition (Springer LINK) BibTeX
Marília D. V. Braga, Joao Meidanis:
An Algorithm That Builds a Set of Strings Given Its Overlap Graph. 52-63
Electronic Edition (Springer LINK) BibTeX
Christiane Frougny:
Conversion between Two Multiplicatively Dependent Linear Numeration Systems. 64-75
Electronic Edition (Springer LINK) BibTeX
Sylvain Lombardy, Jacques Sakarovitch:
Star Height of Reversible Languages and Universal Automata. 76-90
Electronic Edition (Springer LINK) BibTeX
Howard Straubing, Denis Thérien:
Weakly Iterated Block Products of Finite Monoids. 91-104
Electronic Edition (Springer LINK) BibTeX
Maria Isabel Gonzalez Vasco, Mats Näslund, Igor Shparlinski:
The Hidden Number Problem in Extension Fields and Its Applications. 105-117
Electronic Edition (Springer LINK) BibTeX
Theodoulos Garefalakis:
The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves. 118-130
Electronic Edition (Springer LINK) BibTeX
E. Rodney Canfield, Sylvie Corteel, Pawel Hitczenko:
Random Partitions with Non Negative r^th Differences. 131-140
Electronic Edition (Springer LINK) BibTeX
Frédérique Bassino:
Beta-Expansions for Cubic Pisot Numbers. 141-152
Electronic Edition (Springer LINK) BibTeX
Prosenjit Bose, Qingda Wang:
Facility Location Constrained to a Polygonal Domain. 153-164
Electronic Edition (Springer LINK) BibTeX
Hanno Lefmann, Niels Schmitt:
A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three. 165-180
Electronic Edition (Springer LINK) BibTeX
Edgar Chávez, Gonzalo Navarro:
A Metric Index for Approximate String Matching. 181-195
Electronic Edition (Springer LINK) BibTeX
Wojciech Rytter:
On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm. 196-208
Electronic Edition (Springer LINK) BibTeX
Derek G. Corneil, Feodor F. Dragan, Ekkehard Köhler:
On the Power of BFS to Determine a Graphs Diameter. 209-223
Electronic Edition (Springer LINK) BibTeX
Martín Matamala, Erich Prisner, Ivan Rapaport:
k-pseudosnakes in Large Grids. 224-235
Electronic Edition (Springer LINK) BibTeX
Tiziana Calamoneri, Rossella Petreschi:
L(2, 1)-Coloring Matrogenic Graphs. 236-247
Electronic Edition (Springer LINK) BibTeX
Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber:
Pipeline Transportation of Petroleum Products with No Due Dates. 248-262
Electronic Edition (Springer LINK) BibTeX
Enrico Pontelli, Desh Ranjan:
Ancestor Problems on Pure Pointer Machines. 263-277
Electronic Edition (Springer LINK) BibTeX
Renato Carmo, Jair Donadelli, Yoshiharu Kohayakawa, Eduardo Sany Laber:
Searching in Random Partially Ordered Sets. 278-292
Electronic Edition (Springer LINK) BibTeX
Brett Stevens, Eric Mendelsohn:
Packing Arrays. 293-305
Electronic Edition (Springer LINK) BibTeX
Michael Drmota, Wojciech Szpankowski:
Generalized Shannon Code Minimizes the Maximal Redundancy. 306-318
Electronic Edition (Springer LINK) BibTeX
S. Muthukrishnan, Süleyman Cenk Sahinalp:
An Improved Algorithm for Sequence Comparison with Block Reversals. 319-325
Electronic Edition (Springer LINK) BibTeX
Blaise Genest, Anca Muscholl:
Pattern Matching and Membership for Hierarchical Message Sequence Charts. 326-340
Electronic Edition (Springer LINK) BibTeX
Jianer Chen, Iyad A. Kanj:
Improved Exact Algorithms for MAX-SAT. 341-355
Electronic Edition (Springer LINK) BibTeX
Steffen van Bakel, Mariangiola Dezani-Ciancaglini:
Characterising Strong Normalisation for Explicit Substitutions. 356-370
Electronic Edition (Springer LINK) BibTeX
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Parameters in Pure Type Systems. 371-385
Electronic Edition (Springer LINK) BibTeX
Rusins Freivalds, Carl H. Smith:
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications. 386-399
Electronic Edition (Springer LINK) BibTeX
Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre:
Verification of Embedded Reactive Fiffo Systems. 400-414
Electronic Edition (Springer LINK) BibTeX
Alejandro Hevia, Marcos A. Kiwi:
Electronic Jury Voting Protocols. 415-429
Electronic Edition (Springer LINK) BibTeX
Gonzalo Tornaría:
Square Roots Modulo p. 430-434
Electronic Edition (Springer LINK) BibTeX
Goran Konjevod, Soohyun Oh, Andréa W. Richa:
Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities. 435-450
Electronic Edition (Springer LINK) BibTeX
Jean-Christophe Dubacq, Véronique Terrier:
Signals for Cellular Automata in Dimension 2 or Higher. 451-464
Electronic Edition (Springer LINK) BibTeX
Paolo Boldi, Sebastiano Vigna:
Holographic Trees. 465-478
Electronic Edition (Springer LINK) BibTeX
Prosenjit Bose, Luc Devroye, William S. Evans, David G. Kirkpatrick:
On the Spanning Ratio of Gabriel Graphs and beta-skeletons. 479-493
Electronic Edition (Springer LINK) BibTeX
Hervé Brönnimann, John Iacono, Jyrki Katajainen, Pat Morin, Jason Morrison, Godfried T. Toussaint:
In-Place Planar Convex Hull Algorithms. 494-507
Electronic Edition (Springer LINK) BibTeX
Michael A. Bender, Martin Farach-Colton:
The Level Ancestor Problem Simplified. 508-515
Electronic Edition (Springer LINK) BibTeX
Claudson F. Bornstein, Santosh Vempala:
Flow Metrics. 516-527
Electronic Edition (Springer LINK) BibTeX
Howard Straubing:
On Logical Descriptions of Regular Languages. 528-538
Electronic Edition (Springer LINK) BibTeX
Mario Szegedy, Xiaomin Chen:
Computing Boolean Functions from Multiple Faulty Copies of Input Bits. 539-553
Electronic Edition (Springer LINK) BibTeX
Magnús M. Halldórsson, Kazuo Iwama, Shuichi Miyazaki, Yasufumi Morita:
Inapproximability Results on Stable Marriage Problems. 554-568
Electronic Edition (Springer LINK) BibTeX
Hadas Shachnai, Tami Tamir:
Tight Bounds for Online Class-Constrained Packing. 569-583
Electronic Edition (Springer LINK) BibTeX
R. Sai Anand, Thomas Erlebach:
On-line Algorithms for Edge-Disjoint Paths in Trees of Rings. 584-597
Electronic Edition (Springer LINK) BibTeX
James Abello, Mauricio G. C. Resende, Sandra Sudarsky:
Massive Quasi-Clique Detection. 598-612
Electronic Edition (Springer LINK) BibTeX
Jochen Alber, Rolf Niedermeier:
Improved Tree Decomposition Based Algorithms for Domination-like Problems. 613-628
Electronic Edition (Springer LINK) BibTeX