- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Thomas Anberrée: First-Order Universality for Real Programs. CiE 2009: 1-10 |
| 2008 | ||
| 2 | | Thomas Anberrée: A Denotational Semantics for Total Correctness of Sequential Exact Real Programs. TAMC 2008: 388-399 |
| 2007 | ||
| 1 | | Thomas Anberrée: On the Non-sequential Nature of Domain Models of Real-number Computation. Electr. Notes Theor. Comput. Sci. 173: 41-46 (2007) |