| |
| 2009 | ||
|---|---|---|
| 3 | EE | Jeffery von Ronne, Andreas Gampe, David Niedzielski, Kleanthis Psarris: Safe bounds check annotations. Concurrency and Computation: Practice and Experience 21(1): 41-57 (2009) |
| 2008 | ||
| 2 | EE | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris: Speculative improvements to verifiable bounds check elimination. PPPJ 2008: 85-94 |
| 1999 | ||
| 1 | EE | David Niedzielski, Kleanthis Psarris: An Analytical Comparison of the I-Test and Omega Test. LCPC 1999: 251-270 |
| 1 | Andreas Gampe | [2] [3] |
| 2 | Kleanthis Psarris | [1] [2] [3] |
| 3 | Jeffery von Ronne | [2] [3] |