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
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
Last update Sat May 26 06:15:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
