@proceedings{DBLP:conf/latin/2000,
  editor    = {Gaston H. Gonnet and Daniel Panario and Alfredo Viola},
  title     = {LATIN 2000, 4th Latin American Theoretical Informatics Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings},
  booktitle = {LATIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1776},
  year      = {2000},
  isbn      = {3-540-67306-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@InProceedings{i00-p1-17,
  AUTHOR    = {Yoshiharu Kohayakawa and Vojtech R\"odl},
  TITLE     = {Algorithmic Aspects of Regularity},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {1--17},
  KEYWORDS  = {}}

@InProceedings{l00-p18-27,
  AUTHOR    = {Michele Zito},
  TITLE     = {Small Maximal Matchings in Random Graphs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {18--27},
  KEYWORDS  = {}}

@InProceedings{l00-p28-37,
  AUTHOR    = {Vlady Ravelomanana and Lo\"ys Thimonier},
  TITLE     = {Some Remarks on Sparsely Connected Isomorphism-Free Labeled Graphs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {28--37},
  KEYWORDS  = {}}

@InProceedings{l00-p38-47,
  AUTHOR    = {Andreas Goerdt and Michael Molloy},
  TITLE     = {Analysis of Edge Deletion Processes on Faulty Random Regular Graphs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {38--47},
  KEYWORDS  = {}}

@InProceedings{l00-p48-57,
  AUTHOR    = {Yoshiharu Kohayakawa and Vojtech R\"odl and J. Skodan},
  TITLE     = {Equivalent Conditions for Regularity (Extended Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {48--57},
  KEYWORDS  = {}}

@InProceedings{l00-p58-67,
  AUTHOR    = {Flavio~Keidi Miyazawa and Yoshiko Wakabayashi},
  TITLE     = {Cube Packing},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {58--67},
  KEYWORDS  = {}}

@InProceedings{l00-p68-77,
  AUTHOR    = {Klaus Jansen and Monaldo Mastrolilli and Roberto Solis-Oba},
  TITLE     = {Approximation Algorithms for Flexible Job Shop Problems},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {68--77},
  KEYWORDS  = {}}

@InProceedings{l00-p78-87,
  AUTHOR    = {Stephen Taylor},
  TITLE     = {Emerging Behavior as Binary Search Trees Are Symmetrically Updated},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {78--87},
  KEYWORDS  = {}}

@InProceedings{l00-p88-94,
  AUTHOR    = {Michael~A. Bender and Martin Farach-Colton},
  TITLE     = {The LCA Problem Revisited},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {88--94},
  KEYWORDS  = {}}

@InProceedings{l00-p95-104,
  AUTHOR    = {Myra~B. Cohen and Charles~J. Colbourn},
  TITLE     = {Optimal and Pessimal Orderings of Steiner Triple Systems in Disk Arrays},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {95--104},
  KEYWORDS  = {}}

@InProceedings{l00-p105-114,
  AUTHOR    = {Lucia Moura},
  TITLE     = {Rank Inequalities for Packing Designs and Sparse Triple Systems},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {105--114},
  KEYWORDS  = {}}

@InProceedings{l00-p115-122,
  AUTHOR    = {Brett Stevens},
  TITLE     = {The Anti-Oberwolfach Solution: Pancyclic 2- Factorizations of Complete Graphs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {115--122},
  KEYWORDS  = {}}

@InProceedings{i00-p123-125,
  AUTHOR    = {Prabhakar Raghavan},
  TITLE     = {Graph Structure of the Web: A Survey},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {123--125},
  KEYWORDS  = {}}

@InProceedings{l00-p126-134,
  AUTHOR    = {Derek~G. Corneil and Michel Habib and Jean-Marc Lanlignel and Bruce Reed and Udi Rotics},
  TITLE     = {Polynomial Time Recognition of Clique-Width \(\leq 3\) Graphs (Extended Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {126--134},
  KEYWORDS  = {}}

@InProceedings{l00-p135-144,
  AUTHOR    = {Cl\'audia Linhares~Sales and Fr\'ed\'eric Maffray},
  TITLE     = {On Dart-Free Perfectly Contractile Graphs. Extended Abstract},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {135--144},
  KEYWORDS  = {}}

@InProceedings{l00-p145-153,
  AUTHOR    = {Celina~M.~H. de~Figueiredo and C\'elia Picinin~de~Mello and Carmen Ortiz},
  TITLE     = {Edge Colouring Reduced Indifference Graphs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {145--153},
  KEYWORDS  = {}}

@InProceedings{l00-p154-162,
  AUTHOR    = {David Avis and Caterina De~Simone and Paolo Nobili},
  TITLE     = {Two Conjectures on the Chromatic Polynomial},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {154--162},
  KEYWORDS  = {}}

@InProceedings{l00-p163-172,
  AUTHOR    = {Celina~M.~H. de~Figueiredo and Sulamita Klein and Yoshiharu Kohayakawa and Bruce Reed},
  TITLE     = {Finding Skew Partitions Efficiently},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {163--172},
  KEYWORDS  = {}}

@InProceedings{i00-p173-196,
  AUTHOR    = {Allan Borodin and Ran El-Yaniv and Vincent Gogan},
  TITLE     = {On the Competitive Theory and Practice of Portfolio Selection (Extended Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {173--196},
  KEYWORDS  = {}}

@InProceedings{l00-p197-206,
  AUTHOR    = {Valentine Kabanets},
  TITLE     = {Almost \(k\)-Wise Independence and Hard Boolean Functions},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {197--206},
  KEYWORDS  = {}}

@InProceedings{l00-p207-216,
  AUTHOR    = {Andris Ambainis and Satyanarayana~V. Lokam},
  TITLE     = {Imroved Upper Bounds on the Simultaneous Messages Complexity of the Generalized Addressing Function},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {207--216},
  KEYWORDS  = {}}

@InProceedings{l00-p217-226,
  AUTHOR    = {David Fern\'andez-Baca},
  TITLE     = {Multi-parameter Minimum Spanning Trees},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {217--226},
  KEYWORDS  = {}}

@InProceedings{l00-p227-236,
  AUTHOR    = {Ruy~Luiz Milidi\'u and Eduardo~Sany Laber},
  TITLE     = {Linear Time Recognition of Optimal L-Restricted Prefix Codes (Extended Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {227--236},
  KEYWORDS  = {}}

@InProceedings{l00-p237-246,
  AUTHOR    = {Jaroslav Opatrny},
  TITLE     = {Uniform Multi-hop All-to-All Optical Routings in Rings},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {237--246},
  KEYWORDS  = {}}

@InProceedings{l00-p247-257,
  AUTHOR    = {Serafino Cicerone and Gabriele Di~Stefano and Daniele Frigioni and Umberto Nanni},
  TITLE     = {A Fully Dynamic Algorithm for Distributed Shortest Paths},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {247--257},
  KEYWORDS  = {}}

@InProceedings{i00-p258,
  AUTHOR    = {Andrew~M. Odlyzko},
  TITLE     = {Integer Factorization and Discrete Logarithms (Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {258},
  KEYWORDS  = {}}

@InProceedings{l00-p259-268,
  AUTHOR    = {Igor Shparlinski},
  TITLE     = {Communication Complexity and Fourier Coefficients of the Diffie-Hellman Key},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {259--268},
  KEYWORDS  = {}}

@InProceedings{l00-p269-279,
  AUTHOR    = {Pedro Berrizbeitia and Mauricio Odreman~Vera and Juan Tena~Ayuso},
  TITLE     = {Quintic Reciprocity and Primality Test for Numbers of the Form \(M = A5^n\pm\omega_n\)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {269--279},
  KEYWORDS  = {}}

@InProceedings{l00-p280-291,
  AUTHOR    = {Matthias Krause and Hans-Ulrich Simon},
  TITLE     = {Determining the Optimal Contrast for Secret Sharing Schemes in Visual Cryptography},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {280--291},
  KEYWORDS  = {}}

@InProceedings{l00-p292-297,
  AUTHOR    = {Edward~G. Coffman~Jr. and George~S. Lueker and Joel Spencer and Peter~M. Winkler},
  TITLE     = {Average-Case Analysis of Rectangle Packings},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {292--297},
  KEYWORDS  = {}}

@InProceedings{l00-p298-307,
  AUTHOR    = {Charles Knessl and Wojciech Szpankowski},
  TITLE     = {Heights in Generalized Tries and PATRICIA Tries},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {298--307},
  KEYWORDS  = {}}

@InProceedings{l00-p308-317,
  AUTHOR    = {Dominique Barth and Sylvie Corteel and Alain Denise and Dani\`ele Gardy and Mario Valencia-Pabon},
  TITLE     = {On the Complexity of Routing Permutations on Trees by Arc-Disjoint Paths. Extended Abstract},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {308--317},
  KEYWORDS  = {}}

@InProceedings{i00-p318-342,
  AUTHOR    = {Joachim von~zur~Gathen and Thomas L\"ucking},
  TITLE     = {Subresultants Revisited},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {318--342},
  KEYWORDS  = {}}

@InProceedings{l00-p343-354,
  AUTHOR    = {Brigitte Vall\'ee},
  TITLE     = {A Unifying Framework for the Analysis of a Class of Euclidean Algorithms},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {343--354},
  KEYWORDS  = {}}

@InProceedings{l00-p355-366,
  AUTHOR    = {Ali Akhavi},
  TITLE     = {Worst-Case Complexity of the Optimal LLL Algorithm},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {355--366},
  KEYWORDS  = {}}

@InProceedings{l00-p367-376,
  AUTHOR    = {Stephen~L. Bloom and Zolt\'an \'Esik},
  TITLE     = {Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {367--376},
  KEYWORDS  = {}}

@InProceedings{l00-p377-386,
  AUTHOR    = {Richard Mayr},
  TITLE     = {Undecidable Problems in Unreliable Computations},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {377--386},
  KEYWORDS  = {}}

@InProceedings{l00-p387-396,
  AUTHOR    = {Claudio Guti\'errez},
  TITLE     = {Equations in Free Semigroups with Anti-involution and Their Relation to Equations in Free Groups},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {387--396},
  KEYWORDS  = {}}

@InProceedings{l00-p397-406,
  AUTHOR    = {Marie-Pierre B\'eal and Olivier Carton and Christophe Prieur and Jacques Sakarovitch},
  TITLE     = {Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {397--406},
  KEYWORDS  = {}}

@InProceedings{l00-p407-416,
  AUTHOR    = {Olivier Carton and Max Michel},
  TITLE     = {Unambiguous B\"uchi Automata},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {407--416},
  KEYWORDS  = {}}

@InProceedings{l00-p417-426,
  AUTHOR    = {Thomas Worsch},
  TITLE     = {Linear Time Language Recognition on Cellular Automata with Restricted Communication},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {417--426},
  KEYWORDS  = {}}

@InProceedings{l00-p427-436,
  AUTHOR    = {Luis~R. Sierra~Abbate and Pedro~R. D'Argenio and Juan~V. Echag\"ue},
  TITLE     = {From Semantics to Spatial Distribution},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {427--436},
  KEYWORDS  = {}}

@InProceedings{l00-p437-446,
  AUTHOR    = {Fran\c{c}ois Laroussinie and Ph. Schnoebelen and M. Turuani},
  TITLE     = {On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {437--446},
  KEYWORDS  = {}}

@InProceedings{l00-p447-456,
  AUTHOR    = {Maribel Fern\'andez and Ian Mackie},
  TITLE     = {A Theory of Operational Equivalence for Interaction Nets},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {447--456},
  KEYWORDS  = {}}

@InProceedings{l00-p457-462,
  AUTHOR    = {Peter~J. Grabner and Arnold Knopfmacher and Helmut Prodinger},
  TITLE     = {Run Statistics for Geometrically Distributed Random Variables (Extended Abstract)},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {457--462},
  KEYWORDS  = {}}

@InProceedings{l00-p463-472,
  AUTHOR    = {Guy Louchard},
  TITLE     = {Generalized Covariances of Multi-dimensional Brownian Excursion Local Times},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {463--472},
  KEYWORDS  = {}}

@InProceedings{l00-p473-482,
  AUTHOR    = {Helmut Prodinger},
  TITLE     = {Combinatorics of Geometrically Distributed Random Variables: Lenght of Ascending Runs},
  YEAR      = 2000,
  BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)},
  ADDRESS   = {Punta del Este, Uruguay},
  PAGES     = {473--482},
  KEYWORDS  = {}}