Electronic Notes in Theoretical Computer Science, Volume 50

Volume 50, Number 1, 2001

• Christos D. Zaroliagis:
  Introduction - Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001.
  
• Anita Schöbel:
  A Model for the Delay Management Problem based on Mixed-Integer-Programming.
  
• Frank Wagner:
  A Complete Model of the Deutsche Bahn - Prosim and Beyond.
  
• Horst W. Hamacher, Annegret Liebers, Anita Schöbel, Dorothea Wagner, Frank Wagner:
  Locating New Stops in a Railway Network.
  
• Joan Boyar, Susan Krarup, Morten N. Nielsen:
  Seat Reservation Allowing Seat Changes.
  
• Xavier Delorme, Joaquin Rodriguez, Xavier Gandibleux:
  Heuristics for railway infrastructure saturation.
  
• Krzysztof Goczyla:
  Web-Based Integrated Timetable Information System for Railways and Airlines.
  
• Deepak Kapur, Victor L. Winter, Raymond Berg:
  Designing a Controller for a Multi-Train Multi-Track System.
  

Volume 50, Number 2, 2001

• Jean-Jacques Lévy:
  Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001.
  
• Mariangiola Dezani-Ciancaglini, Elio Giovannetti:
  From Bohm's Theorem to Observational Equivalences: an Informal Account.
  
• Kosta Dosen, Zoran Petric:
  The Typed Bohm Theorem.
  
• Satoshi Matsuoka:
  On intuitionistic proof nets with additional rewrite rules and their approximations.
  
• Antonino Salibra:
  Towards Lambda Calculus Order-Incompleteness.
  
• Viviana Bono, Ivano Salvo:
  A CuCh Interpretation of an Object-Oriented Language.
  
• Beatrice Capitani, Michele Loreti, Betti Venneri:
  Hyperformulae, Parallel Deductions and Intersection Types.
  

Volume 50, Number 3, 2001

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

Volume 50, Number 4, 2001

• Richard Mayr:
  Introduction - Verification of Parameterized Systems - VEPAS 2001.
  
• Vlad Rusu, Elena Zinovieva:
  Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.
  
• Tayssir Touili:
  Regular Model Checking using Widening Techniques.
  
• Marcel Kyas:
  Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol.
  
• Giorgio Delzanno:
  An Assertional Language for the Verification of Systems Parametric in Several Dimensions.
  
• Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech:
  Networks of Processes with Parameterized State Space.