Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Acta Inf. AND Volume=42
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On-line coloring and cliques covering for
K_{s,t}
-free graphs
Iwona Cieślik
Acta Informatica
42
(1), 2005, pp. 1-20
Enhanced prefetching and caching strategies for single- and multi-disk systems
Markus Büttner
Acta Informatica
42
(1), 2005, pp. 21-42
N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets
Floris Geerts
,
Lieven Smits
,
Jan Van den Bussche
Acta Informatica
42
(1), 2005, pp. 43-56
Exponentially decreasing number of operations in balanced trees
Lars Jacobsen
,
Kim Skak Larsen
Acta Informatica
42
(1), 2005, pp. 57-78
Genericity and the
\pi
-calculus
Martin Berger
,
Kohei Honda
,
Nobuko Yoshida
Acta Informatica
42
(2-3), 2005, pp. 83-141
MOMI: A calculus for mobile mixins
Lorenzo Bettini
,
Viviana Bono
,
Betti Venneri
Acta Informatica
42
(2-3), 2005, pp. 143-190
Subtyping for session types in the pi calculus
Simon Gay
,
Malcolm Hole
Acta Informatica
42
(2-3), 2005, pp. 191-225
SAFEDPI: A language for controlling mobile code
Matthew Hennessy
,
Julian Rathke
,
Nobuko Yoshida
Acta Informatica
42
(4-5), 2005, pp. 227-290
Type-based information flow analysis for the
\pi
-calculus
Naoki Kobayashi
Acta Informatica
42
(4-5), 2005, pp. 291-347
A general framework for types in graph rewriting
Barbara König
Acta Informatica
42
(4-5), 2005, pp. 349-388
Refinement of actions for real-time concurrent systems with causal ambiguity
Mila Majster-Cederbaum
,
Jinzhao Wu
,
Houguang Yue
Acta Informatica
42
(6-7), 2006, pp. 389-418
Embedding linear orders in grids
Andrzej Ehrenfeucht
,
Tero Harju
,
Grzegorz Rozenberg
Acta Informatica
42
(6-7), 2006, pp. 419-428
A typed encoding of boxed into safe ambients
Francesca Levi
Acta Informatica
42
(6-7), 2006, pp. 429-500
Vector assignment schemes for asymmetric settings
Leah Epstein
,
Tamir Tassa
Acta Informatica
42
(6-7), 2006, pp. 501-514
Equivalences and optimizations in an expressive XSLT subset
Alberto Trombetta
,
Danilo Montesi
Acta Informatica
42
(6-7), 2006, pp. 515-539
Deep pushdown automata
Alexander Meduna
Acta Informatica
42
(8-9), 2006, pp. 541-552
Recognizability of graph and pattern languages
Symeon Bozapalidis
,
Antonios Kalampakas
Acta Informatica
42
(8-9), 2006, pp. 553-581
Splitting forward simulations to copewith liveness
Wim H. Hesselink
Acta Informatica
42
(8-9), 2006, pp. 583-602
Non uniform random generation of generalized Motzkin paths
Srec̑ko Brlek
,
Elisa Pergola
,
Olivier Roques
Acta Informatica
42
(8-9), 2006, pp. 603-616
Safe projections of binary data sets
Nikolaj Tatti
Acta Informatica
42
(8-9), 2006, pp. 617-638
Abstractions of data types
Ferucio Laurenţiu Ţiplea
,
Constantin Enea
Acta Informatica
42
(8-9), 2006, pp. 639-671