| 2007 |
|---|
| 4 | EE | Shudong Chen,
Igor Radovanovic,
Johan Lukkien,
Richard Verhoeven,
Melissa Tjiong,
Remi Bosman:
Virtual Community Based Secure Service Discovery and Access for 3D Video Steaming Applications.
MCAM 2007: 391-397 |
| 1999 |
|---|
| 3 | | Kiyoshi Maeda,
Satoshi Tadokoro,
Toshi Takamori,
Motofumi Hattori,
Manfred Hiller,
Richard Verhoeven:
On Design of a Redundant Wire-Driven Parallel Robot WARP Manipulator.
ICRA 1999: 895-900 |
| 2 | EE | Richard Verhoeven,
Roland Carl Backhouse:
Interfacing Program Construction and Verification.
World Congress on Formal Methods 1999: 1128-1146 |
| 1997 |
|---|
| 1 | | Roland Carl Backhouse,
Richard Verhoeven,
Olaf Weber:
Math/pad: A System for On-Line Preparation of Mathematical Documents.
Software - Concepts and Tools 18(2): 80- (1997) |
