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=2003
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Extending the accommodating function
Joan Boyar
,
Lene M. Favrholdt
,
Kim S. Larsen
,
Morten N. Nielsen
Acta Informatica
40
(1), 2003, pp. 3-35
Pipelines: Modelling a software architecture through relations
Ernst-Erich Doberkat
Acta Informatica
40
(1), 2003, pp. 37-79
Element distinctness on one-tape Turing machines: A complete solution
Amir M. Ben-Amram
,
Omer Berkman
,
Holger Petersen
Acta Informatica
40
(2), 2003, pp. 81-94
Canonical prefixes of Petri net unfoldings
Victor Khomenko
,
Maciej Koutny
,
Walter Vogler
Acta Informatica
40
(2), 2003, pp. 95-118
Sticky-free and overhang-free DNA languages
Lila Kari
,
Stavros Konstantinidis
,
Elena Losseva
,
Geoff Wozniak
Acta Informatica
40
(2), 2003, pp. 119-157
Providing view synchrony for group communication services
N. Lesley
,
A. Fekete
Acta Informatica
40
(3), 2003, pp. 159-210
A distributed QoS-aware multicast routing protocol
Li Layuan
,
Li Chunlin
Acta Informatica
40
(3), 2003, pp. 211-233
A top-down proof procedure for generalized data dependencies
Stéphane Coulondre
Acta Informatica
39
(1), 2003, pp. 1-29
Synchronized regular expressions
Giuseppe Della Penna
,
Benedetto Intrigila
,
Enrico Tronci
,
Marisa Venturini Zilli
Acta Informatica
39
(1), 2003, pp. 31-70
A functional approach for temporal
\times
modal logics
Alfredo Burrieza
,
Inma P. de Guzmán
Acta Informatica
39
(2), 2003, pp. 71-96
Bin stretching revisited
Leah Epstein
Acta Informatica
39
(2), 2003, pp. 97-117
Stochastic cooperative distributed grammar systems and random graphs
Ján Gas̑o
,
Martin Nehéz
Acta Informatica
39
(2), 2003, pp. 119-140
Fundamentals of control flow in workflows
B. Kiepuszewski
,
A.H.M. ter Hofstede
,
W.M.P. van der Aalst
Acta Informatica
39
(3), 2003, pp. 143-209
Preference rankings in the face of uncertainty
Wim H. Hesselink
Acta Informatica
39
(3), 2003, pp. 211-231
Stepwise development of fair distributed systems
Axel Wabenhorst
Acta Informatica
39
(4), 2003, pp. 233-271
On Gurevich's theorem on sequential algorithms
W. Reisig
Acta Informatica
39
(4), 2003, pp. 273-305
Coincidental extension of scattered context languages
Alexander Meduna
Acta Informatica
39
(5), 2003, pp. 307-314
Reasoning about probabilistic sequential programs in a probabilistic logic
Mingsheng Ying
Acta Informatica
39
(5), 2003, pp. 315-389
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints
Joachim Biskup
,
Torsten Polle
Acta Informatica
39
(6-7), 2003, pp. 391-449
A word on 7 letters which is non-repetitive up to mod 5
James D. Currie
,
Erica Moodie
Acta Informatica
39
(6-7), 2003, pp. 451-468
Strong bisimilarity of simple process algebras: Complexity lower bounds
Jiȓí Srba
Acta Informatica
39
(6-7), 2003, pp. 469-499
Structural operational semantics and bounded nondeterminism
Wan Fokkink
,
Thuy Duong Vu
Acta Informatica
39
(6-7), 2003, pp. 501-516
Networks of evolutionary processors
Juan Castellanos
,
Carlos Martín-Vide
,
Victor Mitrana
,
José M. Sempere
Acta Informatica
39
(6-7), 2003, pp. 517-529
Towards action refinement for true concurrent real time
Mila Majster-Cederbaum
,
Jinzhao Wu
Acta Informatica
39
(8), 2003, pp. 531-577
A note on pure and
p
-pure languages
Pedro V. Silva
Acta Informatica
39
(8), 2003, pp. 579-595
Seiten 1
2
>