Author Index

Albers, Susanne 147 Andersson, Arne 473 Annexstein, Fred S. 263 Arge, Lars 334 Armen, Chris 494 Ausiello, Giorgio 206 Bafna, Vineet 506 Baruah, Sanjoy 303 Battista, Giuseppe Di 239 Berman, Piotr 449 Bilardi, Gianfranco 1 Boyar, Joan 270 Brodal, Gerth Stelting 282 Callahan, Paul 381 Carlsson, Svante 122 Cattell, Kevin 415 Chiang, Yi-Jen 346 Corneil, Derek G. 358 Das, Gautam 74 Dinneen, Michael J. 415 Djidjev, Hristo N. 369 Estivill-Castro, V. 62 Fagerberg, Rolf 270 Fellows, Michael R. 415 Feuerstein, Esteban 206 Fich, Faith 482 Frandsen, Gudmund S. 98 Fujito, Toshihiro 449 Glozman, Alex 26 Goodrich, Michael T. 74, 381 Grove, Edward F. 194 Gupta, Arvind 403 Gupta, Prosenjit 171 Hariharan, Ramesh 428 Holzman, Ron 38 Husfeldt, Thore 98 Irani, Sandy 159 Janardan, Ravi 171 Jaromczyk, Jerzy W. 13 Jonsson, Hakan 122 Kagaris, Dimitrios 291 Kaller, Damon 403 Kao, Ming-Yang 194 Kapoor, Sanjiv 428 Katajainen, Jyrki 393 Kedem, Klara 26 King, Valerie 440 Kirkpatrick, David 183 Koga, Hisashi 147 Kowaluk, Miroslaw 13 Krishnan, P. 194

Kroll, Brigitte Kuchko, Eugene A. Kumar, Vijay Larsen, Kim S. Lau, Hoong Chuin Leonardi, Stefano Li, Ming Lingas, Andrzej Liotta, Giuseppe Lopez-Ortiz, Alejandro Majhi, Jayanth Marcus, Yosi Mehlhorn, Kurt Miltersen, Peter Bro Moffat, Alistair Mukhopadhyay, Asish Narayanan, Babu Olariu, Stephan Pantziou, Grammati E. Peleg, David Phillips, Cynthia Preparata, Franc0 P. Pruesse, Gara Ramaiyer, Kumar Rauhe, Theis Ravi, R. Roberts, Alan Schuierer, Sven Seiden, Steve Sharir, Micha Shermer, Tom Shpitalnik, Gregory Skyum, Soren Snoeyink, Jack Stein, Clifford Stewart, Lorna Stougie, Leen Swanson, Kurt Symvonis, Antonis Talamo, Maurizio Toussaint, Godfried Tragoudas, Spyros Urrutia, Jorge Vitanyi, Paul Vitter, Jeffrey Scott Wein, Joel Widmayer, Peter Woo, Tony Zaroliagis, Christos D. Zhang, Louxin

50 263 428 270 461 206 315 228 239 135 171

38 518

98, 482 393 228 506 358 291

38 86

1 303 381

98 506 251 135 159 109 403

26 98

183 86, 494

358 206 473 251 206 218 291

62 315 194

86 50

171 291 251

Lecture Notes in Computer Science For information about Vols. 1-890

please contact you r bookseller or Springer-Verlag

Vol. 891: C. Lewerentz, T. Lindner (Eds.), Formal De- velopment of Reactive Systems. XI, 394 pages. 1995.

Vol. 892: K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, D. Padua (Eds.), Languages and Compilers for Parallel Computing. Proceedings, t994. XI, 496 pages. 1995.

Vol. 893: G. Gottlob, M. Y. Vardi (Eds.), Database Theory- ICDT '95. Proceedings, 1995. XI, 454 pages. 1995.

Vol. 894: R. Tamassia, I. G. Tollis (Eds.), Graph Draw- ing. Proceedings, 1994. X, 471 pages. 1995.

Vol. 895: R. L. Ibrahim (Ed.), Software Engineering Edu- cation. Proceedings, 1995. XII, 449 pages. 1995.

Vol. 896: R. N. Taylor, J. Coutaz (Eds.), Software Engi- neering and Human-Computer Interaction. Proceedings, 1994. X, 281 pages. 1995.

Vol. 897: M. Fisher, R. Owens (Eds.), Executable Modal and Temporal Logics. Proceedings, 1993. VII, 180 pages. 1995. (Subseries LNAI).

Vol. 898: P. Steffens (Ed.), Machine Translation and the Lexicon. Proceedings , 1993. X, 251 pages. 1995. (Subseries LNAI).

Vol. 899: W. Banzhaf, F. H. Eeekman (Eds.), Evolution and Biocomputation. V/I, 277 pages. 1995.

Vol. 900: E. W. Mayr, C. Puech (Eds.), STACS 95. Pro- ceedings, 1995. XIII, 654 pages. 1995.

Vol. 901 : R. Kumar, T. Kropf (Eds.), Theorem Provers in Circuit Design. Proceedings, 1994. VIII, 303 pages. 1995.

Vol. 902: M. Dezani-Cianeaglini, G. Plotkin (Eds.), Typed Lambda Calculi and Applications. Proceedings, 1995. VIII, 443 pages. 1995.

Vol. 903: E. W. Mayr, G. Schmidt, G. Tinhofer (Eds.), Graph-Theoretic Concepts in Computer Science. Proceed- ings, 1994. IX, 414 pages. 1995.

Vol. 904: P. Vit:inyi (Ed.), Computational Learning Theory. EuroCOLT'95. Proceedings, 1995. XVII, 415 pages. 1995. (Subseries LNAI).

Vol. 905: N. Ayache (Ed.), Computer Vision, Virtual Re- ality and Robotics in Medicine: Proceedings, 1995. XIV,

Vol. 906: E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification. Proceedings, 1995. VIII, 523 pages. 1995.

Vol. 907: T. Ito, A. Yonezawa (Eds.), Theory and Prac- tice of Parallel Programming. Proceedings, 1995. VIII, 485 pages. 1995.

Vol. 908: J. R. Rao Extensions of the UNITY Methodol- ogy: Compositionality, Fairness and Probability in Paral- lelism. XI, 178 pages. 1995.

Vol. 909: H. Comon, J.-P. Jouannaud (Eds.), Term Re- writing. Proceedings, 1993. VII1, 221 pages. 1995.

Vol. 910: A. Podelski (Ed.), Constraint Programming: Basics and Trends. Proceedings, 1995. XI, 315 pages. 1995.

Vol. 911 : R. Baeza-Yates, E. Goles, P. V. Poblete (Eds.), LATIN '95: Theoretical Informatics. Proceedings, 1995. IX, 525 pages. 1995.

Vol. 912: N. Lavrac, S. Wrobel (Eds.), Machine Learn- ing: ECML- 95. Proceedings, 1995. XI, 370 pages. 1995. (Subseries LNAI).

Vol. 913: W. Sch~ifer (Ed.), Software Process Technol- ogy. Proceedings, 1995. IX, 261 pages. 1995.

Vol. 914: J. Hsiang (Ed.), Rewriting Techniques and Ap- plications. Proceedings, 1995. XII, 473 pages. 1995.

Vol. 915: P. D. Mosses, M. Nielsen, M. I. Schwartzbach (Eds.), TAPSOFT '95: Theory and Practice of Software Development. Proceedings, 1995. XV, 810 pages. 1995.

Vol. 916: N. R. Adam, B. K. Bhargava, Y. Yesha (Eds.), Digital Libraries. Proceedings, 1994. XIII, 321 pages. 1995.

Vol. 917: J. Pieprzyk, R. Safavi-Naini (Eds.), Advances in Cryptology - ASIACRYPT '94. Proceedings, 1994. XII, 431 pages. 1995.

Vol. 918: P. Baumgartner, R. H~ihnle, J. Posegga (Eds.), Theorem Proving with Analytic Tableaux and Related Methods. Proceedings, 1995. X, 352 pages. 1995. (Subseries LNAI).

Vol. 919: B. Hertzberger, G. Serazzi (Eds.), High-Per- formance Computing and Networking. Proceedings, 1995. XXIV, 957 pages. 1995.

Vol. 920: E. Balas, J. Clausen (Eds.), Integer Program- ming and Combinatorial Optimization. Proceedings, 1995. IX, 436 pages. 1995.

Vol. 921 : L. C. Guillou, J.-J. Quisquater (Eds.), Advances in Cryptology - EUROCRYPT '95. Proceedings, 1995. XIV, 417 pages. 1995.

Vol. 922: H. D~rr, Efficient Graph Rewriting and Its Im- plementation. IX, 266 pages. 1995.

Vol. 923: M. Meyer (Ed.), Constraint Processing. IV, 289 pages. 1995.

Vol. 924: P. Ciaucarini, O. Nierstrasz, A. Yonezawa (Eds.), Object-Based Models and Languages for Concur- rent Systems. Proceedings, 1994. VII, 193 pages. 1995.

Vol. 925: J. Jeuring, E. Meijer (Eds.), Advanced Func- tional Programming. Proceedings, 1995. VII, 331 pages, 1995.

Vol. 926: P. Nesi (Ed.), Objective Software Quality. Pro- ceedings, 1995. VIII, 249 pages. 1995.

Vol. 927: J. Dix, L. Moniz Pereira, T. C. Przymusinski (Eds.), Non-Monotonic Extensions of Logic Program- ming. Proceedings, 1994. IX, 229 pages. 1995. (Subseries LNAI).

Vol. 928: V.W. Marek, A. Nerode, M. Trnszczynski (Eds.), Logic Programming and Nonmonotonic Reason- ing. Proceedings, 1995. VIII, 417 pages. 1995. (Subseries LNAI).

Vol. 929: F. Mor~n, A. Moreno, J.J. Merelo, P. Chac6n (Eds.), Advances in Artificial Life. Proceedings, 1995. XIII, 960 pages. 1995 (Subseries LNAI).

Vol. 930: J. Mira, F. Sandoval (Eds.), From Natural to Artificial Neural Computation. Proceedings, 1995. XVIII, 1150 pages. 1995.

Vol. 931: P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters (Eds.), Artificial Neural Networks. IX, 295 pages. 1995.

Vol. 932: J. livari, K. Lyytinen, M. Rossi (Eds.), Advanced Information Systems Engineering. Proceedings, 1995. XI, 388 pages. 1995.

Vol. 933: L. Pacholski, J. Tiuryn (Eds.), Computer Sci- ence Logic. Proceedings, 1994. IX, 543 pages. 1995.

Vol. 934: P. Barahona, M. Stefanelli, J. Wyatt (Eds.), Ar- tificial Intelligence in Medicine. Proceedings, 1995. XI, 449 pages. 1995. (Subseries LNAI).

Vol. 935: G. De Michelis, M. Diaz (Eds.), Application and Theory of Petri Nets 1995. Proceedings, 1995. VIII, 511 pages. 1995.

Vol. 936: V.S. Alagar, M. Nivat (Eds.), Algebraic Methodology and Software Technology. Proceedings, 1995. XIV, 591 pages. 1995.

Vol. 937: Z. Galil, E. Ukkonen (Eds.), Combinatorial Pattern Matching. Proceedings, 1995. VIII, 409 pages. 1995.

Vol. 938: K.P. Birman, F. Mattern, A. Schiper (Eds.), Theory and Practice in Distributed Systems. Proceedings,1994. X, 263 pages. 1995.

Vol. 939: P. Wolper (Ed.), Computer Aided Verification. Proceedings, 1995. X, 451 pages. 1995.

Vol. 940: C. Goble, J. Keane (Eds.), Advances in Databases. Proceedings, 1995. X, 277 pages. 1995.

Vol. 941: M. Cadoli, Tractable Reasoning in Artificial Intelligence. XVII, 247 pages. 1995. (Subseries LNAI).

Vol. 942: G. BiSckle, Exploitation of Fine-Grain Parallelism. IX, 188 pages. 1995.

Vol. 943: W. Klas, M. Schrefl, Metaelasses and Their Application. IX, 201 pages. 1995.

Vol. 944: Z. Filltip, F. G6cseg (Eds.), Automata, Languages and Programming. Proceedings, 1995. XIII, 686 pages. 1995.

Vol. 945: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.), Advances in Intelligent Computing - IPMU '94. Proceedings, 1994. XII, 628 pages.1995.

Vol. 946: C. Froidevaux, J. Kohlas (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Proceedings, 1995. X, 420 pages. 1995. (Subseries LNAI).

Vol. 947: B. M611er (Ed.), Mathematics of Program Construction. Proceedings, 1995. VIII, 472 pages. 1995.

Vol. 948: G. Cohen, M. Giusti, T. Morn (Eds.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Proceedings, 1995. XI, 485 pages. 1995.

Vol. 949: D.G. Feitelson, L. Rudolph (Eds.), Job Scheduling Strategies for Parallel Processing. Proceedings, 1995. VIII, 361 pages. 1995.

Vol. 950: A. De Santis (Ed.), Advances in Cryptology - EUROCRYPT '94. Proceedings, 1994. XIII, 473 pages. 1995.

Vol. 951: M.J. Egenhofer, J.R. Herring (Eds.), Advances in Spatial Databases. Proceedings, 1995. XI, 405 pages. 1995.

Vol. 952: W. Olthoff (Ed.), ECOOP '95 - Object-Oriented Programming. Proceedings, 1995. XI, 471 pages. 1995.

Vol. 953: D. Pitt, D.E. Rydeheard, P. Johnstone (Eds.), Category Theory and Computer Science. Proceedings, 1995. VII, 252 pages. 1995.

Vol. 954: G. Ellis, R. Levinson, W. Rich. J.F. Sown (Eds.), Conceptual Structures: Applications, Implementation and Theory. Proceedings, 1995. IX, 353 pages. 1995. (Subseries LNAI).

VOL. 955: S.G. Akl, F. Dehne, J.-R. Sack, N. Santoro (Eds.), Algorithms and Data Structures. Proceedings, 1995. IX, 519 pages. 1995.

Vol. 956: X. Yao (Ed.), Progress in Evolutionary Com- putation. Proceedings, 1993, 1994. VIII, 314 pages. 1995. (Subseries LNAI).

Vol. 957: C. Castelfranchi, J.-P. Mtiller (Eds.), From Reaction to Cognition. Proceedings, 1993. VI, 252 pages. 1995. (Subseries LNAI).

Vol. 958: J. Calmet, J.A. Campbell (Eds.), Integrating Symbolic Mathematical Computation and Artificial Intelligence. Proceedings, 1994. X, 275 pages. 1995.

Vol. 959: D.-Z. Du, M. Li (Eds.), Computing and Combinatorics. Proceedings, 1995. XIII, 654 pages. 1995.

Vol. 960: D. Leivant (Ed.), Logic and Computational Complexity. Proceedings, 1994. VIII, 514 pages. 1995.

Vol. 961: K.P. Jantke, S. Lange (Eds.), Algorithmic Learning for Knowledge-Based Systems. X, 511 pages. 1995. (Subseries LNAI).

Vol, 962: I. Lee, S.A. Smolka (Eds.), CONCUR '95: Concurrency Theory. Proceedings, 1995. X, 547 pages. 1995.

VoL 963: D. Coppersmith (Ed.), Advances in Cryptology --CRYPTO '95. Proceedings, 1995. XII, 467 pages. 1995.

Vol. 964: V. Malyshkin (Ed.), Parallel Computing Technologies. Proceedings, 1995. XII, 497 pages. 1995.

Vol. 965: H. Reichel (Ed.), Fundamentals of Computation Theory. Proceedings, 1995. IX, 433 pages. 1995.

VOL. 966: S. Haridi, K. Ali, P. Magnusson (Eds.), EURO- PAR '95: Parallel Processing. Proceedings, 1995. XV, 734 pages. 1995.

Vol. 967: J.P. Bowen, M.G. Hinchey (Eds.), ZUM '95: The Z Formal Specification Notation. Proceedings, 1995. XI, 571 pages. 1995.