Norbert Th. Müller

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 8

Top Topics

Decision Problems

Linear Constraints

Top Venues

Ershov Memorial Conference

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
-complete decision procedure for non-linear constraints. Theor. Comput. Sci. 975 (2023)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
The ksmt calculus is a δ-complete decision procedure for non-linear constraints. CoRR (2021)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. CADE (2021)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
A CDCL-style calculus for solving non-linear constraints. CoRR (2019)
Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
A CDCL-Style Calculus for Solving Non-linear Constraints. FroCos (2019)
Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. 43 (10) (2017)
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types. CoRR (2016)
Franz Brauße, Margarita V. Korovina, Norbert Th. Müller
Towards Using Exact Real Arithmetic for Initial Value Problems. Ershov Memorial Conference (2015)
Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller
Using Taylor Models in Exact Real Arithmetic. MACIS (2015)
Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy. J. Complex. 31 (5) (2015)
Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic. SERE (2014)
Norbert Th. Müller, Martin Ziegler
From Calculus to Algorithms without Errors. ICMS (2014)
Norbert Th. Müller, Christian Uhrhan
Some Steps into Verification of Exact Real Arithmetic. NASA Formal Methods (2012)
Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime CoRR (2012)
Norbert Th. Müller, Margarita V. Korovina
Making big steps in trajectories CCA (2010)
Norbert Th. Müller, Xishun Zhao
Jordan Areas and Grids. Electron. Notes Theor. Comput. Sci. 221 (2008)
Xishun Zhao, Norbert Th. Müller
Complexity of Operators on Compact Sets. Electron. Notes Theor. Comput. Sci. 202 (2008)
Vasco Brattka, Christiane Frougny, Norbert Th. Müller
Foreword. RAIRO Theor. Informatics Appl. 41 (1) (2007)
Norbert Th. Müller
Implementing Exact Real Numbers Efficiently. CCA (2005)
Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann
Guest editors' introduction: Special issue on practical development of exact real number computation. J. Log. Algebraic Methods Program. 64 (1) (2005)
Freimut Brenner, Norbert Th. Müller
RESTAMP for the Estimation of Rare Event Probabilities in Systems with Multidimensional Parameter Spaces. MMB (2004)
Norbert Th. Müller, Freimut Brenner
Sojourn Times and Rare Events. Annual Simulation Symposium (2003)
Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller
Novel Approaches to Numerical Software with Result Verification. Numerical Software with Result Verification (2003)
Norbert Th. Müller
method for the Evaluation of Simulation Results. ESM (2002)
Norbert Th. Müller
Real Numbers and BDDs. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Norbert Th. Müller
An analysis of the LRE-Algorithm using Sojourn times. ESM (2000)
Norbert Th. Müller
The iRRAM: Exact Arithmetic in C++. CCA (2000)
Norbert Th. Müller
Computability on Random Variables. Theor. Comput. Sci. 219 (1-2) (1999)
Martin Luckow, Norbert Th. Müller
Cascade: A Simple and Efficient Algorithm for Priority Queues. ESM (1998)
Jens Hofmann, Norbert Th. Müller, Kasyap Natarajan
Parallel versus Sequential Task-Processing: A New Performance Model in Discrete Time Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)
Norbert Th. Müller
Towards a real Real RAM: a Prototype using C++. CCA (1996)
Martin Luckow, Norbert Th. Müller
Cascade: A Simple and Efficient Algorithm for Priority Queues Universität Trier, Mathematik/Informatik, Forschungsbericht (1994)
Norbert Th. Müller
Uniform Computational Complexity of Taylor Series. ICALP (1987)
Norbert Th. Müller
Subpolynomial Complexity Classes of Real Functions and Real Numbers. ICALP (1986)