Journal: Electronic Notes in Theoretical Computer Science

Volume 66, Issue 6

1 -- 7Madhav V. Marathe. Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk)
8 -- 17Matthias Müller-Hannemann, Mathias Schnee, Karsten Weihe. Getting Train Timetables into the Main Storage
18 -- 31Christian Liebchen, Rolf H. Möhring. A Case Study in Periodic Timetabling
32 -- 41Luzi Anderegg, Paolo Penna, Peter Widmayer. Online train disposition: to wait or not to wait?
42 -- 52Ricardo Fukasawa, Marcus Poggi de Aragão, Oscar Porto, Eduardo Uchoa. Solving the Freight Car Flow Problem to Optimality
53 -- 65Jeff Day, George L. Nemhauser, Joel S. Sokol. Management of Railroad Impedances for Shortest Path-based Routing
66 -- 67Dorothea Wagner. Preface

Volume 66, Issue 5

1 -- 21Teresa Alsinet, Lluis Godo, Sandra Sandri. Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
22 -- 40Robin N. Banerjee, Andrés Bujosa. Syntactic Unification as a Geometric Operation in Free Modules over certain Rings
41 -- 51Patrik Eklund, Maria A. Galán, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde. A categorical approach to unification of generalised terms
52 -- 69Temur Kutsia. Pattern Unification with Sequence Variables, Flexible Arity Symbols
70 -- 85Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás. A Multi-Adjoint Approach to Similarity-Based Unification
86 -- 103Harry Virtanen. Vague Domains, S-Unification, Logic Programming
104 -- 105Patrik Eklund, Manuel Ojeda-Aciego. Preface

Volume 66, Issue 4

1 -- 15Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. IWIM Semantics via Fibred Automata
16 -- 35Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez. ARIFS: an Environment for Incomplete and Formal Specifications
36 -- 55Pamela Zave, Michael Jackson. A Call Abstraction for Component Coordination
56 -- 66. Mobile Channels, Implementation Within and Outside Components
67 -- 81Claus Pahl. A Formal Composition and Interaction Model for a Web Component Platform
82 -- 96Antonio Brogi, Ernesto Pimentel, Ana M. Roldán. Compatibility of Linda-based Component Interfaces
97 -- 113Andrea Bracciali, Antonio Brogi, Carlos Canal. Systematic Component Adaptation
114 -- 133Gwen Salaün, Michel Allemand, Christian Attiogbé. Foundations for a Combination of Heterogeneous Specification Components
134 -- 0Antonio Brogi, Ernesto Pimentel. Preface

Volume 66, Issue 3

1 -- 21Joaquim Gabarró, Alan Stewart, Maurice Clint. Grab and Go Systems: a CPO approach to concurrent web and grid-based computation
22 -- 36Nadia Busi, Gianluigi Zavattaro. On the Expressiveness of Movement in Pure Mobile Ambients
37 -- 51Maria Grazia Vigliotti, Iain Phillips. Barbs and Congruences for Safe Mobile Ambients
52 -- 75Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese. Guardians for Ambient-based Monitoring
76 -- 97Silvia Crafa, Michele Bugliesi, Giuseppe Castagna. Information Flow Security for Boxed Ambients
98 -- 115Viviana Bono, Ferruccio Damiani, Paola Giannini. A Calculus for Environment-Aware Computation
116 -- 144Dominic Duggan. Abstractions for Fault-Tolerant Global Computing
145 -- 169Florence Germain, Marc Lacoste, Jean-Bernard Stefani. An Abstract Machine for a Higher-Order Distributed Process Calculus
170 -- 184José Luis Vivas, Nobuko Yoshida. Dynamic Channel Screening in the Higher Order pi-Calculus
185 -- 186Vladimiro Sassone. Preface - F-WAN: Foundations of Wide Area Network Computing

Volume 66, Issue 2

1 -- 16Mustapha Bourahla, Mohamed Benmohamed. Predicate Abstraction and Refinement for Model Checking VHDL State Machines
17 -- 32María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel. A Tool for Abstraction in Model Checking
33 -- 49David Lugato, Céline Bigot, Yannick Valot. Validation and automatic test generation on UML models: the AGATHA approach
50 -- 65Juan C. Burguillo-Rial, Martín Llamas Nistal, M. J. Fernández, T. Robles. Heuristic-driven Techniques for Test Case Selection
66 -- 83Tiziana Margaria, Bernhard Steffen. Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination
84 -- 103Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge. A methodological process for the design of a large system: two industrial case-studies
104 -- 119Conrado Daws, Marta Z. Kwiatkowska, Gethin J. Norman. Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
120 -- 131Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla. Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets
132 -- 144Sylvie Boldo, Marc Daumas. Properties of the subtraction valid for any floating point system
145 -- 159Xavier Thirioux. Simple and Efficient Translation from LTL Formulas to Buchi Automata
160 -- 177Armin Biere, Cyrille Artho, Viktor Schuppan. Liveness Checking as Safety Checking
178 -- 193Henri Hansen, Wojciech Penczek, Antti Valmari. Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
194 -- 210Antti Valmari, Heikki Virtanen, Antti Puhakka. Context-Sensitive Visibility
211 -- 213Rance Cleaveland, Hubert Garavel. Foreword

Volume 66, Issue 1

1 -- 12George Barmpalias. On 0 -computable Reals
13 -- 24Vasco Brattka. Computing Uniform Bounds
25 -- 35Rodney G. Downey, Evan J. Griffiths. Schnorr Randomness
36 -- 52Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan. Trivial Reals
53 -- 64Zilin Du, Maria Eleftheriou, José E. Moreira, Chee-Keng Yap. Hypergeometric Functions in Exact Geometric Computation
65 -- 78Peter Hertling. A Comparison of Certain Representations of Regularly Closed Sets
79 -- 90Iraj Kalantari, Larry Welch. Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
91 -- 103Ali Asghar Khanban, Abbas Edalat, André Lieutier. Computability of Partial Delaunay Triangulation and Voronoi Diagram
104 -- 112Margarita V. Korovina. Fixed Points on the Real Numbers without the Equality Test
113 -- 126Simon Langley, Daniel Richardson. What can we do with a Solution?
127 -- 138Joseph S. Miller. Effectiveness for Embedded Spheres and Balls
139 -- 153Norbert Th. Müller. Real Numbers and BDDs
154 -- 164Robert Rettinger, Klaus Weihrauch. The Computational Complexity of Some Julia Sets
165 -- 175Matthias Schröder. A Natural Weak Limit Space with Admissible Representation which is not a Limit Space
176 -- 188Hideki Tsuiki. Representations of Complete Uniform Spaces via Uniform Domains
189 -- 201Klaus Weihrauch, Ning Zhong 0002. The Solution Operator of the Korteweg-de Vries Equation is Computable
202 -- 212Mariko Yasugi, Yoshiki Tsujii. Two Notions of Sequential Computability of a Function with Jumps
213 -- 224Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl. Effectively Absolute Continuity and Effective Jordan Decomposability
225 -- 226Vasco Brattka, Matthias Schröder, Klaus Weihrauch. Preface