Volume 8, Number 1, Spring 2001

• 
  Kaisa Sere, Wang Li: Guest Editors' Foreword. 1
• 
  Ralph-Johan Back, Luigia Petre, Ivan Porres: Continuous Action Systems as a Model for Hybrid Systems. 2-21
• 
  Ana Bove: Simple General Recursion in Type Theory. 22-42
• 
  Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. 43-64
• 
  Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. 65-87
• 
  R. F. Lutje Spelberg, W. J. Toetenel: Parametric Real-Time Model Checking Using Splitting Trees. 88-120
• 
  Simon Mørk: Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. 121-158
• 
  Mauno Rönkkö, Xuandong Li: Linear Hybrid Action Systems. 159-

Volume 8, Number 2, Summer 2001

• 
  Thomas Ottmann, Sven Schuierer, Subbiah Soundaralakshmi: Enumerating Extreme Points in Higher Dimensions. 179-192
• 
  Kaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. 193-218
• 
  Joachim Gudmundsson, Christos Levcopoulos, Giri Narasimhan: Approximating a Minimum Manhattan Network. 219-232
• 
  Hanne Riis Nielson, Flemming Nielson: Shape Analysis for Mobile Ambients. 233-275

Volume 8, Number 3, Fall 2001

• 
  Magne Haveraaen, Olaf Owe: Guest Editors' Foreword. 277-278
• 
  Walter Dosch, Sönke Magnussen: Computer Aided Fusion for Algebraic Program Derivation. 279-297
• 
  Yngve Lamo, Michal Walicki: Specification of Parametrized Programs - Persistency Revisited. 298-323
• 
  Viktor Petersson, Sergei G. Vorobyov: A Randomized Subexponential Algorithm for Parity Games. 324-345
• 
  Harald Fecher: A Real-Time Process Algebra with Open Intervals and Maximal Progress. 346-365
• 
  Tarmo Uustalu, Varmo Vene, Alberto Pardo: Recursion Schemes from Comonads. 366-390
• 
  José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río: Modular Development of Interpreters from Semantic Building Blocks. 391-407

Volume 8, Number 4, Winter 2001

• 
  Béla Bollobás, Gautam Das, Dimitrios Gunopulos, Heikki Mannila: Time-Series Similarity Problems and Well-Separated Geometric Sets. 409-423
• 
  Patric R. J. Östergård: A New Algorithm for the Maximum-Weight Clique Problem. 424-436
• 
  Bernd Grobauer, Julia L. Lawall: Partial Evaluation of Pattern Matching in Strings, revisited. 437-462
• 
  Joan Boyar, Lene M. Favrholdt, Kim S. Larsen, Morten N. Nielsen: The Competitive Ratio for On-Line Dual Bin Packing with Restricted Input Sequences. 463-472
• 
  Jochen Burghardt: Maintaining Partial Sums in Logarithmic Time. 473-474

last updated on Sat May 18 06:31:09 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page