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=70
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parametricity and variants of Girard's
J
operator
Robert Harper
,
John C. Mitchell
Information Processing Letters
70
(1), 1999, pp. 1-5
Loopless generation of Gray codes for
k
-ary trees
James F. Korsh
,
Paul LaFollette
Information Processing Letters
70
(1), 1999, pp. 7-11
On edge-disjoint spanning trees in hypercubes
Benjamin Barden
,
Ran Libeskind-Hadas
,
Janet Davis
,
William Williams
Information Processing Letters
70
(1), 1999, pp. 13-16
Maximum weight triangulation and graph drawing
Cao An Wang
,
Francis Y. Chin
,
Bo Ting Yang
Information Processing Letters
70
(1), 1999, pp. 17-22
On finite representations of infinite-state behaviours
Antonín Kuc̑era
Information Processing Letters
70
(1), 1999, pp. 23-30
In-place sorting with fewer moves
Jyrki Katajainen
,
Tomi A. Pasanen
Information Processing Letters
70
(1), 1999, pp. 31-37
The budgeted maximum coverage problem
Samir Khuller
,
Anna Moss
,
Joseph (Seffi) Naor
Information Processing Letters
70
(1), 1999, pp. 39-45
Multiresource malleable task scheduling to minimize response time
Hadas Shachnai
,
John J. Turek
Information Processing Letters
70
(1), 1999, pp. 47-52
On the approximation hardness of dense TSP and other path problems
W. Fernandez de la Vega
,
M. Karpinski
Information Processing Letters
70
(2), 1999, pp. 53-55
A linear algorithm to color
i
-triangulated graphs
F. Roussel
,
I. Rusu
Information Processing Letters
70
(2), 1999, pp. 57-62
Pop-stacks in parallel
M.D. Atkinson
,
J.-R. Sack
Information Processing Letters
70
(2), 1999, pp. 63-67
Abstract interpretation of trace semantics for concurrent calculi
Roberto Barbuti
,
Nicoletta de Francesco
,
Antonella Santone
,
Gigliola Vaglini
Information Processing Letters
70
(2), 1999, pp. 69-78
The security of two ID-based multisignature protocols for sequential and broadcasting architectures
Narn-Yih Lee
,
Tzonelih Hwang
,
Chih-Hung Wang
Information Processing Letters
70
(2), 1999, pp. 79-81
Breaking generalized Diffie-Hellman modulo a composite is no easier than factoring
Eli Biham
,
Dan Boneh
,
Omer Reingold
Information Processing Letters
70
(2), 1999, pp. 83-87
A fast corelation attack on multiplexer generators
L. Simpson
,
J. Golić
,
M. Salmasizadeh
,
E. Dawson
Information Processing Letters
70
(2), 1999, pp. 89-93
On the sets of perfect matchings for two bipartite graphs
Arnold Rosenbloom
Information Processing Letters
70
(2), 1999, pp. 95-97
Virginity: A contribution to the specification of object-oriented software
K. Rustan M. Leino
,
Raymie Stata
Information Processing Letters
70
(2), 1999, pp. 99-105
A refinement of replacement selection
William E. Wright
Information Processing Letters
70
(3), 1999, pp. 107-111
On a question of nearly minimal identification of functions
Sanjay Jain
Information Processing Letters
70
(3), 1999, pp. 113-117
Exploiting intra-object dependencies in parallel simulation
Francesco Quaglia
,
Roberto Baldoni
Information Processing Letters
70
(3), 1999, pp. 119-125
A versatile divide and conquer technique for optimal string alignmnent
David R. Powell
,
Lloyd Allison
,
Trevor I. Dix
Information Processing Letters
70
(3), 1999, pp. 127-139
On an algorithm of Zemlyachenko for subtree isomorphism
Yefim Dinitz
,
Alon Itai
,
Michael Rodeh
Information Processing Letters
70
(3), 1999, pp. 141-146
Total-chromatic number and chromatic index of dually chordal graphs
Celina M.H. de Figueiredo
,
João Meidanis
,
Célia Picinin de Mello
Information Processing Letters
70
(3), 1999, pp. 147-152
Common modulus and chosen-message attacks on public-key schemes with linear recurrence relations
Wen-Guey Tzeng
Information Processing Letters
70
(3), 1999, pp. 153-156
On the complexity of balanced Boolean functions
A. Bernasconi
Information Processing Letters
70
(4), 1999, pp. 157-163
Seiten 1
2
>