| |
| 2002 | ||
|---|---|---|
| 3 | EE | Erik Poll, Pieter H. Hartel, Eduard de Jong: A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002: 75-86 |
| 2001 | ||
| 2 | EE | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley: Transacted Memory for Smart Cards. FME 2001: 478-499 |
| 2000 | ||
| 1 | EE | Pieter H. Hartel, Eduard de Jong: A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. Java Card Workshop 2000: 52-72 |
| 1 | Michael J. Butler | [2] |
| 2 | Pieter H. Hartel | [1] [2] [3] |
| 3 | Mark Longley | [2] |
| 4 | Erik Poll | [3] |