Norbert Th. Müller - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real ComputationSewon Park 0001, Franz Brauße, Pieter Collins, Sunyoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler 0001. lmcs, 20(2), 2024. [doi]

2023

δ-complete decision procedure for non-linear constraintsFranz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller. TCS, 975:114125, October 2023. [doi]

2021

The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear ConstraintsFranz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller. cade 2021: 113-130 [doi]

2019

A CDCL-Style Calculus for Solving Non-linear ConstraintsFranz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller. frocos 2019: 131-148 [doi]

2017

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision TestingEnyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li. TSE, 43(10):975-994, 2017. [doi]

2015

Using Taylor Models in Exact Real ArithmeticFranz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller. macis 2016: 474-488 [doi]

Towards Using Exact Real Arithmetic for Initial Value ProblemsFranz Brauße, Margarita V. Korovina, Norbert Th. Müller. ershov 2016: 61-74 [doi]

Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchyAkitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler 0001. jc, 31(5):689-714, 2015. [doi]

2014

From Calculus to Algorithms without ErrorsNorbert Th. Müller, Martin Ziegler. icms 2014: 718-724 [doi]

Automatic Numerical Analysis Based on Infinite-Precision ArithmeticShuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen. ssiri 2014: 216-224 [doi]

2012

Some Steps into Verification of Exact Real ArithmeticNorbert Th. Müller, Christian Uhrhan. NFM 2012: 168-173 [doi]

2008

Jordan Areas and GridsNorbert Th. Müller, Xishun Zhao. ENTCS, 221:191-206, 2008. [doi]

Complexity of Operators on Compact SetsXishun Zhao, Norbert Th. Müller. ENTCS, 202:101-119, 2008. [doi]

2005

Implementing Exact Real Numbers EfficientlyNorbert Th. Müller. cca 2005: 378

Guest editors introduction: Special issue on practical development of exact real number computationNorbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann. jlp, 64(1):1-2, 2005. [doi]

2004

RESTAMP for the Estimation of Rare Event Probabilities in Systems with Multidimensional Parameter SpacesFreimut Brenner, Norbert Th. Müller. mmb 2004: 135-144

2003

Novel Approaches to Numerical Software with Result VerificationLaurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller. Dagstuhl 2004: 274-305 [doi]

Sojourn Times and Rare EventsNorbert Th. Müller, Freimut Brenner. anss 2003: 259-265 [doi]

2002

The AA:::C:::method for the Evaluation of Simulation ResultsNorbert Th. Müller. scesm 2002: 145-149

Real Numbers and BDDsNorbert Th. Müller. ENTCS, 66(1):139-153, 2002. [doi]

2000

The iRRAM: Exact Arithmetic in C++Norbert Th. Müller. cca 2001: 222-252 [doi]

An analysis of the LRE-Algorithm using Sojourn timesNorbert Th. Müller. scesm 2000: 149-153

1999

Computability on Random VariablesNorbert Th. Müller. TCS, 219(1-2):287-299, 1999. [doi]

1998

Cascade: A Simple and Efficient Algorithm for Priority QueuesMartin Luckow, Norbert Th. Müller. scesm 1998: 196-200

1996

Towards a real Real RAM: a Prototype using C++Norbert Th. Müller. cca 1996: [doi]

1987

Uniform Computational Complexity of Taylor SeriesNorbert Th. Müller. icalp 1987: 435-444

1986

Subpolynomial Complexity Classes of Real Functions and Real NumbersNorbert Th. Müller. icalp 1986: 284-293

Sign in or sign up to see more results.

runs on WebDSL

翻译：