ICALP 2002 Satellite Workshops
Volume 66,
Number 1,
2002
CCA 2002 Computability and Complexity in Analysis
Málaga,
Spain,
July 12-13,
2002
- Vasco Brattka, Matthias Schröder, Klaus Weihrauch:
Preface.
Electronic Edition (link) BibTeX
- George Barmpalias:
On 0'-computable Reals.
Electronic Edition (link) BibTeX
- Vasco Brattka:
Computing Uniform Bounds.
Electronic Edition (link) BibTeX
- Rodney G. Downey, Evan J. Griffiths:
Schnorr Randomness.
Electronic Edition (link) BibTeX
- Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan:
Trivial Reals.
Electronic Edition (link) BibTeX
- Zilin Du, Maria Eleftheriou, José E. Moreira, Chee-Keng Yap:
Hypergeometric Functions in Exact Geometric Computation.
Electronic Edition (link) BibTeX
- Peter Hertling:
A Comparison of Certain Representations of Regularly Closed Sets.
Electronic Edition (link) BibTeX
- Iraj Kalantari, Larry Welch:
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis.
Electronic Edition (link) BibTeX
- Ali Asghar Khanban, Abbas Edalat, André Lieutier:
Computability of Partial Delaunay Triangulation and Voronoi Diagram.
Electronic Edition (link) BibTeX
- Margarita V. Korovina:
Fixed Points on the Real Numbers without the Equality Test.
Electronic Edition (link) BibTeX
- Simon Langley, Daniel Richardson:
What can we do with a Solution?
Electronic Edition (link) BibTeX
- Joseph S. Miller:
Effectiveness for Embedded Spheres and Balls.
Electronic Edition (link) BibTeX
- Norbert Th. Müller:
Real Numbers and BDDs.
Electronic Edition (link) BibTeX
- Robert Rettinger, Klaus Weihrauch:
The Computational Complexity of Some Julia Sets.
Electronic Edition (link) BibTeX
- Matthias Schröder:
A Natural Weak Limit Space with Admissible Representation which is not a Limit Space.
Electronic Edition (link) BibTeX
- Hideki Tsuiki:
Representations of Complete Uniform Spaces via Uniform Domains.
Electronic Edition (link) BibTeX
- Klaus Weihrauch, Ning Zhong:
The Solution Operator of the Korteweg-de Vries Equation is Computable.
Electronic Edition (link) BibTeX
- Mariko Yasugi, Yoshiki Tsujii:
Two Notions of Sequential Computability of a Function with Jumps.
Electronic Edition (link) BibTeX
- Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl:
Effectively Absolute Continuity and Effective Jordan Decomposability.
Electronic Edition (link) BibTeX
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
- Rance Cleaveland, Hubert Garavel:
Foreword.
Electronic Edition (link) BibTeX
- Mustapha Bourahla, Mohamed Benmohamed:
Predicate Abstraction and Refinement for Model Checking VHDL State Machines.
Electronic Edition (link) BibTeX
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
A Tool for Abstraction in Model Checking.
Electronic Edition (link) BibTeX
- David Lugato, Céline Bigot, Yannick Valot:
Validation and automatic test generation on UML models: the AGATHA approach.
Electronic Edition (link) BibTeX
- Juan C. Burguillo-Rial, Martín Llamas Nistal, M. J. Fernández, T. Robles:
Heuristic-driven Techniques for Test Case Selection.
Electronic Edition (link) BibTeX
- Tiziana Margaria, Bernhard Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.
Electronic Edition (link) BibTeX
- Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
A methodological process for the design of a large system: two industrial case-studies.
Electronic Edition (link) BibTeX
- Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM.
Electronic Edition (link) BibTeX
- 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.
Electronic Edition (link) BibTeX
- Sylvie Boldo, Marc Daumas:
Properties of the subtraction valid for any floating point system.
Electronic Edition (link) BibTeX
- Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata.
Electronic Edition (link) BibTeX
- Armin Biere, Cyrille Artho, Viktor Schuppan:
Liveness Checking as Safety Checking.
Electronic Edition (link) BibTeX
- Henri Hansen, Wojciech Penczek, Antti Valmari:
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.
Electronic Edition (link) BibTeX
- Antti Valmari, Heikki Virtanen, Antti Puhakka:
Context-Sensitive Visibility.
Electronic Edition (link) BibTeX
Volume 66,
Number 3,
2002
F-WAN:
Foundations of Wide Area Network Computing
Málaga,
Spain,
12-13 July 2002
- Vladimiro Sassone:
Preface - F-WAN: Foundations of Wide Area Network Computing.
Electronic Edition (link) BibTeX
- Joaquim Gabarró, Alan Stewart, Maurice Clint:
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.
Electronic Edition (link) BibTeX
- Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Movement in Pure Mobile Ambients.
Electronic Edition (link) BibTeX
- Maria Grazia Vigliotti, Iain Phillips:
Barbs and Congruences for Safe Mobile Ambients.
Electronic Edition (link) BibTeX
- Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Guardians for Ambient-based Monitoring.
Electronic Edition (link) BibTeX
- Silvia Crafa, Michele Bugliesi, Giuseppe Castagna:
Information Flow Security for Boxed Ambients.
Electronic Edition (link) BibTeX
- Viviana Bono, Ferruccio Damiani, Paola Giannini:
A Calculus for "Environment-Aware" Computation.
Electronic Edition (link) BibTeX
- Dominic Duggan:
Abstractions for Fault-Tolerant Global Computing.
Electronic Edition (link) BibTeX
- Florence Germain, Marc Lacoste, Jean-Bernard Stefani:
An Abstract Machine for a Higher-Order Distributed Process Calculus.
Electronic Edition (link) BibTeX
- José-Luis Vivas, Nobuko Yoshida:
Dynamic Channel Screening in the Higher Order pi-Calculus.
Electronic Edition (link) BibTeX
Volume 66,
Number 4,
2002
Formal Methods and Component Interaction
Málaga,
Spain,
July 12,
2002
- Antonio Brogi, Ernesto Pimentel:
Preface.
Electronic Edition (link) BibTeX
- Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert:
IWIM Semantics via Fibred Automata.
Electronic Edition (link) BibTeX
- 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.
Electronic Edition (link) BibTeX
- Pamela Zave, Michael Jackson:
A Call Abstraction for Component Coordination.
Electronic Edition (link) BibTeX
- Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Mobile Channels, Implementation Within and Outside Components.
Electronic Edition (link) BibTeX
- Claus Pahl:
A Formal Composition and Interaction Model for a Web Component Platform.
Electronic Edition (link) BibTeX
- Antonio Brogi, Ernesto Pimentel, Ana M. Roldán:
Compatibility of Linda-based Component Interfaces.
Electronic Edition (link) BibTeX
- Andrea Bracciali, Antonio Brogi, Carlos Canal:
Systematic Component Adaptation.
Electronic Edition (link) BibTeX
- Gwen Salaün, Michel Allemand, Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components.
Electronic Edition (link) BibTeX
Volume 66,
Number 5,
2002
UNCL'2002 Unification in Non-Classical Logics
Málaga,
Spain,
12-13 July 2002
- Patrik Eklund, Manuel Ojeda-Aciego:
Preface.
Electronic Edition (link) BibTeX
- Teresa Alsinet, Lluis Godo, Sandra Sandri:
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.
Electronic Edition (link) BibTeX
- Robin N. Banerjee, Andrés Bujosa:
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings.
Electronic Edition (link) BibTeX
- Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde:
A categorical approach to unification of generalised terms.
Electronic Edition (link) BibTeX
- Temur Kutsia:
Pattern Unification with Sequence Variables, Flexible Arity Symbols.
Electronic Edition (link) BibTeX
- Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
A Multi-Adjoint Approach to Similarity-Based Unification.
Electronic Edition (link) BibTeX
- Harry Virtanen:
Vague Domains, S-Unification, Logic Programming.
Electronic Edition (link) BibTeX
Volume 66,
Number 6,
2002
ATMOS 2002 Algorithmic Methods and Models for Optimization of Railways
Málaga,
Spain,
13 July 2002
- Dorothea Wagner:
Preface.
Electronic Edition (link) BibTeX
- Madhav V. Marathe:
Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk).
Electronic Edition (link) BibTeX
- Matthias Müller-Hannemann, Mathias Schnee, Karsten Weihe:
Getting Train Timetables into the Main Storage.
Electronic Edition (link) BibTeX
- Christian Liebchen, Rolf H. Möhring:
A Case Study in Periodic Timetabling.
Electronic Edition (link) BibTeX
- Luzi Anderegg, Paolo Penna, Peter Widmayer:
Online train disposition: to wait or not to wait?
Electronic Edition (link) BibTeX
- Ricardo Fukasawa, Marcus Poggi de Aragão, Oscar Porto, Eduardo Uchoa:
Solving the Freight Car Flow Problem to Optimality.
Electronic Edition (link) BibTeX
- Jeff Day, George L. Nemhauser, Joel S. Sokol:
Management of Railroad Impedances for Shortest Path-based Routing.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:15 2009
by Michael Ley (ley@uni-trier.de)