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=Inf.~Comput. AND Volume=150
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Alpha-conversion and typability
A.J. Kfoury
,
S. Ronchi della Rocca
,
J. Tiuryn
,
P. Urzyczyn
Information and Computation
150
(1), 1999, pp. 1-21
Distributed cooperative Bayesian learning strategies
Kenji Yamanishi
Information and Computation
150
(1), 1999, pp. 22-56
Improved methods for approximating node weighted Steiner trees and connected dominating sets
Sudipto Guha
,
Samir Khuller
Information and Computation
150
(1), 1999, pp. 57-74
Byzantine-resistant total ordering algorithms
Louise E. Moser
,
P.M. Melliar-Smith
Information and Computation
150
(1), 1999, pp. 75-111
Greibach normal form transformation revisited
Norbert Blum
,
Robert Koch
Information and Computation
150
(1), 1999, pp. 112-118
Dealing with zero-time transitions in axiom systems
Angelo Gargantini
,
Dino Mandrioli
,
Angelo Morzenti
Information and Computation
150
(2), 1999, pp. 119-131
A partial order approach to branching time logic model checking
Rob Gerth
,
Ruurd Kuiper
,
Doron Peled
,
Wojciech Penczek
Information and Computation
150
(2), 1999, pp. 132-152
Discrimination by parallel observers: The algorithm
Mariangiola Dezani-Ciancaglini
,
Jerzy Tiuryn
,
Paweƚ Urzyczyn
Information and Computation
150
(2), 1999, pp. 153-186
Malign distributions for average case circuit complexity
Andreas Jakoby
,
Rüdiger Reischuk
,
Christian Schindelhauer
Information and Computation
150
(2), 1999, pp. 187-208
Decidable integration graphs
Y. Kesten
,
A. Pnueli
,
J. Sifakis
,
S. Yovine
Information and Computation
150
(2), 1999, pp. 209-243
On randomization in on-line computation
Allan Borodin
,
Ran El-Yaniv
Information and Computation
150
(2), 1999, pp. 244-267
An algebra for pomsets
Stéphane Grumbach
,
Tova Milo
Information and Computation
150
(2), 1999, pp. 268-306