default search action

combined dblp search
author search
venue search
publication search

ask others

Acta Informatica, Volume 42

> Home > Journals > Acta Informatica

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 42, Number 1, October 2005

- view
  authority control:
- export record
  dblp key:
  - journals/acta/Cieslik05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/Buttner05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/GeertsSB05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/JacobsenL05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/NicolaS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/NicolaS05
Rocco De Nicola, Davide Sangiorgi:
Types in concurrency. 79-81
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BergerHY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BergerHY05
Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-calculus. 83-141
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BettiniVB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BettiniVB05
Lorenzo Bettini, Betti Venneri, Viviana Bono:
MOMI: a calculus for mobile mixins. 143-190
- view
  authority control:
- export record
  dblp key:
  - journals/acta/GayH05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/HennessyRY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/HennessyRY05
Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
safeDpi: a language for controlling mobile code. 227-290
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Kobayashi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Kobayashi05
Naoki Kobayashi:
Type-based information flow analysis for the pi-calculus. 291-347
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Konig05
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/Majster-CederbaumWY06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/EhrenfeuchtHR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/EhrenfeuchtHR06
Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Embedding linear orders in grids. 419-428
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Levi06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Levi06
Francesca Levi:
A typed encoding of boxed into safe ambients. 429-500
- view
  authority control:
- export record
  dblp key:
  - journals/acta/EpsteinT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/EpsteinT06
Leah Epstein, Tamir Tassa:
Vector assignment schemes for asymmetric settings. 501-514
- view
  authority control:
- export record
  dblp key:
  - journals/acta/TrombettaM06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/Meduna06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Meduna06
Alexander Meduna:
Deep pushdown automata. 541-552
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BozapalidisK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BozapalidisK06
Symeon Bozapalidis, Antonios Kalampakas:
Recognizability of graph and pattern languages. 553-581
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Hesselink06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Hesselink06
Wim H. Hesselink:
Splitting forward simulations to copewith liveness. 583-602
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BrlekPR06
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/acta/Tatti06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Tatti06
Nikolaj Tatti:
Safe projections of binary data sets. 617-638
- view
  authority control:
- export record
  dblp key:
  - journals/acta/TipleaE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/TipleaE06
Ferucio Laurentiu Tiplea, Constantin Enea:
Abstractions of data types. 639-671

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.