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=45
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Picture deformation
Symeon Bozapalidis
Acta Informatica
45
(1), 2008, pp. 1-31
Adaptive sorting: An information theoretic perspective
Amr Elmasry
,
Michael L. Fredman
Acta Informatica
45
(1), 2008, pp. 33-42
A decision procedure for propositional projection temporal logic with infinite models
Zhenhua Duan
,
Cong Tian
,
Li Zhang
Acta Informatica
45
(1), 2008, pp. 43-78
On-line graph coloring of
P_5
-free graphs
Iwona Cieślik
Acta Informatica
45
(2), 2008, pp. 79-91
Management of interval probabilistic data
Matteo Magnani
,
Danilo Montesi
Acta Informatica
45
(2), 2008, pp. 93-130
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Tomás̑ Brázdil
,
Antonín Kuc̑era
,
Oldȓich Straz̑ovský
Acta Informatica
45
(2), 2008, pp. 131-154
Two-dimensional packing with conflicts
Leah Epstein
,
Asaf Levin
,
Rob van Stee
Acta Informatica
45
(3), 2008, pp. 155-175
The Boolean closure of linear context-free languages
Martin Kutrib
,
Andreas Malcher
,
Detlef Wotschke
Acta Informatica
45
(3), 2008, pp. 177-191
Two-tier relaxed heaps
Amr Elmasry
,
Claus Jensen
,
Jyrki Katajainen
Acta Informatica
45
(3), 2008, pp. 193-210
Applying relation algebra and REL VIEW to solve problems on orders and lattices
Rudolf Berghammer
Acta Informatica
45
(3), 2008, pp. 211-236
Weighted height of random trees
N. Broutin
,
L. Devroye
,
E. McLeish
Acta Informatica
45
(4), 2008, pp. 237-277
Relational structures model of concurrency
Ryszard Janicki
Acta Informatica
45
(4), 2008, pp. 279-320
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke
,
Ian J. Hayes
Acta Informatica
45
(5), 2008, pp. 321-382
The fibers and range of reduction graphs in ciliates
Robert Brijder
,
Hendrik Jan Hoogeboom
Acta Informatica
45
(5), 2008, pp. 383-402
Inference rules for proving the equivalence of recursive procedures
Benny Godlin
,
Ofer Strichman
Acta Informatica
45
(6), 2008, pp. 403-439
Modelling higher-order dual nondeterminacy
Joseph M. Morris
,
Malcolm Tyrrell
Acta Informatica
45
(6), 2008, pp. 441-465
Regular autodense languages
Chen-Ming Fan
,
C.C. Huang
,
H.J. Shyr
Acta Informatica
45
(7-8), 2008, pp. 467-477
A type safe state abstraction for coordination in Java-like languages
Ferruccio Damiani
,
Elena Giachino
,
Paola Giannini
,
Sophia Drossopoulou
Acta Informatica
45
(7-8), 2008, pp. 479-536
M-nets: A survey
Hanna Klaudel
,
Franck Pommereau
Acta Informatica
45
(7-8), 2008, pp. 537-564
Charting the completeness frontier of inference systems for multivalued dependencies
Sebastian Link
Acta Informatica
45
(7-8), 2008, pp. 565-591
Scattered context grammars that erase nonterminals in a generalized
k
-limited way
Alexander Meduna
,
Jiȓí Techet
Acta Informatica
45
(7-8), 2008, pp. 593-608