Eduard de Jong

According to our database, Eduard de Jong authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

A Java Reference Model of Transacted Memory for Smart Cards.

Erik Poll, Pieter H. Hartel, Eduard de Jong

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

2001

Transacted Memory for Smart Cards.

Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations.

Pieter H. Hartel, Eduard de Jong

Proceedings of the Java on Smart Cards: Programming and Security, 2000