Volume 70,
Number 1,
16 April 1999
- Robert Harper, John C. Mitchell:
Parametricity and Variants of Girard's J Operator.
1-5
Electronic Edition (link) BibTeX
- James F. Korsh, Paul LaFollette:
Loopless Generation of Gray Codes for k-Ary Trees.
7-11
Electronic Edition (link) BibTeX
- Benjamin Barden, Ran Libeskind-Hadas, Janet Davis, William Williams:
On Edge-Disjoint Spanning Trees in Hypercubes.
13-16
Electronic Edition (link) BibTeX
- Cao An Wang, Francis Y. L. Chin, Bo-Ting Yang:
Maximum Weight Triangulation and Graph Drawing.
17-22
Electronic Edition (link) BibTeX
- Antonín Kucera:
On Finite Representations of Infinite-State Behaviours.
23-30
Electronic Edition (link) BibTeX
- Jyrki Katajainen, Tomi Pasanen:
In-Place Sorting with Fewer Moves.
31-37
Electronic Edition (link) BibTeX
- Samir Khuller, Anna Moss, Joseph Naor:
The Budgeted Maximum Coverage Problem.
39-45
Electronic Edition (link) BibTeX
- Hadas Shachnai, John Turek:
Multiresource Malleable Task Scheduling to Minimize Response Time.
47
Electronic Edition (link) BibTeX
Volume 70,
Number 2,
30 April 1999
- Wenceslas Fernandez de la Vega, Marek Karpinski:
On the Approximation Hardness of Dense TSP and Other Path Problems.
53-55
Electronic Edition (link) BibTeX
- Florian Roussel, Irena Rusu:
A Linear Algorithm to Color i-Triangulated Graphs.
57-62
Electronic Edition (link) BibTeX
- M. D. Atkinson, Jörg-Rüdiger Sack:
Pop-Stacks in Parallel.
63-67
Electronic Edition (link) BibTeX
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Abstract Interpretation of Trace Semantics for Concurrent Calculi.
69-78
Electronic Edition (link) BibTeX
- Narn-Yih Lee, Tzonelih Hwang, Chih-Hung Wang:
The Security of Two ID-Based Multisignature Protocols for Sequential and Broadcasting Architectures.
79-81
Electronic Edition (link) BibTeX
- Eli Biham, Dan Boneh, Omer Reingold:
Breaking Generalized Diffie-Hellmann Modulo a Composite is no Easier Than Factoring.
83-87
Electronic Edition (link) BibTeX
- Leone Simpson, Jovan Dj. Golic, Mahmoud Salmasizadeh, Ed Dawson:
A Fast Correlation Attack on Multiplexer Generators.
89-93
Electronic Edition (link) BibTeX
- Arnold Rosenbloom:
On the Sets of Perfect Matchings for Two Bipartite Graphs.
95-97
Electronic Edition (link) BibTeX
- K. Rustan M. Leino, Raymie Stata:
Virginity: A Contribution to the Specification of Object-Oriented Software.
99-105
Electronic Edition (link) BibTeX
Volume 70,
Number 3,
14 May 1999
Volume 70,
Number 4,
28 May 1999
Volume 70,
Number 5,
21 June 1999
- Harry Buhrman, Ronald de Wolf:
A Lower Bound for Quantum Search of an Ordered List.
205-209
Electronic Edition (link) BibTeX
- Paz Morillo, Carles Padró, Germán Sáez, Jorge Luis Villar:
Weighted Threshold Secret Sharing Schemes.
211-216
Electronic Edition (link) BibTeX
- J. D. Emerald, K. G. Subramanian, D. G. Thomas:
A Note on Inferring Uniquely Terminating Code Languages.
217-222
Electronic Edition (link) BibTeX
- Matthew Young-Lai:
Adding State Merging to the DMC Data Compression Algorithm.
223-228
Electronic Edition (link) BibTeX
- Öjvind Johansson:
Simple Distributed Delta+1-coloring of Graphs.
229-232
Electronic Edition (link) BibTeX
- David Guijarro, Víctor Lavín, Vijay Raghavan:
Exact Learning when Irrelevant Variables Abound.
233-239
Electronic Edition (link) BibTeX
- Suman Kumar Nath, Rezaul Alam Chowdhury, M. Kaykobad:
On Average Edge Length of Minimum Spanning Trees.
241-243
Electronic Edition (link) BibTeX
- Deborah S. Franzblau:
Ear Decomposition with Bounds on Ear Length.
245-249
Electronic Edition (link) BibTeX
- Srinivasa Rao Arikati, Kurt Mehlhorn:
A Correctness Certificate for the Stoer-Wagner Min-Cut Algorithm.
251-254
Electronic Edition (link) BibTeX
Volume 70,
Number 6,
30 June 1999
Copyright © Tue Jul 8 20:23:26 2008
by Michael Ley (ley@uni-trier.de)
