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.~Process.~Lett. AND Volume=80
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Hiding resources that can fail: An axiomatic perspective
Anna Philippou
,
Oleg Sokolsky
,
Insup Lee
,
Rance Cleaveland
,
Scott A. Smolka
Information Processing Letters
80
(1), 2001, pp. 3-13
A process algebra for probabilistic and nondeterministic processes
D. Cazorla
,
F. Cuartero
,
V. Valero
,
F.L. Pelayo
Information Processing Letters
80
(1), 2001, pp. 15-23
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
Corrado Priami
,
Aviv Regev
,
Ehud Shapiro
,
William Silverman
Information Processing Letters
80
(1), 2001, pp. 25-31
The cones and foci proof technique for timed transition systems
Mark B. van der Zwaag
Information Processing Letters
80
(1), 2001, pp. 33-40
Process algebra and conditional composition
Jan A. Bergstra
,
Alban Ponse
Information Processing Letters
80
(1), 2001, pp. 41-49
Impossible futures and determinism
Marc Voorhoeve
,
Sjouke Mauw
Information Processing Letters
80
(1), 2001, pp. 51-58
Equivalence of recursive specifications in process algebra
Alban Ponse
,
Yaroslav S. Usenko
Information Processing Letters
80
(1), 2001, pp. 59-65
A probabilistic cryptanalytic method for a time-variant permutation generator
Jovan Dj. Golić
Information Processing Letters
80
(2), 2001, pp. 67-73
Algorithmic construction of Hamiltonians in pyramids
H. Sarbazi-Azad
,
M. Ould-Khaoua
,
L.M. Mackenzie
Information Processing Letters
80
(2), 2001, pp. 75-79
Convexifying polygons with simple projections
Jorge Alberto Calvo
,
Danny Krizanc
,
Pat Morin
,
Michael Soss
,
Godfried Toussaint
Information Processing Letters
80
(2), 2001, pp. 81-86
On the effective clustering of multidimensional data sequences
Seok-Lyong Lee
,
Chin-Wan Chung
Information Processing Letters
80
(2), 2001, pp. 87-95
Scheduling periodic tasks on uniform multiprocessors
Sanjoy Baruah
Information Processing Letters
80
(2), 2001, pp. 97-104
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property
Roberto Baldoni
,
Jean-Michel Hélary
,
Achour Mostéfaoui
,
Michel Raynal
Information Processing Letters
80
(2), 2001, pp. 105-111
Cryptanalysis of Chang-Wu's group-oriented authentication and key exchange protocols
Hung-Yu Chien
,
Tzong-Chen Wu
,
Jinn-Ke Jan
,
Yuh-Min Tseng
Information Processing Letters
80
(2), 2001, pp. 113-117
Decidability of the consistency problem for regular symbolic picture description languages
G. Costagliola
,
V. Deufemia
,
F. Ferrucci
,
C. Gravino
Information Processing Letters
80
(3), 2001, pp. 119-124
Size/lookahead tradeoff for
LL(k)
-grammars
E. Bertsch
,
M.-J. Nederhof
Information Processing Letters
80
(3), 2001, pp. 125-129
Kleene's logic with equality
Flemming Nielson
,
Hanne Riis Nielson
,
Mooley Sagiv
Information Processing Letters
80
(3), 2001, pp. 131-137
Algebraic properties of the shuffle over
\omega
-trajectories
Ahmad Kadrie
,
V.R. Dare
,
D.G. Thomas
,
K.G. Subramanian
Information Processing Letters
80
(3), 2001, pp. 139-144
Set constraints and topology
Franck Seynhaeve
Information Processing Letters
80
(3), 2001, pp. 145-150
Closed form bounds for clock synchronization under simple uncertainty assumptions
Saâd Biaz
,
Jennifer L. Welch
Information Processing Letters
80
(3), 2001, pp. 151-157
Optimal 1-fair alternators
Shing-Tsaan Huang
,
Bau-Wen Chen
Information Processing Letters
80
(3), 2001, pp. 159-163
On maximal repeats in strings
Mathieu Raffinot
Information Processing Letters
80
(3), 2001, pp. 165-169
Approximation algorithms for maximum linear arrangement
Refael Hassin
,
Shlomi Rubinstein
Information Processing Letters
80
(4), 2001, pp. 171-177
The maximum
f
-depth spanning tree problem
Jérôme Monnot
Information Processing Letters
80
(4), 2001, pp. 179-187
Set-based access conflict analysis of concurrent workflow definition
Minkyu Lee
,
Dongsoo Han
,
Jaeyong Shim
Information Processing Letters
80
(4), 2001, pp. 189-194
Seiten 1
2
>