Norbert Th. Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1986–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CADE | The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. | Franz Braue, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Mller |
| 2005 | CCA | Implementing Exact Real Numbers Efficiently. | Norbert Th. Mller |
| 2000 | CCA | The iRRAM: Exact Arithmetic in C++. | Norbert Th. Mller |
| 1996 | CCA | Towards a real Real RAM: a Prototype using C++. | Norbert Th. Mller |
| 1987 | ICALP | Uniform Computational Complexity of Taylor Series. | Norbert Th. Mller |
| 1986 | ICALP | Subpolynomial Complexity Classes of Real Functions and Real Numbers. | Norbert Th. Mller |