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 YEAR=2006
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algebraic correctness proofs for compiling recursive function definitions with strictness information
Klaus Indermark
,
Thomas Noll
Acta Informatica
43
(1), 2006, pp. 1-43
Compositional analysis of C/C++ programs with VeriSoft
Juergen Dingel
Acta Informatica
43
(1), 2006, pp. 45-71
Fairness of actions in system computations
F. Corradini
,
M.R. Di Berardini
,
W. Vogler
Acta Informatica
43
(2), 2006, pp. 73-130
Solving HPP and SAT by
P
systems with active membranes and separation rules
Linqiang Pan
,
Artiom Alhazov
Acta Informatica
43
(2), 2006, pp. 131-145
Throughput analysis in wireless networks with multiple users and multiple channels
Amrinder Arora
,
Fanchun Jin
,
Gokhan Sahin
,
Hosam Mahmoud
,
Hyeong-Ah Choi
Acta Informatica
43
(3), 2006, pp. 147-164
Periods in extensions of words
Tero Harju
,
Dirk Nowotka
Acta Informatica
43
(3), 2006, pp. 165-171
Classifications of dense languages
Zheng-Zhu Li
,
H.J. Shyr
,
Y.S. Tsai
Acta Informatica
43
(3), 2006, pp. 173-194
Refinement verification of the lazy caching algorithm
Wim H. Hesselink
Acta Informatica
43
(3), 2006, pp. 195-222
Programmed grammars and their relation to the LBA problem
Henning Bordihn
,
Markus Holzer
Acta Informatica
43
(4), 2006, pp. 223-242
Distances in random digital search trees
Rafik Aguech
,
Nabil Lasmar
,
Hosam Mahmoud
Acta Informatica
43
(4), 2006, pp. 243-264
Linearly bounded infinite graphs
Arnaud Carayol
,
Antoine Meyer
Acta Informatica
43
(4), 2006, pp. 265-292
Representing the integers with powers of 2 and 3
José María Amigó
Acta Informatica
43
(5), 2006, pp. 293-306
Merged processes: A new condensed representation of Petri net behaviour
Victor Khomenko
,
Alex Kondratyev
,
Maciej Koutny
,
Walter Vogler
Acta Informatica
43
(5), 2006, pp. 307-330
On the number of nodes in universal networks of evolutionary processors
Artiom Alhazov
,
Carlos Martín-Vide
,
Yurii Rogozhin
Acta Informatica
43
(5), 2006, pp. 331-339
A semantic approach to optimize linear datalog programs
José R. Paramá
,
Nieves R. Brisaboa
,
Miguel R. Penabad
,
Ángeles Places
Acta Informatica
43
(5), 2006, pp. 341-370
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
Seiten 1
2
>