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=39
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Ideal preemptive schedules on two processors
E.G., Jr. Coffman
,
J. Sethuraman
,
V.G. Timkovsky
Acta Informatica
39
(8), 2003, pp. 597-612
A comparison of pebble tree transducers with macro tree transducers
Joost Engelfriet
,
Sebastian Maneth
Acta Informatica
39
(9), 2003, pp. 613-698
Erratum to ''Coincidental extension of scattered context languages''
Alexander Meduna
Acta Informatica
39
(9), 2003, pp. 699-699