Electronic Notes in Theoretical Computer Science, Volume 66

Volume 66, Number 1, 2002

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

Volume 66, Number 2, 2002

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

Volume 66, Number 3, 2002

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

Volume 66, Number 4, 2002

• Antonio Brogi, Ernesto Pimentel:
  Preface.
  
• Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert:
  IWIM Semantics via Fibred Automata.
  
• Rebeca 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.
  
• Pamela Zave, Michael Jackson:
  A Call Abstraction for Component Coordination.
  
• Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
  Mobile Channels, Implementation Within and Outside Components.
  
• Claus Pahl:
  A Formal Composition and Interaction Model for a Web Component Platform.
  
• Antonio Brogi, Ernesto Pimentel, Ana M. Roldán:
  Compatibility of Linda-based Component Interfaces.
  
• Andrea Bracciali, Antonio Brogi, Carlos Canal:
  Systematic Component Adaptation.
  
• Gwen Salaün, Michel Allemand, Christian Attiogbé:
  Foundations for a Combination of Heterogeneous Specification Components.
  

Volume 66, Number 5, 2002

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

Volume 66, Number 6, 2002

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