Acta Informatica, Volume 38

Volume 38, Number 1, 2001

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/ColombDJ01
- ask others
Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson: Category-theoretic fibration as an abstraction mechanism in information systems. 1-44
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/MeinkeS01
- ask others
Karl Meinke, L. J. Steggles: Correctness of dataflow and systolic algorithms using algebras of streams. 45-88

Volume 38, Number 2, 2001

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/TorreN01
- ask others
Salvatore La Torre, Margherita Napoli: Timed tree automata with an application to temporal logic. 89-116
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/ItoMM01
- ask others
Masami Ito, Carlos Martín-Vide, Victor Mitrana: Group weighted finite transducers. 117-129
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/DassowPTY01
- ask others
Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu: Tree-systems of morphisms. 131-153

Volume 38, Number 3, 2001

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/RensinkW01
- ask others
Arend Rensink, Heike Wehrheim: Process algebra with action dependencies. 155-234

Volume 38, Number 4, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/MakinenS02
- ask others
Erkki Mäkinen, Tarja Systä: Minimally adequate teacher synthesizes statechart diagrams. 235-259
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Drmota02
- ask others
Michael Drmota: The variance of the height of digital search trees. 261-276
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/LinY02
- ask others
Huimin Lin, Wang Yi: Axiomatising timed automata. 277-305

Volume 38, Number 5, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/SimoviciCC02
- ask others
Dan A. Simovici, Dana Cristofor, Laurentiu Cristofor: Impurity measures in databases. 307-324
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/LiuV02
- ask others
Jixue Liu, Millist W. Vincent: Containment and disjointedness in partitioned normal form relations. 325-342
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Hesselink02
- ask others
Wim H. Hesselink: An assertional criterion for atomicity. 343-366

Volume 38, Number 6, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Duggan02
- ask others
Dominic Duggan: Object type constructors. 367-408
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/CarpiLV02
- ask others
Arturo Carpi, Aldo de Luca, Stefano Varricchio: Words, univalent factors, and boxes. 409-436

Volume 38, Number 7, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/FrederiksW02
- ask others
Paul J. M. Frederiks, Theo P. van der Weide: Deriving and paraphrasing information grammars using object-oriented analysis models. 437-488
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/PenabadBHP02
- ask others
Miguel R. Penabad, Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá: A general procedure to check conjunctive query containment. 489-529

Volume 38, Number 8, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Santone02
- ask others
Antonella Santone: Automatic verification of concurrent systems using a formula-based compositional approach. 531-564
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Larsen02
- ask others
Kim S. Larsen: Relaxed red-black trees with group updates. 565-586
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/ChakaravarthyH02
- ask others
Venkatesan T. Chakaravarthy, Susan Horwitz: On the non-approximability of points-to analysis. 587-598

Volume 38, Number 9, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/CorderoEG02
- ask others
Pablo Cordero, Manuel Enciso, Inman P. de Guzmán: Bases for closed sets of implicants and implicates in temporal logic. 599-619
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/GiannellaG02
- ask others
Chris Giannella, Dirk Van Gucht: Adding a path connectedness operator to FO+poly (linear). 621-648
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BerstelB02
- ask others
Jean Berstel, Luc Boasson: Formal properties of XML grammars and languages. 649-671

Volume 38, Number 10, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/CoffmanDW02
- ask others
Edward G. Coffman Jr., Peter J. Downey, Peter M. Winkler: Packing rectangles in a strip. 673-693
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BottoniMPR02
- ask others
Paolo Bottoni, Carlos Martín-Vide, Gheorghe Paun, Grzegorz Rozenberg: Membrane systems with promoters/inhibitors. 695-720
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/MutyamK02
- ask others
Madhu Mutyam, Kamala Krithivasan: Generalized normal form for rewriting P systems. 721-734

Volume 38, Number 11/12, 2002

- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/CorradiniVJ02
- ask others
Flavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. 735-792
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Vajnovszki02
- ask others
Vincent Vajnovszki: Gray visiting Motzkins. 793-811
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Mahmoud02
- ask others
Hosam M. Mahmoud: The size of random bucket trees via urn models. 813-838
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/HonkalaL02
- ask others
Iiro S. Honkala, Antoine Lobstein: On the complexity of the identification problem in Hamming spaces. 839-845
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/IwamotoTMI02
- ask others
Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai: A quadratic speedup theorem for iterative arrays. 847-858