Norbert Th. Müller

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