| |
| 2006 | ||
|---|---|---|
| 3 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516 |
| 2 | EE | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006) |
| 1996 | ||
| 1 | Stephan Zeisset, Stefan Tritscher, Martin Mairandres: A New Approach to Distributed Memory Management in the Mach Microkernel. USENIX Annual Technical Conference 1996: 205-218 | |
| 1 | Charles J. Fleckenstein | [2] [3] |
| 2 | John C. Huang | [2] [3] |
| 3 | Martin Mairandres | [1] |
| 4 | Amitabha Roy | [2] [3] |
| 5 | Stefan Tritscher | [1] |