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=163
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Decoding choice encodings
Uwe Nestmann
,
Benjamin C. Pierce
Information and Computation
163
(1), 2000, pp. 1-59
Semantics of temporal classes
Suad Alagić
Information and Computation
163
(1), 2000, pp. 60-102
On the impossibility of interaction-free quantum sensing for small I/0 bandwidth
John Reif
Information and Computation
163
(1), 2000, pp. 103-122
Compositionality in dataflow synchronous languages: Specification and distributed code generation
Albert Benveniste
,
Benoît Caillaud
,
Paul le Guernic
Information and Computation
163
(1), 2000, pp. 125-171
An algebraic framework for urgency
Sébastien Bornot
,
Joseph Sifakis
Information and Computation
163
(1), 2000, pp. 172-202
Verification by augmented finitary abstraction
Yonit Kesten
,
Amir Pnueli
Information and Computation
163
(1), 2000, pp. 203-243
Inductive synthesis of recursive processes from logical properties
Shigetomo Kimura
,
Atsushi Togashi
,
Norio Shiratori
Information and Computation
163
(2), 2000, pp. 257-284
On full abstraction for PCF: I, II, and III
J.M.E. Hyland
,
C.-H.L. Ong
Information and Computation
163
(2), 2000, pp. 285-408
Full abstraction for PCF
Samson Abramsky
,
Radha Jagadeesan
,
Pasquale Malacaria
Information and Computation
163
(2), 2000, pp. 409-470
Strong fairness and full abstraction for communicating processes
Susan Older
Information and Computation
163
(2), 2000, pp. 471-509
Uniform generation of
NP
-witnesses using an
NP
-oracle
Mihir Bellare
,
Oded Goldreich
,
Erez Petrank
Information and Computation
163
(2), 2000, pp. 510-526