Electronic Notes in Theoretical Computer Science, Volume 50

Volume 50, Number 1, 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

• 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

• 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

• 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
  

Last update Mon May 20 17:05:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page