LATIN 2002: Theoretical informatics. 5th Latin American symposium, Cancun, Mexico, April 3--6, 2002. Proceedings (Q1601521)

The articles of this volume will be reviewed individually. The preceding symposium (4th, 2000) has been reviewed (see Zbl 0935.00049). Indexed articles: \textit{Chayes, Jennifer}, Phase transitions in computer science, 1 [Zbl 1059.68594] \textit{Papadimitriou, Christos H.}, The internet, the web, and algorithms, 2 [Zbl 1059.68518] \textit{Spencer, Joel}, Erdős magic, 3 [Zbl 1059.68595] \textit{Urrutia, Jorge}, Open problems in computational geometry, 4-11 [Zbl 1059.68627] \textit{Vazirani, Umesh}, Quantum algorithms, 12-13 [Zbl 1059.68576] \textit{Yannakakis, Mihalis}, Testing and checking of finite state systems, 14 [Zbl 1059.68529] \textit{Luccio, Fabrizio; Pagli, Linda}, From algorithms to cryptography, 15 [Zbl 1059.68572] \textit{Goubault, Éric; Raussen, Martin}, Dihomotopy as a tool in state space analysis, 16-37 [Zbl 1059.68072] \textit{Arslan, Abdullah N.; Egecioglu, Ömer}, Algorithms for local alignment with length constraints, 38-51 [Zbl 1059.68643] \textit{Braga, Marília D. V.; Meidanis, João}, An algorithm that builds a set of strings given its overlap graph, 52-63 [Zbl 1059.68636] \textit{Frougny, Christiane}, Conversion between two multiplicatively dependent linear numeration systems, 64-75 [Zbl 1152.11303] \textit{Lombardy, Sylvain; Sakarovitch, Jacques}, Star height of reversible languages and universal automata, 76-90 [Zbl 1059.68065] \textit{Straubing, Howard; Thérien, Denis}, Weakly iterated block products of finite monoids, 91-104 [Zbl 1059.68075] \textit{González Vasco, María Isabel; Näslund, Mats; Shparlinski, Igor E.}, The hidden number problem in extension fields and its applications, 105-117 [Zbl 1059.68570] \textit{Garefalakis, Theodoulos}, The generalized Weil pairing and the discrete logarithm problem on elliptic curves, 118-130 [Zbl 1152.11332] \textit{Canfield, Rod; Corteel, Sylvie; Hitczenko, Pawel}, Random partitions with nonnegative \(r\)th differences, 131-140 [Zbl 1061.05008] \textit{Bassino, Frédérique}, Beta-expansions for cubic Pisot numbers, 141-152 [Zbl 1152.11342] \textit{Bose, Prosenjit; Wang, Qingda}, Facility location constrained to a polygonal domain, 153-164 [Zbl 1059.90516] \textit{Lefmann, Hanno; Schmitt, Niels}, A deterministic polynomial time algorithm for Heilbronn's problem in dimension three (extended abstract), 165-180 [Zbl 1059.68644] \textit{Chávez, Edgar; Navarro, Gonzalo}, A metric index for approximate string matching, 181-195 [Zbl 1059.68637] \textit{Rytter, Wojciech}, On maximal suffices and constant-space linear-time versions of KMP algorithm, 196-208 [Zbl 1059.68641] \textit{Corneil, Derek G.; Dragan, Feodor F.; Köhler, Ekkehard}, On the power of BFS to determine a graphs diameter extended abstract), 209-223 [Zbl 1059.68602] \textit{Matamala, Martín; Prisner, Erich; Rapaport, Ivan}, \(k\)-pseudosnakes in large grids, 224-235 [Zbl 1059.68603] \textit{Calamoneri, Tiziana; Petreschi, Rossella}, \(L(1,2)\)-coloring matrogenic graphs (extended abstract), 236-247 [Zbl 1059.68601] \textit{Milidiú, Ruy Luiz; Pessoa, Artur Alves; Laber, Eduardo Sany}, Pipeline transportation of petroleum products with no due dates, 248-262 [Zbl 1059.90506] \textit{Pontelli, Enrico; Ranjan, Desh}, Ancestor problems on pure pointer machines, 263-277 [Zbl 1059.68564] \textit{Carmo, Renato; Donadelli, Jair; Kohayakawa, Yoshiharu; Laber, Eduardo}, Searching in random partially ordered sets (extended abstract), 278-292 [Zbl 1059.68565] \textit{Stevens, Brett; Mendelsohn, Eric}, Packing arrays, 293-305 [Zbl 1059.68596] \textit{Drmota, Michael; Szpankowski, Wojciech}, Generalized Shannon code minimizes the maximal redundancy, 306-318 [Zbl 1068.94006] \textit{Muthukrishnan, S.; Sahinalp, S. Cenk}, An improved algorithm for sequence comparison with block reversals, 319-325 [Zbl 1059.68639] \textit{Genest, Blaise; Muscholl, Anca}, Pattern matching and membership for hierarchical message sequence charts, 326-340 [Zbl 1059.68544] \textit{Chen, Jianer; Kanj, Iyad A.}, Improved exact algorithms for MAX-SAT, 341-355 [Zbl 1059.68617] \textit{van Bakel, Steffen; Dezani-Ciancaglini, Mariangiola}, Characterising strong normalisation for explicit substitutions, 356-370 [Zbl 1059.68020] \textit{Bloo, Roel; Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob}, Parameters in pure type systems, 371-385 [Zbl 1059.68019] \textit{Freivalds, Rusins; Smith, Carl H.}, Category, measure, inductive inference: A triality theorem and its applications, 386-399 [Zbl 1059.03041] \textit{Herbreteau, Frédéric; Cassez, Franck; Finkel, Alain; Roux, Olivier; Sutre, Grégoire}, Verification of embedded reactive fiffo systems, 400-414 [Zbl 1059.68586] \textit{Hevia, Alejandro; Kiwi, Marcos}, Electronic jury voting protocols, 415-429 [Zbl 1059.68571] \textit{Tornaría, Gonzalo}, Square roots modulo \(p\), 430-434 [Zbl 1152.11349] \textit{Konjevod, Goran; Oh, Soohyun; Richa, Andréa W.}, Finding most sustainable paths in networks with time-dependent edge reliabilities, 435-450 [Zbl 1059.68512] \textit{Dubacq, Jean-Christophe; Terrier, Véronique}, Signals for cellular automata in dimension 2 or higher, 451-464 [Zbl 1059.68076] \textit{Boldi, Paolo; Vigna, Sebastiano}, Holographic trees, 465-478 [Zbl 1059.68079] \textit{Bose, Prosenjit; Devroye, Luc; Evans, William; Kirkpatrick, David}, On the spanning ratio of Gabriel graphs and \(\beta\)-skeletons, 479-493 [Zbl 1059.68145] \textit{Brönnimann, Hervé; Iacono, John; Katajainen, Jyrki; Morin, Pat; Morrison, Jason; Toussaint, Godfried}, In-place planar convex hull algorithms, 494-507 [Zbl 1059.68626] \textit{Bender, Michael A.; Farach-Colton, Martín}, The level ancestor problem simplified, 508-515 [Zbl 1059.68563] \textit{Bornstein, Claudson F.; Vempala, Santosh}, Flow metrics, 516-527 [Zbl 1059.90520] \textit{Straubing, Howard}, On logical descriptions of regular languages, 528-538 [Zbl 1059.03034] \textit{Szegedy, Mario; Chen, Xiaomin}, Computing Boolean functions from multiple faulty copies of input bits, 539-553 [Zbl 1059.68575] \textit{Halldórsson, Magnús; Iwama, Kazuo; Miyazaki, Shuichi; Morita, Yasufumi}, Inapproximability results on stable marriage problems, 554-568 [Zbl 1059.68578] \textit{Shachnai, Hadas; Tamir, Tami}, Tight bounds for online class-constrained packing, 569-583 [Zbl 1059.68579] \textit{Anand, R. Sai; Erlebach, Thomas}, On-line algorithms for edge-disjoint paths in trees of rings, 584-597 [Zbl 1059.68599] \textit{Abello, James; Resende, Mauricio G. C.; Sudarsky, Sandra}, Massive quasi-clique detection, 598-612 [Zbl 1059.68597] \textit{Alber, Jochen; Niedermeier, Rolf}, Improved tree decomposition based algorithms for domination-like problems, 613-627 [Zbl 1059.68598]