External Links

    Journal: Acta Informatica

    Volume 34, Issue 9

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

    Volume 34, Issue 8

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

    Volume 34, Issue 7

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

    Volume 34, Issue 6

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

    Volume 34, Issue 5

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

    Volume 34, Issue 4

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

    Volume 34, Issue 3

    167 -- 189Levent V. Orman. Relational Database Constraints as Counterexamples
    191 -- 209Teodor Rus, Sriram V. Pemmaraju. Using Graph Coloring in an Algebraic Compiler
    211 -- 216Alexander Shapiro. A Generalized Distribution Model for Random Recursive Trees
    217 -- 230Ismo 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
    231 -- 243Hristo Djidjev, Shankar M. Venkatesan. Reduced Constants for Simple Cycle Graph Separation

    Volume 34, Issue 2

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

    Volume 34, Issue 12

    881 -- 904John L. Bruno, Edward G. Coffman Jr.. Optimal Fault-Tolerant Computing on Multiprocessor Systems
    905 -- 925Dominique Laurent, Viet Phan Luong, Nicolas Spyratos. The Use of Deleted Tuples in Database, Querying and Updating
    927 -- 963Arthur H. M. ter Hofstede, E. Lippe, Theo P. van der Weide. Applications of a Categorical Framework for Conceptual Data Modelling

    Volume 34, Issue 11

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

    Volume 34, Issue 10

    737 -- 772Arnd Poetzsch-Heffter. Prototyping Realistic Programming Languages Based on Formal Specifications
    773 -- 803Joost Engelfriet, Jan Joris Vereijken. Context-Free Graph Grammars and Concatenation of Graphs

    Volume 34, Issue 1

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