| 2006 |
|---|
| 5 | EE | François Gygi,
Erik W. Draeger,
Martin Schulz,
Bronis R. de Supinski,
John A. Gunnels,
Vernon Austel,
James C. Sexton,
Franz Franchetti,
Stefan Kral,
Christoph W. Ueberhuber,
Juergen Lorenz:
Gordon Bell finalists I - Large-scale electronic structure calculations of high-Z metals on the BlueGene/L platform.
SC 2006: 45 |
| 4 | EE | Hiroshi Akiba,
Tomonobu Ohyama,
Yoshinoir Shibata,
Kiyoshi Yuyama,
Yoshikazu Katai,
Ryuichi Takeuchi,
Takeshi Hoshino,
Shinobu Yoshimura,
Hirohisa Noguchi,
Manish Gupta,
John A. Gunnels,
Vernon Austel,
Yogish Sabharwal,
Rahul Garg,
Shoji Kato,
Takashi Kawakami,
Satoru Todokoro,
Junko Ikeda:
Gordon Bell finalists I - Large scale drop impact analysis of mobile phone using ADVC on Blue Gene/L.
SC 2006: 46 |
| 2002 |
|---|
| 3 | | Gerhard Schellhorn,
Wolfgang Reif,
Axel Schairer,
Paul A. Karger,
Vernon Austel,
David C. Toll:
Verified Formal Security Models for Multiapplicative Smart Cards.
Journal of Computer Security 10(4): 339-368 (2002) |
| 2000 |
|---|
| 2 | EE | Gerhard Schellhorn,
Wolfgang Reif,
Axel Schairer,
Paul A. Karger,
Vernon Austel,
David C. Toll:
Verification of a Formal Security Model for Multiapplicative Smart Cards.
ESORICS 2000: 17-36 |
| 1991 |
|---|
| 1 | | Indranil Chakravarty,
Michael F. Kleyn,
Thomas Y. C. Woo,
Rajive Bagrodia,
Vernon Austel:
UNITY to UC: A Case Study in the Derivation of Parallel Programs.
Research Directions in High-Level Parallel Programming Languages 1991: 6-20 |
