Author Index

Abel lanas , M . . . . . . . . . . . . . . . . . . . . . . 1

Alzohairi , M . . . . . . . . . . . . . . . . . . . . . t l Bose, P . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Br idgeman, S . . . . . . . . . . . . . . . . . . . . 45

Calamoner i , T . . . . . . . . . . . . . . . . . . . 53 Chan, T . . . . . . . . . . . . . . . . . . . . . . . . . 63 de Mendon~a, C. F. X . . . . . . . . . . . 303

Dean, A . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Di Bat t i s ta , G . . . . . . . . . . . . . . . . . . . . 76

Do~rusSz, U . . . . . . . . . . . . . . . . . . . . . . 92

Eades, P . . . . . . . . . . 101,113, 129, 139

Feng, Q. W . . . . . . . . . . . . . . . . 101,113

FSfimeier, U . . . . . . . . . . . . . . . . . . . . 155

Frick, A . . . . . . . . . . . . . . . 169, 184, 395 Garcfa, 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Garg, A . . . . . . . . . . . . . 45, 76, 193, 201

Goodrich, M. T . . . . . . . . . . . . . . . . . . 63 He, W . . . . . . . . . . . . . . . . . . . . . . . . . . 217

Hern~,ndez, G . . . . . . . . . . . . . . . . . . . . . 1

Himsolt , M . . . . . . . . . . . . . . . . . . . . . 233

Hutchinson, J . . . . . . . . . . . . . . . . . . . . 25

Kakoulis, K. G . . . . . . . . . . . . . . . . . . 241 Kant , G . . . . . . . . . . . . . . . . . . . . . . . . . 155

K a u f m a n n , M . . . . . . . . . . . . . . . . . . . 155

Keskin, C . . . . . . . . . . . . . . . . . . . . . . . 184

Kosara ju , S. R . . . . . . . . . . . . . . . . . . . 63 Kratochvi l , J . . . . . . . . . . . . . . . . . . . . 257 Kuchem, R . . . . . . . . . . . . . . . . . . . . . . 271 Lenhar t , W . . . . . . . . . . . . . . . . . . . . . 286

Lin, X .......................... 113

Liotta, G . . . . . . . . . . . . . . . . . . . . 76, 286

Lozada, L. A. P . . . . . . . . . . . . . . . . . 303

Madden, B . . . . . . . . . . . . . . . . . . . . . . . 92

Madden , P . . . . . . . . . . . . . . . . . . . . . . . 92

Marks, J . . . . . . . . . . . . . . . . . . . 129, 387 Marr io t t , K . . . . . . . . . . . . . . . . . . . . . 217

Mutzel , P . . . . . . . . . . . . . . . . . . . . . . . 318

Nakano, S.-i . . . . . . . . . . . . . . . . . . . . . 334 Nishizeki, T . . . . . . . . . . . . . . . . . . . . . 334 North, S . . . . . . . . . . . . . . . . . . . . . . . . 129 Noy, M . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Pach, J . . . . . . . . . . . . . . . . . . . . . . . . . 345 Papakostas , A . . . . . . . . . . . . . . 355, 371 Parise, A . . . . . . . . . . . . . . . . . . . . . . . . . 76

Rahman, S. M .................. 334

Ramos, P. ........................ 1

Rival, I .......................... II

Rosi, R. M ...................... 303

Ryall, K ........................ 387

Sablowski, R .................... 395

Shermer, T ....................... 25

Shieber, S . . . . . . . . . . . . . . . . . . . . . . . 387

Six, J. M . . . . . . . . . . . . . . . . . . . . . . . . 371

Sterbini , A . . . . . . . . . . . . . . . . . . . . . . . 53

Stolfi, J . . . . . . . . . . . . . . . . . . . . . . . . . 303

Symvonis, A . . . . . . . . . . . . . . . . . . . . 139 Tamassia , R . . . . . 45, 63, 76, 193, 201

Tassinari , E . . . . . . . . . . . . . . . . . . . . . . 76

Tollis, I. G . . . . . . . . . . . . 241,355, 371 Tdth, G . . . . . . . . . . . . . . . . . . . . . . . . . 345

Vargiu~ F . . . . . . . . . . . . . . . . . . . . . . . . 76 Vismara, L . . . . . . . . . . . . . . . . . . . . . . . 76

Vogehnann, V . . . . . . . . . . . . . . . . . . . 184

Wagner , D . . . . . . . . . . . . . . . . . . . . . . 271 Wei tzman, L . . . . . . . . . . . . . . . . . . . . 401

Whitesides, S . . . . . . . . . . . . . . . . . . . 139

Wi t t enburg , K . . . . . . . . . . . . . . . . . . 401

Lecture Notes in Computer Science

For information about Vols. 1-1113

please contact your bookseller or Springer-Verlag

Vol. l 114: N. Foo, R, Goebel (Eds.), PRICAI'96: Topics in Artificial Intelligence. Proceedings, 1996. XXI, 658 pages. 1996. (Subseries LNAI).

Vol. 1115: P.W. Eklund, G. Ellis, G. Mann (Eds.), Conceptual Structures: Knowledge Representation as Interlingua. Proceedings, 1996. XIII, 321 pages. 1996. (Subseries LNAI).

Vol. 1116: J. Hall (Ed.), Management of Telecommunication Systems and Services. XXI, 229 pages. 1996.

Vol. 1117: A. Ferreira, J. Rolim, Y. Saad, T. Yang (Eds.), Parallel Algorithms for Irregularly Structured Problems. Proceedings, 1996. IX, 358 pages. 1996.

Vol. 1118: E.C. Freuder (Ed.), Principles and Practice of Constraint Programming - - CP 96. Proceedings, 1996. XIX, 574 pages. 1996.

Vol. 1119: U. Montanari, V. Sassone (Eds.), CONCUR '96: Concurrency Theory. Proceedings, 1996. XII, 75l pages. 1996.

Vol. 1120: M. Deza. R. Euler, I. Manoussakis (Eds.), Combinatorics and Computer Science. Proceedings, 1995. IX, 415 pages. 1996.

Vol. 1121: P. Perner, P. Wang, A. Rosenfeld (Eds.), Advances in Structural and Syntact ical Pattern Recognition. Proceedings, 1996. X, 393 pages. 1996.

Vol. 1122: H. Cohen (Ed.), Algorithmic Number Theory. Proceedings, 1996. IX, 405 pages. 1996.

Vol. 1123: L. Boug6, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par '96. Parallel Processing. Proceedings, 1996, VoL I. XXXIII, 842 pages. 1996.

Vol. 1124: L. Boug6, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par '96. Paral lel Processing. Proceedings, 1996, Vol. n. XXXIII, 926 pages. 1996.

Vol. 1125: J. yon Wright, J. Grundy, J. Harrison (Eds.), Theorem Proving in Higher Order Logics. Proceedings, 1996. VIII, 447 pages. 1996.

Vol. 1126: J.J. Alferes, L. Moniz Pereira, E. Orlewska (Eds.), Logics in Artificial Intelligence. Proceedings, 1996. IX, 417 pages. 1996. (Subseries LNAI).

Vol. 1127: L. B6sz6rm6nyi (Ed.), Parallel Computation. Proceedings, 1996. XI, 235 pages. 1996.

Vol. 1128: J. Calmer, C. Limongelli (Eds.), Design and Implementation of Symbolic Computation Systems. Proceedings, 1996. IX, 356 pages, 1996.

Vol. 1129: J. Launchbury, E. Meijer, T. Sheard (Eds.), Advanced Functional Programming. Proceedings, 1996. VII, 238 pages. 1996.

Vol. 1130: M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification. Proceedings, /995. VIII, 551 pages. 1996.

Vol, I131: K.H. H6hne, R. Kikinis (Eds.), Visualization in Biomedical Computing. Proceedings, 1996. XII, 610 pages. 1996.

Vol. 1132: G.-R. Perrin, A. Darte (Eds.), The Data Parallel Programming Model. XV, 284 pages. 1996.

Vol. 1133: J.-Y. Chouinard, P. Fortier, T.A. Gulliver (Eds.), Information Theory and Appl icat ions II. Proceedings, 1995. XII, 309 pages. 1996.

Vol. 1134: R. Wagner, H. Thoma (Eds.), Database and Expert Systems Applications. Proceedings, 1996. XV, 921 pages. 1996.

Vol. 1135: B. Jonsson, J. Parrow (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings, 1996. X, 479 pages. 1996.

Vol. 1136: J. Diaz, M. Serna (Eds.), Algorithms - ESA '96. Proceedings, 1996. XII, 566 pages. 1996.

Vol. 1137: G. GOrz, S. H611dobler (Eds.), KI-96: Advances in Artificial Intelligence. Proceedings, 1996. XI, 387 pages. 1996. (Subseries LNAI).

Vol. 1138: J. Calmet, J.A. Campbell, J. Pfalzgraf (Eds.), Art if icial Intel l igence and Symbolic Mathematical Computation. Proceedings, 1996. VIII, 381 pages. 1996.

Vol. 1139: M. Hanus, M. Rogriguez-Artalejo (Eds.), Algebraic and Logic Programming. Proceedings, 1996. VIII, 345 pages. 1996.

Vol. 1140: H. Kuchen, S. Doaitse Swierstra (Eds.), Programming Languages: Implementations, Logics, and Programs. Proceedings, 1996. X1, 479 pages. 1996.

Vol. 1141: H.-M. Voigt, W. Ebeling, 1. Rechenberg, H.- P. Schwefel (Eds.), Parallel Problem Solving from Nature - PPSN IV. Proceedings, 1996. XVII, 1.050 pages. 1996.

Vol. 1142: R.W. Hartenstein, M. Gtesner (Eds.), Field- Programmable Logic. Proceedings, 1996. X, 432 pages. 1996.

Vol. 1143: T.C. Fogarty (Ed.), Evolutionary Computing. Proceedings, 1996. VIII, 305 pages. 1996.

Vol. 1144: J. Ponce, A. Zisserman, M. Hebert (Eds.), Object Representation in Computer Vision. Proceedings, 1996. VIII, 403 pages. 1996.

Vol. 1145: R. Consot, D.A. Schmidt (Eds.), Static Analysis. Proceedings, 1996. IX, 389 pages. 1996.

Vol. 1146: E. Bertino, H. Kurth, G. Martella, E. Montolivo (Eds.), Computer Security - ESORICS 96. Proceedings, I996. X, 365 pages. 1996.

Vol. 1147: L. Miclet, C. de la Higuera (Eds.), Grammatical Inference: Learning Syntax from Sentences. Proceedings, I996. VIII, 327 pages. 1996. (Subseries LNAI).

Vol. 1148: M.C. Lin, D. Manocha (Eds.), Applied Computational Geometry. Proceedings, I996. VIII, 223 pages. 1996.

Vol. 1149: C. Montangero (Ed.), Software Process Technology. Proceedings, 1996. IX, 291 pages. 1996.

VoI. 1150: A. Hlawiczka, J.G. Silva, L. Simoncini (Eds,), Dependable Computing - EDCC-2. Proceedings, 1996. XVI, 440 pages. I996.

Vol. 1151: {). B abao glu, K. Marzullo (Eds.), Distributed Algorithms. Proceedings, 1996. VIII, 381 pages. 1996.

Vol. 1152: T. Furuhashi, Y. Uchikawa (Eds.), Fuzzy Logic, Neural Networks, and Evolutionary Computation. Proceedings, 1995. VIII, 243 pages. 1996. (Subseries LNAI).

Vol. 1153: E. Burke, P. Ross (Eds.), Practice and Theory of Automated Timetabling. Proceedings, 1995, XIII, 381 pages. 1996.

Vol. 1154: D. Pedreschi, C. Zaniolo (Eds.), Logic in Databases. Proceedings, 1996. X, 497 pages. 1996.

Vol. 1155: J. Roberts, U. Mocci, J. Virtamo (Eds.), Broadbank Network Teletraffie. XXII, 584 pages. 1996.

Vol. 1156: A. Bode, J. Dongarra, T. Ludwig, V. Sunderam (Eds.), Parallel Virtual Machine - EuroPVM '96. Proceedings, 1996. XIV, 362 pages. 1996.

Vol. 1157: B. Thalheim (Ed.), Conceptual Modeling - ER '96. Proceedings, 1996. XII, 489 pages. 1996.

Vol. 1158: S. Berardi, M. Coppo (Eds.), Types for Proofs and Programs. Proceedings, 1995. X, 296 pages. 1996.

Vol. 1159: D.L. Borges, C,A_A. Kaestner (Eds.), Advances in Artificial Intelligence. Proceedings, 1996. XI, 243 pages. (Subseries LNAI).

Vol. 1160: S, Arikawa, A.K. Sharma (Eds.), Algorithmic Learning Theory. Proceedings, 1996. XVII, 337 pages. 1996. (Subseries LNAI).

Vol. 1161: O. Spaniol, C. Linnhoff-Popien, B. Meyer (Eds.), Trends in Distributed Systems. Proceedings, 1996. VIII, 289 pages. 1996.

Vol. 1162: D.G. Feitelson, L. Rudolph (Eds.), Job Scheduling Strategies for Parallel Processing. Proceedings, 1996. VIII, 291 pages. 1996.

Vol. 1163: K. Kim, T. Matsumoto (Eds.), Advances in Cryptology - ASIACRYPT '96. Proceedings, 1996. XII, 395 pages. 1996.

Vol. 1164: K. Berquist, A. Berquist (Eds.), Managing Information Highways. XIV, 417 pages. 1996.

Vol. 1165: J.-R. Abrial, E. BOrger, H. Langmaack (Eds.), Formal Methods for [ndustriaI Applications. VIII, 511 pages. 1996.

Vol. 1166: M. Srivas, A. Camilleri (Eds,), Formal Methods in Computer-Aided Design, Proceedings, 1996. IX, 470 pages. 1996.

Vol. 1167: I. Sommerville (Ed.), Software Configuration Management. VII, 291 pages. 1996.

Vol. 1168: L Smith, B. Faltings (Eds,), Advances in Case- Based Reasoning. Proceedings, 1996. IX, 531 pages. 1996. (Subseries LNAI).

Vol. 1169: M. Broy, S. Merz, K. Spies (Eds.), Formal Systems Specification. XXIII, 541 pages. 1996.

Vol. 1170: M. Nagl (Ed.), Building Tightly Integrated Software Development Environments: The IPSEN Approach. IX, 709 pages. 1996.

Vol. 1 I71: A. Franz, Automatic Ambiguity Resolution in Natural Language Processing. XIX, 155 pages. 1996. (Subseries LNAI).

Vol. 1172: I. Pieprzyk, J. Seberry (Eds.), Information Security and Privacy. Proceedings, 1996. IX, 333 pages. / 996.

Vol. 1173: W. Rucklidge, Efficient Visual Recognition Using the Hausdorff Distance. XIII, 178 pages. 1996.

Vol. II74: R. Anderson (Ed.), Information Hiding. Proceedings, 1996. VIII, 351 pages. 1996.

Vol. 1175: K.G. Jeffery, J. Krgd, M. Bartogek (Eds.), SOFSEM'96: Theory and Practice of lnformatics. Proceedings, 1996. XII, 491 pages. 1996.

Vol. 1176: S. Miguet, A. Montanvert, S. Ubdda (Eds.), Discrete Geometry for Computer Imagery. Proceedings, 1996. XI, 349 pages. 1996.

Vol. 1177: J.P. Miiller, The Design of Intelligent Agents. XV, 227 pages. 1996. (Subseries LNAI).

Vol. 1178: T. Asano, Y. Igarashi, H. Nagamochi, S. Miyano, S. Suri (Eds.), Algorithms and Computation. Proceedings, 1996. X, 448 pages. 1996.

Vol. 1179: J. Jaffar, R.H.C. Yap (Eds.), Concurrency and Parallelism, Programming, Networking, and Security. Proceedings, 1996. XIII, 394 pages. 1996.

Vol. 1180: V. Chandru, V. Vinay (Eds.), Foundations of Software Technology and Theoretical Computer Science. Proceedings, 1996. Xt, 387 pages. 1996.

Vol. 1181: D. Bj0rner, M. Broy, I.V. Pottosin (Eds.), Perspectives of System Informatics. Proceedings, 1996. XVII, 447 pages. 1996.

Vol. 1182: W. Hasan, Optimization of SQL Queries for Parallel Machines. XVIlI, 133 pages. 1996.

Vol. 1183: A. Wierse, G.G. Grinstein, U. Lang (Eds.), Database Issues for Data Visualization. Proceedings, 1995. XIV, 219 pages. 1996.

Vol. 1184: J. Wa~niewski, J. Dongarra, K. Madsen, D. Olesen (Eds.), Applied Parallel Computing. Proceedings, 1996. XIII, 722 pages. 1996.

Vol. 1185: G. Ventre, J. Domingo-Pascual, A. Danthine (Eds.), Multimedia Telecommunications and Applications. Proceedings, 1996. XlI, 267 pages. 1996.

Vol. 1186: F. Afrati, P. Kolaitis (Eds.), Database Theory - ICDT'97. Proceedings, 1997. XIIL 477 pages. 1997.

Vol. 1 t87: K. Schlechta, Nonmonotonic Logics. IX, 243 pages. 1997, (Subseries LNAI).

Vol. 1188: T. Martin, A.L. Ralescu (Eds.), Fuzzy Logic in Artificial Intelligence. Proceedings, 1995. VIII, 272 pages. 1997. (Subseries LNAI).

Vol. 1189: M. Lomas (Ed.), Security Protocols. Proceedings, 1996. VIII, 203 pages. 1997.

Vol. 1190: S. North (Ed.), Graph Drawing. Proceedings, 1996. XI, 409 pages. 1997.

Vol. 1191: V. Gaede, A. Brodsky, O. Gtlnther, D. Srivastava, V. Vianu, M. Wallace (Eds.), Constraint Databases and Applications. Proceedings, 1996. X, 345 pages. 1996.

Vol. 1192: M. Dam (Ed.), Analysis and Verification of Multiple-Agent Languages. Proceedings, 1996. VIII, 435 pages. 1997.