ICALP 2002 Satellite Workshops

Volume 66, Number 1, 2002

CCA 2002 Computability and Complexity in Analysis
Málaga, Spain, July 12-13, 2002

• 
  George Barmpalias: On 0'-computable Reals. 1-12
• 
  Vasco Brattka: Computing Uniform Bounds. 13-24
• 
  Rodney G. Downey, Evan J. Griffiths: Schnorr Randomness. 25-35
• 
  Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan: Trivial Reals. 36-52
• 
  Zilin Du, Maria Eleftheriou, José E. Moreira, Chee-Keng Yap: Hypergeometric Functions in Exact Geometric Computation. 53-64
• 
  Peter Hertling: A Comparison of Certain Representations of Regularly Closed Sets. 65-78
• 
  Iraj Kalantari, Larry Welch: Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis. 79-90
• 
  Ali Asghar Khanban, Abbas Edalat, André Lieutier: Computability of Partial Delaunay Triangulation and Voronoi Diagram. 91-103
• 
  Margarita V. Korovina: Fixed Points on the Real Numbers without the Equality Test. 104-112
• 
  Simon Langley, Daniel Richardson: What can we do with a Solution? 113-126
• 
  Joseph S. Miller: Effectiveness for Embedded Spheres and Balls. 127-138
• 
  Norbert Th. Müller: Real Numbers and BDDs. 139-153
• 
  Robert Rettinger, Klaus Weihrauch: The Computational Complexity of Some Julia Sets. 154-164
• 
  Matthias Schröder: A Natural Weak Limit Space with Admissible Representation which is not a Limit Space. 165-175
• 
  Hideki Tsuiki: Representations of Complete Uniform Spaces via Uniform Domains. 176-188
• 
  Klaus Weihrauch, Ning Zhong: The Solution Operator of the Korteweg-de Vries Equation is Computable. 189-201
• 
  Mariko Yasugi, Yoshiki Tsujii: Two Notions of Sequential Computability of a Function with Jumps. 202-212
• 
  Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl: Effectively Absolute Continuity and Effective Jordan Decomposability. 213-224
• 
  Vasco Brattka, Matthias Schröder, Klaus Weihrauch: Preface. 225-226

Volume 66, Number 2, 2002

FMICS'02 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems
University of Malaga, Spain, 12-13 July 2002

• 
  Mustapha Bourahla, Mohamed Benmohamed: Predicate Abstraction and Refinement for Model Checking VHDL State Machines. 1-16
• 
  María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: A Tool for Abstraction in Model Checking. 17-32
• 
  David Lugato, Céline Bigot, Yannick Valot: Validation and automatic test generation on UML models: the AGATHA approach. 33-49
• 
  Juan C. Burguillo-Rial, Martín Llamas Nistal, Manuel J. Fernández Iglesias, T. Robles: Heuristic-driven Techniques for Test Case Selection. 50-65
• 
  Tiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. 66-83
• 
  Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge: A methodological process for the design of a large system: two industrial case-studies. 84-103
• 
  Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman: Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. 104-119
• 
  Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. 120-131
• 
  Sylvie Boldo, Marc Daumas: Properties of the subtraction valid for any floating point system. 132-144
• 
  Xavier Thirioux: Simple and Efficient Translation from LTL Formulas to Buchi Automata. 145-159
• 
  Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. 160-177
• 
  Henri Hansen, Wojciech Penczek, Antti Valmari: Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. 178-193
• 
  Antti Valmari, Heikki Virtanen, Antti Puhakka: Context-Sensitive Visibility. 194-210
• 
  Rance Cleaveland, Hubert Garavel: Foreword. 211-213

Volume 66, Number 3, 2002

F-WAN: Foundations of Wide Area Network Computing
Málaga, Spain, 12-13 July 2002

• 
  Joaquim Gabarró, Alan Stewart, Maurice Clint: Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. 1-21
• 
  Nadia Busi, Gianluigi Zavattaro: On the Expressiveness of Movement in Pure Mobile Ambients. 22-36
• 
  Maria Grazia Vigliotti, Iain Phillips: Barbs and Congruences for Safe Mobile Ambients. 37-51
• 
  Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Guardians for Ambient-based Monitoring. 52-75
• 
  Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. 76-97
• 
  Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. 98-115
• 
  Dominic Duggan: Abstractions for Fault-Tolerant Global Computing. 116-144
• 
  Florence Germain, Marc Lacoste, Jean-Bernard Stefani: An Abstract Machine for a Higher-Order Distributed Process Calculus. 145-169
• 
  José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. 170-184
• 
  Vladimiro Sassone: Preface - F-WAN: Foundations of Wide Area Network Computing. 185-186

Volume 66, Number 4, 2002

Formal Methods and Component Interaction
Málaga, Spain, July 12, 2002

• 
  Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. 1-15
• 
  Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: ARIFS: an Environment for Incomplete and Formal Specifications. 16-35
• 
  Pamela Zave, Michael Jackson: A Call Abstraction for Component Coordination. 36-55
• 
  Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Mobile Channels, Implementation Within and Outside Components. 56-66
• 
  Claus Pahl: A Formal Composition and Interaction Model for a Web Component Platform. 67-81
• 
  Antonio Brogi, Ernesto Pimentel, Ana M. Roldán: Compatibility of Linda-based Component Interfaces. 82-96
• 
  Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. 97-113
• 
  Gwen Salaün, Michel Allemand, Christian Attiogbé: Foundations for a Combination of Heterogeneous Specification Components. 114-133
• 
  Antonio Brogi, Ernesto Pimentel: Preface. 134

Volume 66, Number 5, 2002

UNCL'2002 Unification in Non-Classical Logics
Málaga, Spain, 12-13 July 2002

• 
  Teresa Alsinet, Lluis Godo, Sandra Sandri: Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. 1-21
• 
  Robin N. Banerjee, Andrés Bujosa: Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. 22-40
• 
  Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde: A categorical approach to unification of generalised terms. 41-51
• 
  Temur Kutsia: Pattern Unification with Sequence Variables, Flexible Arity Symbols. 52-69
• 
  Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás: A Multi-Adjoint Approach to Similarity-Based Unification. 70-85
• 
  Harry Virtanen: Vague Domains, S-Unification, Logic Programming. 86-103
• 
  Patrik Eklund, Manuel Ojeda-Aciego: Preface. 104-105

Volume 66, Number 6, 2002

ATMOS 2002 Algorithmic Methods and Models for Optimization of Railways
Málaga, Spain, 13 July 2002

• 
  Madhav V. Marathe: Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk). 1-7
• 
  Matthias Müller-Hannemann, Mathias Schnee, Karsten Weihe: Getting Train Timetables into the Main Storage. 8-17
• 
  Christian Liebchen, Rolf H. Möhring: A Case Study in Periodic Timetabling. 18-31
• 
  Luzi Anderegg, Paolo Penna, Peter Widmayer: Online train disposition: to wait or not to wait? 32-41
• 
  Ricardo Fukasawa, Marcus Poggi de Aragão, Oscar Porto, Eduardo Uchoa: Solving the Freight Car Flow Problem to Optimality. 42-52
• 
  Jeff Day, George L. Nemhauser, Joel S. Sokol: Management of Railroad Impedances for Shortest Path-based Routing. 53-65
• 
  Dorothea Wagner: Preface. 66-67