Acta Informatica, Volume 34

Volume 34, Number 1, 1997

• Ke Wang, Weining Zhang, Siu-Cheung Chau: Weakly Independent Database Schemes. 1-22 BibTeX
• N. W. Keesmaat, H. C. M. Kleijn: Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations. 23-57 BibTeX
• Zoltán Fülöp, Sándor Vágvölgyi: Minimal Equational Representations of Recognizable Tree Languages. 59-84 BibTeX

Volume 34, Number 2, 1997

• Javier Esparza: Decidability of Model Checking for Infinite-State Concurrent Systems. 85-107 BibTeX
• Thomas Eiter, Heikki Mannila: Distance Measures for Point Sets and their Computation. 109-133 BibTeX
• Mark Levene, George Loizou: The Additivity Problem for Functional Dependencies in Incomplete Relations. 135-149 BibTeX
• Karel Culik II, Jarkko Kari: Computational Fractal Geometry with WFA. 151-166 BibTeX

Volume 34, Number 3, 1997

• Levent V. Orman: Relational Database Constraints as Counterexamples. 167-189 BibTeX
• Teodor Rus, Sriram V. Pemmaraju: Using Graph Coloring in an Algebraic Compiler. 191-209 BibTeX
• Alexander Shapiro: A Generalized Distribution Model for Random Recursive Trees. 211-216 BibTeX
• Ismo Hakala, Juha Kortelainen: On the System of word equations x^i_1 x^i_2 ... x^i_m = y^i_1 y^i_2 ...y^i_n (i=1, 2, ...) in a Free Monoid. 217-230 BibTeX
• Hristo Djidjev, Shankar M. Venkatesan: Reduced Constants for Simple Cycle Graph Separation. 231-243 BibTeX

Volume 34, Number 4, 1997

• Petr Savický, Ingo Wegener: Efficient Algorithms for the Transformation Between Different Types of Binary Decision Diagrams. 245-256 BibTeX
• Victor Mitrana: On the Interdependence Between Shuffle and Crossing-Over Operations. 257-266 BibTeX
• Arnd Rußmann: Dynamic LL(k) Parsing. 267-289 BibTeX
• Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. 291-324 BibTeX

Volume 34, Number 5, 1997

• Koichi Yamazaki: A Hierarchy of the Class of Apex NLC Graph Languages by Bounds on the Number of Nonterminal Nodes in Productions. 325-335 BibTeX
• Y. Daniel Liang, Maw-Shang Chang: Minimum Feedback Vertex Sets in Comparability Graphs and Convex Bipartite Graphs. 337-346 BibTeX
• Karel Culik II, Simant Dube: Implementing Daubechies Wavelet Transform with Weighted Finite Automata. 347-366 BibTeX
• Ryszard Janicki, Maciej Koutny: Fundamentals of Modelling Concurrency Using Discrete Relational Structures. 367-388 BibTeX
• Kenichi Morita, Noritaka Nishihara, Yasunori Yamamoto, Zhiguo Zhang: A Hierarchy of Uniquely Parsable Grammar Classes and Deterministic Acceptors. 389-410 BibTeX

Volume 34, Number 6, 1997

• Georg Trogemann, Matthias Gente: Performance Analysis of Parallel Programs Based on Directed Acyclic Graphs. 411-428 BibTeX
• Kemal Efe, Nancy Eleser: An Optimal Emulator and VLSI Layout for Complete Binary Trees. 429-447 BibTeX
• Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. 449-489 BibTeX

Volume 34, Number 7, 1997

• Robert Stephens: A Survey of Stream Processing. 491-541 BibTeX
• Sampath Rangarajan, Yennun Huang, Satish K. Tripathi: On the Scalability and Mean-Time to Failure of k Resilient Protocols. 543-556 BibTeX
• Nieves R. Brisaboa, Héctor J. Hernández: Testing Bag-Containment of Conjunctive Queries. 557-578 BibTeX

Volume 34, Number 8, 1997

• Chi-Chung Hui, Samuel T. Chanson: Minimal Communication Cost Software Construction in the Internet Environment. 579-595 BibTeX
• Albert Nymeyer, Joost-Pieter Katoen: Code Generation Based on Formal BURS Therory and Heuristic Search. 597-635 BibTeX
• Janos Aczél, Wolfgang Ertel: A New Formula for Speedup and its Characterization. 637-652 BibTeX

Volume 34, Number 9, 1997

• C. Samuel Hsieh:
  A Fine-Grained Data-Flow Analysis Framework. 653-665
  Electronic Edition (Springer LINK) BibTeX
• Vijay K. Garg, Alexander I. Tomlinson:
  Using the Causal Domain to Specify and verify Distributed Programs. 667-686
  Electronic Edition (Springer LINK) BibTeX
• Apostolos Burnetas, Daniel Solow, Rishi Agarwal:
  An Analysis and Implementation of an Efficient In-Place Bucket Sort. 687-700
  Electronic Edition (Springer LINK) BibTeX
• Christel Baier, Mila E. Majster-Cederbaum:
  Metric Semantics from Partial Order Semantics. 701-735
  Electronic Edition (Springer LINK) BibTeX

Volume 34, Number 10, 1997

• Arnd Poetzsch-Heffter:
  Prototyping Realistic Programming Languages Based on Formal Specifications. 737-772
  Electronic Edition (Springer LINK) BibTeX
• Joost Engelfriet, Jan Joris Vereijken:
  Context-Free Graph Grammars and Concatenation of Graphs. 773-803
  Electronic Edition (Springer LINK) BibTeX

Volume 34, Number 11, 1997

• Flavio Corradini, Roberto Gorrieri, Marco Roccetti:
  Performance Preorder and Competitive Equivalence. 805-835
  Electronic Edition (Springer LINK) BibTeX
• Henning Fernau:
  Unconditional Transfer in Regulated Rewriting. 837-857
  Electronic Edition (Springer LINK) BibTeX
• Lane A. Hemaspaandra, Jörg Rothe, Gerd Wechsung:
  Easy Sets and Hard Certificate Schemes. 859-879
  Electronic Edition (Springer LINK) BibTeX

Volume 34, Number 12, 1997

• John L. Bruno, Edward G. Coffman Jr.:
  Optimal Fault-Tolerant Computing on Multiprocessor Systems. 881-904
  Electronic Edition (Springer LINK) BibTeX
• Dominique Laurent, Viet Phan Luong, Nicolas Spyratos:
  The Use of Deleted Tuples in Database, Querying and Updating. 905-925
  Electronic Edition (Springer LINK) BibTeX , Erratum: Acta Informatica 35(6): 541 (1998)
• Arthur H. M. ter Hofstede, E. Lippe, Theo P. van der Weide:
  Applications of a Categorical Framework for Conceptual Data Modelling. 927-963
  Electronic Edition (Springer LINK) BibTeX