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
Last update Sat May 18 20:24:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
