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=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Seiten
<
1
2