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=1999
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Transformational design of real-time systems - Part I: From requirements to program specifications
Michael Schenke
,
Ernst-Rüdiger Olderog
Acta Informatica
36
(1), 1999, pp. 1-65
Transformational design of real-time systems - Part II: From program specifications to programs
Michael Schenke
Acta Informatica
36
(1), 1999, pp. 67-96
Towards a theory of consistency enforcement
Klaus-Dieter Schewe
,
Bernhard Thalheim
Acta Informatica
36
(2), 1999, pp. 97-141
An optimal algorithm for solving the searchlight guarding problem on weighted two-terminal series-parallel graphs
William C.K. Yen
,
C.Y. Tang
Acta Informatica
36
(2), 1999, pp. 143-172
Semantic foundations of 4NF in relational database design
Millist W. Vincent
Acta Informatica
36
(3), 1999, pp. 173-213
Parallel PROFIT/COST algorithms through fast derandomization
Yijie Han
,
Yoshihide Igarashi
Acta Informatica
36
(3), 1999, pp. 215-232
Comparing expressibility of normed BPA and normed BPP processes
Ivana C̑erná
,
Mojmír Kȓetínský
,
Antonín Kuc̑era
Acta Informatica
36
(3), 1999, pp. 233-256
An optimal algorithm for decomposing a window into maximal quadtree blocks
Guido Proietti
Acta Informatica
36
(4), 1999, pp. 257-266
Reasoning with examples: Propositional formulae and database dependencies
Roni Khardon
,
Heikki Mannila
,
Dan Roth
Acta Informatica
36
(4), 1999, pp. 267-286
On-line scheduling on a single machine: Minimizing the total completion time
Amos Fiat
,
Gerhard J. Woeginger
Acta Informatica
36
(4), 1999, pp. 287-293
Reasoning algebraically about loops
R.J.R. Back
,
J. von Wright
Acta Informatica
36
(4), 1999, pp. 295-334
Causality for debugging mobile agents
Pierpaolo Degano
,
Corrado Priami
,
Lone Leth
,
Bent Thomsen
Acta Informatica
36
(5), 1999, pp. 335-374
Reasoning with first order nondeterministic specifications
Beata Konikowska
,
Marcin Biaƚasik
Acta Informatica
36
(5), 1999, pp. 375-403
Finding the
k
most vital edges with respect to minimum spanning tree
Hong Shen
Acta Informatica
36
(5), 1999, pp. 405-424
Optimal bounds on the gain of permitting dynamic allocation of communication channels in distributed computing
Lars Lundberg
,
Håkan Lennerstad
Acta Informatica
36
(6), 1999, pp. 425-446
Memory requirements for silent stabilization
Shlomi Dolev
,
Mohamed G. Gouda
,
Marco Schneider
Acta Informatica
36
(6), 1999, pp. 447-462
On the cost-effectiveness of PRAMs
Ferri Abolhassan
,
Jörg Keller
,
Wolfgang J. Paul
Acta Informatica
36
(6), 1999, pp. 463-487
Two graph algorithms derived
Jesús N. Ravelo
Acta Informatica
36
(6), 1999, pp. 489-510