@proceedings{DBLP:conf/latin/2002,
  editor    = {Sergio Rajsbaum},
  title     = {LATIN '02, 5th Latin American Symposium on Theoretical Informatics, 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}
}

@InProceedings{i02-p1,
  AUTHOR    = {Jennifer Chayes},
  TITLE     = {Phase Transitions in Computer Science},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {1},
  KEYWORDS  = {}}

@InProceedings{i02-p2,
  AUTHOR    = {Christos Papadimitriou},
  TITLE     = {The Internet, the Web, and Algorithms},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {2},
  KEYWORDS  = {}}

@InProceedings{i02-p3,
  AUTHOR    = {Joel Spencer},
  TITLE     = {Erd\H os Magic},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {3},
  KEYWORDS  = {}}

@InProceedings{i02-p4-11,
  AUTHOR    = {Jorge Urrutia},
  TITLE     = {Open Problems in Computational Geometry},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {4--11},
  KEYWORDS  = {}}

@InProceedings{i02-p12-13,
  AUTHOR    = {Umesh~V. Vazirani},
  TITLE     = {Quantum Algorithms},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {12--13},
  KEYWORDS  = {}}

@InProceedings{i02-p14,
  AUTHOR    = {Mihalis Yannakakis},
  TITLE     = {Testing and Checking of Finite State Systems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {14},
  KEYWORDS  = {}}

@InProceedings{l02-p15,
  AUTHOR    = {Fabrizio Luccio and Linda Pagli},
  TITLE     = {From Algorithms to Cryptography},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {15},
  KEYWORDS  = {}}

@InProceedings{l02-p16-37,
  AUTHOR    = {Eric Goubault and Martin Raussen},
  TITLE     = {Dihomotopy as a Tool in State Space Analysis},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {16--37},
  KEYWORDS  = {}}

@InProceedings{l02-p38-51,
  AUTHOR    = {Abdullah~N. Arslan and \"Omer Egecioglu},
  TITLE     = {Algorithms for Local Alignment with Length Constraints},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {38--51},
  KEYWORDS  = {}}

@InProceedings{l02-p52-63,
  AUTHOR    = {Mar\'{\i}lia~D.~V. Braga and Joao Meidanis},
  TITLE     = {An Algorithm That Builds a Set of Strings Given Its Overlap Graph},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {52--63},
  KEYWORDS  = {}}

@InProceedings{l02-p64-75,
  AUTHOR    = {Christiane Frougny},
  TITLE     = {Conversion between Two Multiplicatively Dependent Linear Numeration Systems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {64--75},
  KEYWORDS  = {}}

@InProceedings{l02-p76-90,
  AUTHOR    = {Sylvain Lombardy and Jacques Sakarovitch},
  TITLE     = {Star Height of Reversible Languages and Universal Automata},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {76--90},
  KEYWORDS  = {}}

@InProceedings{l02-p91-104,
  AUTHOR    = {Howard Straubing and Denis Th\'erien},
  TITLE     = {Weakly Iterated Block Products of Finite Monoids},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {91--104},
  KEYWORDS  = {}}

@InProceedings{l02-p105-117,
  AUTHOR    = {Maria~Isabel Gonzalez~Vasco and Mats N\"aslund and Igor Shparlinski},
  TITLE     = {The Hidden Number Problem in Extension Fields and Its Applications},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {105--117},
  KEYWORDS  = {}}

@InProceedings{l02-p118-130,
  AUTHOR    = {Theodoulos Garefalakis},
  TITLE     = {The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {118--130},
  KEYWORDS  = {}}

@InProceedings{l02-p131-140,
  AUTHOR    = {Rod Canfield and Sylvie Corteel and Pawel Hitczenko},
  TITLE     = {Random Partitions with Non Negative rth Differences},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {131--140},
  KEYWORDS  = {}}

@InProceedings{l02-p141-152,
  AUTHOR    = {Fr\'ed\'erique Bassino},
  TITLE     = {Beta-Expansions for Cubic Pisot Numbers},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {141--152},
  KEYWORDS  = {}}

@InProceedings{l02-p153-164,
  AUTHOR    = {Prosenjit Bose and Qingda Wang},
  TITLE     = {Facility Location Constrained to a Polygonal Domain},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {153--164},
  KEYWORDS  = {}}

@InProceedings{l02-p165-180,
  AUTHOR    = {Hanno Lefmann and Niels Schmitt},
  TITLE     = {A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {165--180},
  KEYWORDS  = {}}

@InProceedings{l02-p181-195,
  AUTHOR    = {Edgar Ch\'avez and Gonzalo Navarro},
  TITLE     = {A Metric Index for Approximate String Matching},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {181--195},
  KEYWORDS  = {}}

@InProceedings{l02-p196-208,
  AUTHOR    = {Wojciech Rytter},
  TITLE     = {On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {196--208},
  KEYWORDS  = {}}

@InProceedings{l02-p209-223,
  AUTHOR    = {Derek~G. Corneil and Feodor F.~Dragan and Ekkehard K\"ohler},
  TITLE     = {On the Power of BFS to Determine a Graphs Diameter},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {209--223},
  KEYWORDS  = {}}

@InProceedings{l02-p224-235,
  AUTHOR    = {Mart\'{\i}n Matamala and Erich Prisner and Ivan Rapaport},
  TITLE     = {\(k\)-pseudosnakes in Large Grids},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {224--235},
  KEYWORDS  = {}}

@InProceedings{l02-p236-247,
  AUTHOR    = {Tiziana Calamoneri and Rossella Petreschi},
  TITLE     = {\(L(2, 1)\)-Coloring Matrogenic Graphs},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {236--247},
  KEYWORDS  = {}}

@InProceedings{l02-p248-262,
  AUTHOR    = {Ruy~Luiz Milidi\'u and Artur~Alves Pessoa and Eduardo~Sany Laber},
  TITLE     = {Pipeline Transportation of Petroleum Products with No Due Dates},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {248--262},
  KEYWORDS  = {}}

@InProceedings{l02-p263-277,
  AUTHOR    = {Enrico Pontelli and Desh Ranjan},
  TITLE     = {Ancestor Problems on Pure Pointer Machines},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {263--277},
  KEYWORDS  = {}}

@InProceedings{l02-p278-292,
  AUTHOR    = {Renato Carmo and Jair Donadelli and Yoshiharu Kohayakawa and Eduardo~Sany Laber},
  TITLE     = {Searching in Random Partially Ordered Sets},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {278--292},
  KEYWORDS  = {}}

@InProceedings{l02-p293-305,
  AUTHOR    = {Brett Stevens and Eric Mendelsohn},
  TITLE     = {Packing Arrays},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {293--305},
  KEYWORDS  = {}}

@InProceedings{l02-p306-318,
  AUTHOR    = {Michael Drmota and Wojciech Szpankowski},
  TITLE     = {Generalized Shannon Code Minimizes the Maximal Redundancy},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {306--318},
  KEYWORDS  = {}}

@InProceedings{l02-p319-325,
  AUTHOR    = {S. Muthukrishnan and Cenk Sahinalp},
  TITLE     = {An Improved Algorithm for Sequence Comparison with Block Reversals},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {319--325},
  KEYWORDS  = {}}

@InProceedings{l02-p326-340,
  AUTHOR    = {Blaise Genest and Anca Muscholl},
  TITLE     = {Pattern Matching and Membership for Hierarchical Message Sequence Charts},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {326--340},
  KEYWORDS  = {}}

@InProceedings{l02-p341-355,
  AUTHOR    = {Jianer Chen and Iyad Kanj},
  TITLE     = {Improved Exact Algorithms for MAX-SAT},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {341--355},
  KEYWORDS  = {}}

@InProceedings{l02-p356-370,
  AUTHOR    = {Steffen van~Bakel and Mariangiola Dezani-Ciancaglini},
  TITLE     = {Characterising Strong Normalisation for Explicit Substitutions},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {356--370},
  KEYWORDS  = {}}

@InProceedings{l02-p371-385,
  AUTHOR    = {Roel Bloo and Fairouz Kamareddine and Twan Laan and Rob Nederpelt},
  TITLE     = {Parameters in Pure Type Systems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {371--385},
  KEYWORDS  = {}}

@InProceedings{l02-p386-399,
  AUTHOR    = {Rusins Freivalds and Carl~H. Smith},
  TITLE     = {Category, Measure, Inductive Inference: A Triality Theorem and Its Applications},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {386--399},
  KEYWORDS  = {}}

@InProceedings{l02-p400-414,
  AUTHOR    = {Fr\'ed\'eric Herbreteau and Franck Cassez and Alain Finkel and Olivier Roux and Gr\'egoire Sutre},
  TITLE     = {Verification of Embedded Reactive Fiffo Systems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {400--414},
  KEYWORDS  = {}}

@InProceedings{l02-p415-429,
  AUTHOR    = {Alejandro Hevia and Marcos Kiwi},
  TITLE     = {Electronic Jury Voting Protocols},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {415--429},
  KEYWORDS  = {}}

@InProceedings{l02-p430-434,
  AUTHOR    = {Gonzalo Tornar\'{\i}a},
  TITLE     = {Square Roots Modulo \(p\)},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {430--434},
  KEYWORDS  = {}}

@InProceedings{l02-p435-450,
  AUTHOR    = {Goran Konjevod and Soohyun Oh and Andr\'ea~W. Richa},
  TITLE     = {Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {435--450},
  KEYWORDS  = {}}

@InProceedings{l02-p451-464,
  AUTHOR    = {Jean-Christophe Dubacq and V\'eronique Terrier},
  TITLE     = {Signals for Cellular Automata in Dimension 2 or Higher},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {451--464},
  KEYWORDS  = {}}

@InProceedings{l02-p465-478,
  AUTHOR    = {Paolo Boldi and Sebastiano Vigna},
  TITLE     = {Holographic Trees},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {465--478},
  KEYWORDS  = {}}

@InProceedings{l02-p479-493,
  AUTHOR    = {Prosenjit Bose and Luc Devroye and William~S. Evans and David~G. Kirkpatrick},
  TITLE     = {On the Spanning Ratio of Gabriel Graphs and \(\beta\)-skeletons},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {479--493},
  KEYWORDS  = {}}

@InProceedings{l02-p494-507,
  AUTHOR    = {Herv\'e Br\"onnimann and John Iacono and Jyrki Katajainen and Pat Morin and Jason Morrison and Godfried~T. Toussaint},
  TITLE     = {In-Place Planar Convex Hull Algorithms},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {494--507},
  KEYWORDS  = {}}

@InProceedings{l02-p508-515,
  AUTHOR    = {Michael~A. Bender and Martin Farach-Colton},
  TITLE     = {The Level Ancestor Problem Simplified},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {508--515},
  KEYWORDS  = {}}

@InProceedings{l02-p516-527,
  AUTHOR    = {Claudson~F. Bornstein and Santosh Vempala},
  TITLE     = {Flow Metrics},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {516--527},
  KEYWORDS  = {}}

@InProceedings{l02-p528-538,
  AUTHOR    = {Howard Straubing},
  TITLE     = {On Logical Descriptions of Regular Languages},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {528--538},
  KEYWORDS  = {}}

@InProceedings{l02-p539-553,
  AUTHOR    = {Mario Szegedy and Xiaomin Chen},
  TITLE     = {Computing Boolean Functions from Multiple Faulty Copies of Input Bits},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {539--553},
  KEYWORDS  = {}}

@InProceedings{l02-p554-568,
  AUTHOR    = {Magn\'us~M. Halld\'orsson and Kazuo Iwama and Shuichi Miyazaki and Yasufumi Morita},
  TITLE     = {Inapproximability Results on Stable Marriage Problems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {554--568},
  KEYWORDS  = {}}

@InProceedings{l02-p569-583,
  AUTHOR    = {Hadas Shachnai and Tami Tamir},
  TITLE     = {Tight Bounds for Online Class-Constrained Packing},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {569--583},
  KEYWORDS  = {}}

@InProceedings{l02-p584-597,
  AUTHOR    = {R.~Sai Anand and Thomas Erlebach},
  TITLE     = {On-line Algorithms for Edge-Disjoint Paths in Trees of Rings},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {584--597},
  KEYWORDS  = {}}

@InProceedings{l02-p598-612,
  AUTHOR    = {James Abello and Mauricio~G.~C. Resende and Sandra Sudarsky},
  TITLE     = {Massive Quasi-Clique Detection},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {598--612},
  KEYWORDS  = {}}

@InProceedings{l02-p613-628,
  AUTHOR    = {Jochen Alber and Rolf Niedermeier},
  TITLE     = {Improved Tree Decomposition Based Algorithms for Domination-like Problems},
  YEAR      = 2002,
  BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)},
  ADDRESS   = {Cancun, Mexico},
  PAGES     = {613--628},
  KEYWORDS  = {}}