Journal: Electronic Notes in Theoretical Computer Science

Volume 50, Issue 4

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

Volume 50, Issue 3

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

Volume 50, Issue 2

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

Volume 50, Issue 1

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