ICALP 2001 Satellite Workshops
Volume 50, Number 1, 2001
Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001
Crete, Greece, 13 July 2001
Anita Schöbel:
A Model for the Delay Management Problem based on Mixed-Integer-Programming.
1-10
Frank Wagner:
A Complete Model of the Deutsche Bahn - Prosim and Beyond.
11-12
Krzysztof Goczyla:
Web-Based Integrated Timetable Information System for Railways and Airlines.
54-64
Christos D. Zaroliagis:
Introduction - Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001.
80-81
Volume 50, Number 2, 2001
Bohm's theorem:
applications to Computer Science Theory - BOTH 2001
Crete, Greece, 13 July 2001
Satoshi Matsuoka:
On intuitionistic proof nets with additional rewrite rules and their approximations.
130-144
Jean-Jacques Lévy:
Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001.
196-197
Volume 50, Number 3, 2001
Graph Transformation and Visual Modeling Techniques - GT-VMT 2001
Crete, Greece, 12-13 July 2001
Aliki Tsiolakis:
Integrating Model Information in UML Sequence Diagrams.
266-274
John L. Pfaltz:
Transformations of Concept Graphs: An Approach to Empirical Induction.
318-324
Volume 50, Number 4, 2001
Verification of Parameterized Systems - VEPAS 2001
Crete, Greece, 13 July 2001
Tayssir Touili:
Regular Model Checking using Widening Techniques.
342-356
Marcel Kyas:
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
357-370
Giorgio Delzanno:
An Assertional Language for the Verification of Systems Parametric in Several Dimensions.
371-385
Richard Mayr:
Introduction - Verification of Parameterized Systems - VEPAS 2001.
401-402
data released under the ODC-BY 1.0 license
