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=184
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A semantic theory for value-passing processes based on the late approach
Anna Ingólfsdóttir
Information and Computation
184
(1), 2003, pp. 1-44
On the intrinsic complexity of learning recursive functions
Sanjay Jain
,
Efim Kinber
,
Christophe Papazian
,
Carl Smith
,
Rolf Wiehagen
Information and Computation
184
(1), 2003, pp. 45-70
Optimal proof systems imply complete sets for promise classes
Johannes Köbler
,
Jochen Messner
,
Jacobo Torán
Information and Computation
184
(1), 2003, pp. 71-92
Logarithm Cartesian authentication codes
T.W. Sze
,
S. Chanson
,
C. Ding
,
T. Helleseth
,
M.G. Parker
Information and Computation
184
(1), 2003, pp. 93-108
Analysis of a randomized rendezvous algorithm
Yves Métivier
,
Nasser Saheb
,
Akka Zemmari
Information and Computation
184
(1), 2003, pp. 109-128
The Lazy Bureaucrat scheduling Problem
Esther M. Arkin
,
Michael A. Bender
,
Joseph S.B. Mitchell
,
Steven S. Skiena
Information and Computation
184
(1), 2003, pp. 129-146
Counting on CTL*: On the expressive power of monadic path logic
Faron Moller
,
Alexander Rabinovich
Information and Computation
184
(1), 2003, pp. 147-159
Approximating labelled Markov processes
Josée Desharnais
,
Vineet Gupta
,
Radha Jagadeesan
,
Prakash Panangaden
Information and Computation
184
(1), 2003, pp. 160-200
Bisimulation congruence of
\chi
-calculus
Yuxi Fu
Information and Computation
184
(1), 2003, pp. 201-226
Erratum to ''The small model property: How small can it be?''
Amir Pnueli
,
Yoav Rodeh
,
Ofer Strichman
,
Michael Siegel
Information and Computation
184
(1), 2003, pp. 227-227
How to use several noisy channels with unknown error probabilities
Olga Mitina
,
Nikolai Vereshchagin
Information and Computation
184
(2), 2003, pp. 229-241
Typed operational semantics for higher-order subtyping
Adriana Compagnoni
,
Healfdene Goguen
Information and Computation
184
(2), 2003, pp. 242-297
On identification secret sharing schemes
Ning Cai
,
Kwok Yan Lam
Information and Computation
184
(2), 2003, pp. 298-310
Faster asynchronous systems
Walter Vogler
Information and Computation
184
(2), 2003, pp. 311-342
Undecidability of domino games and hhp-bisimilarity
Marcin Jurdziński
,
Mogens Nielsen
,
Jiȓí Srba
Information and Computation
184
(2), 2003, pp. 343-368
On transformations of formal power series
Manfred Droste
,
Guo-Qiang Zhang
Information and Computation
184
(2), 2003, pp. 369-383