| |
| 2008 | ||
|---|---|---|
| 2 | EE | Thomas Anberrée: A Denotational Semantics for Total Correctness of Sequential Exact Real Programs. TAMC 2008: 388-399 |
| 2007 | ||
| 1 | EE | Thomas Anberrée: On the Non-sequential Nature of Domain Models of Real-number Computation. Electr. Notes Theor. Comput. Sci. 173: 41-46 (2007) |