Acta Informatica, Volume 36

Volume 36, Number 1, 1999

• Michael Schenke, Ernst-Rüdiger Olderog:
  Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. 1-65
  Electronic Edition (Springer LINK) BibTeX
• Michael Schenke:
  Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. 67-96
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 2, 1999

• Klaus-Dieter Schewe, Bernhard Thalheim:
  Towards a Theory of Consistency Enforcement. 97-141
  Electronic Edition (Springer LINK) BibTeX
• William C. K. Yen, C. Y. Tang:
  An Optimal Algorithm for Solving the Searchlight Guarding Problem on Weighted Two-Terminal Series-Parallel Graphs. 143-172
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 3, 1999

• Millist W. Vincent:
  Semantic Foundations of 4NF in Relational Database Design. 173-213
  Electronic Edition (Springer LINK) BibTeX
• Yijie Han, Yoshihide Igarashi:
  Parallel PROFIT/COST Algorithms Through Fast Derandomization. 215-232
  Electronic Edition (Springer LINK) BibTeX
• Ivana Cerná, Mojmír Kretínský, Antonín Kucera:
  Comparing Expressibility of Normed BPA and Normed BPP Processes. 233-256
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 4, 1999

• Guido Proietti:
  An Optimal Algorithm for Decomposing a Window into Maximal Quadtree Blocks. 257-266
  Electronic Edition (Springer LINK) BibTeX
• Roni Khardon, Heikki Mannila, Dan Roth:
  Reasoning with Examples: Propositional Formulae and Database Dependencies. 267-286
  Electronic Edition (Springer LINK) BibTeX
• Amos Fiat, Gerhard J. Woeginger:
  On-Line Scheduling on a Single Machine: Minimizing the Total Completion Time. 287-293
  Electronic Edition (Springer LINK) BibTeX
• Ralph-Johan Back, Joakim von Wright:
  Reasoning Algebraically about Loops. 295-334
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 5, 1999

• Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen:
  Causality for Debugging Mobile Agents. 335-374
  Electronic Edition (Springer LINK) BibTeX
• Beata Konikowska, Marcin Bialasik:
  Reasoning with First Order Nondeterministic Specifications. 375-403
  Electronic Edition (Springer LINK) BibTeX
• Hong Shen:
  Finding the k Most Vital Edges with Respect to Minimum Spanning Tree. 405-424
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 6, 1999

• Lars Lundberg, Håkan Lennerstad:
  Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing. 425-446
  Electronic Edition (Springer LINK) BibTeX
• Shlomi Dolev, Mohamed G. Gouda, Marco Schneider:
  Memory Requirements for Silent Stabilization. 447-462
  Electronic Edition (Springer LINK) BibTeX
• Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul:
  On the Cost-Effectiveness of PRAMs. 463-487
  Electronic Edition (Springer LINK) BibTeX
• Jesús N. Ravelo:
  Two Graph Algorithms Derived. 489-510
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 7, 2000

• Anthony J. Bonner, Giansalvatore Mecca:
  Querying Sequence Databases with Transducers. 511-544
  Electronic Edition (Springer LINK) BibTeX
• Karsten Schmidt:
  How to Calculate Symmetries of Petri Nets. 545-590
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 8, 2000

• Hans-Dieter Ehrich, Carlos Caleiro:
  Specifying Communication in Distributed Information Systems. 591-616
  Electronic Edition (Springer LINK) BibTeX
• Gary T. Leavens, Don Pigozzi:
  A Complete Algebraic Characterization of Behavioral Subtyping. 617-663
  Electronic Edition (Springer LINK) BibTeX
• Lucian Ilie, Arto Salomaa:
  On the Expressiveness of Subset-Sum Representations. 665-672
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Numbers 9/10, 2000

• T. C. Edwin Cheng, Qing Ding:
  Single Machine Scheduling with Deadlines and Increasing Rates of Processing Times. 673-692
  Electronic Edition (Springer LINK) BibTeX
• Yoshiki Kinoshita, John Power:
  Data Refinement and Algebraic Structure. 693-719
  Electronic Edition (Springer LINK) BibTeX
• Gunnar Forst, Anders Thorup:
  Minimal Huffman Trees. 721-734
  Electronic Edition (Springer LINK) BibTeX
• Hosam M. Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Régnier:
  Analytic Variations on Bucket Selection and Sorting. 735-760
  Electronic Edition (Springer LINK) BibTeX
• Sergei Gorlatch, Christian Lengauer:
  Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. 761-803
  Electronic Edition (Springer LINK) BibTeX
• Juha Honkala:
  On Slender 0L Languages over the Binary Alphabet. 805-815
  Electronic Edition (Springer LINK) BibTeX
• Benedetto Intrigila, Stefano Varricchio:
  On the Generalization of Higman and Kruskal's Theorems to Regular Languages and Rational Trees. 817-835
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 11, 2000

• Yonit Kesten, Zohar Manna, Amir Pnueli:
  Verification of Clocked and Hybrid Systems. 837-912
  Electronic Edition (Springer LINK) BibTeX
• Erzsébet Csuhaj-Varjú, Victor Mitrana:
  Evolutionary Systems: A Language Generating Device Inspired by Evolving Communities of Cells. 913-926
  Electronic Edition (Springer LINK) BibTeX

Volume 36, Number 12, 2000

• Frank Tip, Peter F. Sweeney:
  Class Hierarchy Specialization. 927-982
  Electronic Edition (Springer LINK) BibTeX
• Arturo Carpi, Aldo de Luca:
  Special Factors, Periodicity, and an Application to Sturmian Words. 983-1006
  Electronic Edition (Springer LINK) BibTeX
• Aart Middeldorp, Hitoshi Ohsaki:
  Type Introduction for Equational Rewriting. 1007-1029
  Electronic Edition (Springer LINK) BibTeX