no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Agnostic Learning of Geometric Patterns
|
Goldman, Sally A. |
|
2001 |
62 |
1 |
p. 123-151 29 p. |
article |
2 |
A Process-Calculus Analysis of Concurrent Operations on B-Trees
|
Philippou, Anna |
|
2001 |
62 |
1 |
p. 73-122 50 p. |
article |
3 |
Belief Revision and Update: Complexity of Model Checking
|
Liberatore, Paolo |
|
2001 |
62 |
1 |
p. 43-72 30 p. |
article |
4 |
Full Intersection Types and Topologies in Lambda Calculus
|
Ghilezan, Silvia |
|
2001 |
62 |
1 |
p. 1-14 14 p. |
article |
5 |
On the Benefit of Supporting Virtual Channels in Wormhole Routers
|
Cole, Richard J. |
|
2001 |
62 |
1 |
p. 152-177 26 p. |
article |
6 |
Papers to Appear in Forthcoming Issues
|
|
|
2001 |
62 |
1 |
p. 213- 1 p. |
article |
7 |
Robust Learning Is Rich
|
Jain, Sanjay |
|
2001 |
62 |
1 |
p. 178-212 35 p. |
article |
8 |
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
|
Giannotti, Fosca |
|
2001 |
62 |
1 |
p. 15-42 28 p. |
article |