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=43
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
On the tree-transformation power of XSLT
Wim Janssen
,
Alexandr Korlyukov
,
Jan Van den Bussche
Acta Informatica
43
(6), 2007, pp. 371-393
Representation and uniformization of algebraic transductions
Stavros Konstantinidis
,
Nicolae Santean
,
Sheng Yu
Acta Informatica
43
(6), 2007, pp. 395-417
A new bound for the D0Ll sequence equivalence problem
Juha Honkala
Acta Informatica
43
(6), 2007, pp. 419-429
Verification conditions are code
Andrew M. Gravell
Acta Informatica
43
(6), 2007, pp. 431-447
Hybridization methods for the analysis of nonlinear systems
Eugene Asarin
,
Thao Dang
,
Antoine Girard
Acta Informatica
43
(7), 2007, pp. 451-476
Symbolic models for control systems
Paulo Tabuada
Acta Informatica
43
(7), 2007, pp. 477-500
Geometric analysis of nondeterminacy in dynamical systems - Towards a geometric analysis of concurrent systems
Rafael Wisniewski
,
Martin Raussen
Acta Informatica
43
(7), 2007, pp. 501-519
On Abelian 2-avoidable binary patterns
James D. Currie
,
Terry I. Visentin
Acta Informatica
43
(8), 2007, pp. 521-533
Fair ambients
Yuxi Fu
Acta Informatica
43
(8), 2007, pp. 535-594