ask others

Acta Informatica, Volume 42

> Home > Journals > Acta Informatica

Volume 42, Number 1, October 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Cieslik05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Cieslik05
Iwona Cieslik:
On-line coloring and cliques covering for KK_{s, t}-free graphs. 1-20
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Buttner05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Buttner05
Markus Büttner:
Enhanced prefetching and caching strategies for single- and multi-disk systems. 21-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/GeertsSB05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/GeertsSB05
Floris Geerts, Lieven Smits, Jan Van den Bussche:
N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. 43-56
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/JacobsenL05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/JacobsenL05
Lars Jacobsen, Kim S. Larsen:
Exponentially decreasing number of operations in balanced trees. 57-78

Volume 42, Number 2-3, November 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/NicolaS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/NicolaS05
Rocco De Nicola, Davide Sangiorgi:
Types in concurrency. 79-81
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BergerHY05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BergerHY05
Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-calculus. 83-141
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BettiniVB05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BettiniVB05
Lorenzo Bettini, Betti Venneri, Viviana Bono:
MOMI: a calculus for mobile mixins. 143-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/GayH05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/GayH05
Simon J. Gay, Malcolm Hole:
Subtyping for session types in the pi calculus. 191-225

Volume 42, Number 4-5, December 2005

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/HennessyRY05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/HennessyRY05
Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
safeDpi: a language for controlling mobile code. 227-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Kobayashi05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Kobayashi05
Naoki Kobayashi:
Type-based information flow analysis for the pi-calculus. 291-347
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Konig05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Konig05
Barbara König:
A general framework for types in graph rewriting. 349-388

Volume 42, Number 6-7, March 2006

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Majster-CederbaumWY06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Majster-CederbaumWY06
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue:
Refinement of actions for real-time concurrent systems with causal ambiguity. 389-418
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/EhrenfeuchtHR06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/EhrenfeuchtHR06
Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Embedding linear orders in grids. 419-428
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Levi06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Levi06
Francesca Levi:
A typed encoding of boxed into safe ambients. 429-500
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/EpsteinT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/EpsteinT06
Leah Epstein, Tamir Tassa:
Vector assignment schemes for asymmetric settings. 501-514
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/TrombettaM06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/TrombettaM06
Alberto Trombetta, Danilo Montesi:
Equivalences and optimizations in an expressive XSLT subset. 515-539

Volume 42, Number 8-9, April 2006

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Meduna06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Meduna06
Alexander Meduna:
Deep pushdown automata. 541-552
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BozapalidisK06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BozapalidisK06
Symeon Bozapalidis, Antonios Kalampakas:
Recognizability of graph and pattern languages. 553-581
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Hesselink06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Hesselink06
Wim H. Hesselink:
Splitting forward simulations to copewith liveness. 583-602
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BrlekPR06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BrlekPR06
Srecko Brlek, Elisa Pergola, Olivier Roques:
Non uniform random generation of generalized Motzkin paths. 603-616
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Tatti06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Tatti06
Nikolaj Tatti:
Safe projections of binary data sets. 617-638
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/TipleaE06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/TipleaE06
Ferucio Laurentiu Tiplea, Constantin Enea:
Abstractions of data types. 639-671

maintained by

at