Volume 53,
Number 1,
13 January 1995
- Sanjay Jain:
On a Question About Learning Nearly Minimal Programs.
1-4
Electronic Edition (link) BibTeX
- Martin Fränzle, Bernhard von Stengel, Arne Wittmüss:
A Generalized Notion of Semantic Independence.
5-9
Electronic Edition (link) BibTeX
- Angelo Monti, Alessandro Roncato:
Completeness Results Concerning Systolic Tree Automata and EOL Languages.
11-16
Electronic Edition (link) BibTeX
- Ran Canetti, Guy Even, Oded Goldreich:
Lower Bounds for Sampling Algorithms for Estimating the Average.
17-25
Electronic Edition (link) BibTeX
- Andrea E. F. Clementi, Russell Impagliazzo:
The Reachability Problem for Finite Cellular Automata.
27-31
Electronic Edition (link) BibTeX
- Priyalal Kulasinghe, Saïd Bettayeb:
Multiply-Twisted Hypercube with Five or More Dimensions is not Vertex-Transitive.
33-36
Electronic Edition (link) BibTeX
- Charu C. Aggarwal, N. Jain, P. Gupta:
An Efficient Selection Algorithm on the Pyramid.
37-47
Electronic Edition (link) BibTeX
- Yuliang Zheng:
On Key Agreement Protocols Based on Tamper-Proof Hardware.
49-54
Electronic Edition (link) BibTeX
- Yung-Cheng Chang, Lih-Hsing Hsu:
Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter Objectives.
55-59
Electronic Edition (link) BibTeX
Volume 53,
Number 2,
27 January 1995
- Alexander Russell, Ravi Sundaram:
The Relativized Relationship Between Probabilistically Chackable Debate Systems, IP and PSPACE.
61-68
Electronic Edition (link) BibTeX
- S. T. Fischer:
A Note on the Complexity of Local Search Problems.
69-75
Electronic Edition (link) BibTeX
- Kaoru Kurosawa, Koji Okada, Shigeo Tsujii:
Low Exponent Attack Against Elliptic Curve RSA.
77-83
Electronic Edition (link) BibTeX
- Chuan-Heng Ang, Kok-Phuang Tan:
The Interval B-Tree.
85-89
Electronic Edition (link) BibTeX
- Chae Hoon Lim, Pil Joong Lee:
Several Practical Protocols for Authentication and Key Exchange.
91-96 BibTeX
- Tzonelih Hwang, Yung-Hsiang Chen:
On the Security of SPLICE/AS - The Authentication System in WIDE Internet.
91-101
Electronic Edition (link) BibTeX
- Tzonelih Hwang, Narn-Yih Lee, Chuan-Ming Li, Ming-Yung Ko, Yung-Hsiang Chen:
Two Attacks on Neuman-Stubblebine Authentication Protocols.
103-107
Electronic Edition (link) BibTeX
- Refael Hassin, Arie Tamir:
On the Minimum Diameter Spanning Tree Problem.
109-111
Electronic Edition (link) BibTeX
- Ouri Wolfson, Sushil Jajodia:
An Algorithm for Dynamic Data Allocation in Distributed Systems.
113-119
Electronic Edition (link) BibTeX
Volume 53,
Number 3,
10 February 1995
- Burghard von Karger, C. A. R. Hoare:
Sequential Calculus.
123-130
Electronic Edition (link) BibTeX
- Chritiene Aarts, Roland Carl Backhouse, Eerke A. Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul F. Hoogendijk, Ed Voermans, Jaap van der Woude:
Fixed-Point Calculus.
131-136
Electronic Edition (link) BibTeX
- The Eindhoven Tuesday Afternoon Club:
Constructing the Galois Adjoint.
137-139
Electronic Edition (link) BibTeX
- Edsger W. Dijkstra:
Heuristics for a Calculational Proof.
141-143
Electronic Edition (link) BibTeX
- David Gries, Fred B. Schneider:
Equational Propositional Logic.
145-152
Electronic Edition (link) BibTeX
- Jacob Kornerup:
Mapping a Functional Notation for Parallel Programs Onto Hypercubes.
153-158
Electronic Edition (link) BibTeX
- K. Rustan M. Leino:
Constructing a Program with Exceptions.
159-163
Electronic Edition (link) BibTeX
- Ralph-Johan Back, Joakim von Wright:
Games and Winning Strategies.
165-172
Electronic Edition (link) BibTeX
Volume 53,
Number 4,
24 February 1995
Volume 53,
Number 5,
10 March 1995
Volume 53,
Number 6,
24 March 1995
Copyright © Sun May 17 00:04:03 2009
by Michael Ley (ley@uni-trier.de)