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
• 
  Horst W. Hamacher, Annegret Liebers, Anita Schöbel, Dorothea Wagner, Frank Wagner: Locating New Stops in a Railway Network. 13-23
• 
  Joan Boyar, Susan Krarup, Morten N. Nielsen: Seat Reservation Allowing Seat Changes. 24-38
• 
  Xavier Delorme, Joaquin Rodriguez, Xavier Gandibleux: Heuristics for railway infrastructure saturation. 39-53
• 
  Krzysztof Goczyla: Web-Based Integrated Timetable Information System for Railways and Airlines. 54-64
• 
  Deepak Kapur, Victor L. Winter, Raymond Berg: Designing a Controller for a Multi-Train Multi-Track System. 65-79
• 
  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

• 
  Mariangiola Dezani-Ciancaglini, Elio Giovannetti: From Bohm's Theorem to Observational Equivalences: an Informal Account. 83-116
• 
  Kosta Dosen, Zoran Petric: The Typed Bohm Theorem. 117-129
• 
  Satoshi Matsuoka: On intuitionistic proof nets with additional rewrite rules and their approximations. 130-144
• 
  Antonino Salibra: Towards Lambda Calculus Order-Incompleteness. 145-158
• 
  Viviana Bono, Ivano Salvo: A CuCh Interpretation of an Object-Oriented Language. 159-177
• 
  Beatrice Capitani, Michele Loreti, Betti Venneri: Hyperformulae, Parallel Deductions and Intersection Types. 178-195
• 
  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

• 
  Hartmut Ehrig, Fernando Orejas: A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. 199-226
• 
  Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami: Visualization of Distributed Algorithms Based on Graph Relabelling Systems. 227-237
• 
  Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro: A Graph Transformation View on the Specification of Applications using Mobile Code. 238-246
• 
  Sergio Flesca, Filippo Furfaro, Sergio Greco: Graph Grammars for Querying Graph-like Data. 247-256
• 
  Reiko Heckel, Jochen Malte Küster: Behavioral Constraints for Visual Models. 257-265
• 
  Aliki Tsiolakis: Integrating Model Information in UML Sequence Diagrams. 266-274
• 
  Nico Verlinden, Dirk Janssens: Modeling Petri Nets by Local Action Systems. 275-281
• 
  Tomokazu Arita, Kiyonobu Tomiyama, Kensei Tsuchida, Takeo Yaku: Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms. 282-288
• 
  Roswitha Bardohl, T. Schultzke, Gabriele Taentzer: Visual Language Parsing in GenGEd. 289-294
• 
  Oliver Köth, Mark Minas: Abstraction in Graph-Transformation Based Diagram Editors. 295-301
• 
  Andrea Formisano, Marta Simeoni: An AGG Application Supporting Visual Reasoning. 302-309
• 
  Giorgio Busatto, Berthold Hoffmann: Comparing Notions of Hierarchical Graph Transformation. 310-317
• 
  John L. Pfaltz: Transformations of Concept Graphs: An Approach to Empirical Induction. 318-324
• 
  Luciano Baresi, Mauro Pezzè, Gabriele Taentzer: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. 325-326

Volume 50, Number 4, 2001

Verification of Parameterized Systems - VEPAS 2001
Crete, Greece, 13 July 2001

• 
  Vlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. 327-341
• 
  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
• 
  Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech: Networks of Processes with Parameterized State Space. 386-400
• 
  Richard Mayr: Introduction - Verification of Parameterized Systems - VEPAS 2001. 401-402