Liste der Publikationen / List of Publications (in DBLP):
- On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
- Norbert Müller, Sewon Park, Norbert Preining, Martin Ziegler
- CoRR abs/1608.05787 (2016)
- Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
- Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler:
- J. Complexity 31(5): 689-714 (2015)
- Towards Using Exact Real Arithmetic for Initial Value Problems.
- Franz Brauße, Margarita Korovina, Norbert Müller
- Ershov Memorial Conference 2015: 61-74
- Using Taylor Models in Exact Real Arithmetic.
- Franz Brauße, Margarita Korovina, Norbert Müller:
- MACIS 2015: 474-488
- From Calculus to Algorithms without Errors.
- Norbert Müller, Martin Ziegler:
- ICMS 2014: 718-724
- Automatic Numerical Analysis Based on Infinite-Precision Arithmetic.
- Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Müller, Zhenyu Chen
- SERE 2014: 216-224
- Some Steps into Verification of Exact Real Arithmetic
- Norbert Müller, Christian Uhrhan
- NASA Formal Methods 2012: 168-173
- Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler:
- Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime.
- CoRR abs/1211.4974 (2012)
- Norbert Müller, Margarita V. Korovina:
- Making big steps in trajectories.
- CCA 2010: 106-119
- Enhancing imperative exact real arithmetic with functions and logic
- Sixth International Conference on Computability and Complexity in Analysis, 2009, Ljubljana
- (Pdf-Version)
- Jordan Areas and Grids (mit X. Zhao)
- Proceedings of the Fifth International Conference on Computability and Complexity in Analysis (CCA 2008, Hagen), Electronic Notes in Theoretical Computer Science, Vol. 221. pp 191-206, 2008
- doi:10.1016/j.entcs.2008.12.017
- Complexity of Operators on Compact Sets (mit X. Zhao)
- Fourth International Conference on Computability and Complexity in Analysis (CCA 2007, Siena), Electronic Notes in Theoretical Computer Science, Vol. 202, pp 101-119, 2008
- doi:10.1016/j.entcs.2008.03.011
- Novel Approaches to Numerical Software with Result Verification (mit L. Granvilliers, V. Kreinovich)
- Numerical Software with Result Verification, Lecture notes in computer science 2991, (Springer, Berlin, 2004), pp 274-305
- PDF at Springer
- RESTAMP for the Estimation of Rare Event Probabilities in Systems with Multidimensional Parameter Spaces (mit F. Brenner)
- 12th MMB \& 3rd PGTS, 2004, Dresden, pp 135-144, VDE-Verlag, Berlin/Offenbach, ISBN 3-8007-2851-6
- Sojourn Times and Rare Events (mit F. Brenner)
- 36th Annual Simulation Symposium, 2003, Orlando, pp 259-265, IEEE Computer Science, ISBN 0-7695-1911-3
- (Pdf-Version)
- The AAc-Method for the Evaluation of Simulation Results
- preliminary version, final version in: Proceedings of the 16th European Simulation Multiconference, Darmstadt, 2002
- (Pdf-Version)
- The iRRAM: Exact Arithmetic in C++
- preliminary version, final version in: Proceedings Workshop on Constructivity and Complexity in Analysis, Swansea, 2000
- (Postscript-Version)
- An analysis of the LRE_Algorithm using Sojourn Times
- Proceedings of the 14th European Simulation Multiconference, Ghent, 2000, (149-153)
- (Pdf-Version)
- Computability on Random Variables
- (preliminary version, final version in: Theoretical Computer Science 219 (1999) 297-299)
- (tar-file with dvi and postscript images)
- (Postscript-Version)
- Implementing limits in an interactive RealRAM
- Third Real Numbers and Computers Conference, Paris 1998
- (tar-file with dvi and postscript images)
- (Postscript-Version)
- Second Workshop on Constructivity and Complexity in Analysis
- Trier, 1996 (ed.: Ko/Mueller/Weihrauch)
- (Table of Contents)
- Towards a real Real RAM: A Prototype using C++
- Second Workshop on Constructivity and Complexity in Analysis, Trier, 1996
- (dvi-Version)
- (Postscript-Version)
- Constructive aspects of analytic functions
- Workshop on Constructivity and Complexity in Analysis, Hagen, 1995
- (dvi-Version)
- (Postscript-Version)
- (Pdf-Version)
- Cascade: A Simple and Efficient Algorithm for Priority Queues (mit Martin Luckow)
- Trierer Forschungsberichte Mathematik/Informatik 94-15, Universitaet Trier (1994)
- (tar-file with dvi and postscript images)
- (Postscript-Version)
- Solving Initial Value Problems in Polynomial Time (mit Bernd Moiske)
- Proc. 22 JAIIO - PANEL '93, Part 2, Buenos Aires, 1993, 283-293
- (dvi-Version)
- (Postscript-Version)
- (Pdf-Version)
- Polynomial-Time Computation of Taylor Series
- Proc. 22 JAIIO - PANEL '93, Part 2, Buenos Aires, 1993, 259-281
- (dvi-Version)
- (Postscript-Version)
- (Pdf-Version)
- Uniform computational complexity of Taylor series
- Proc. 14th ICALP, Lecture notes in computer science 267 (Springer, Berlin, 1987) 435-444
- (dvi-Version)
- (Postscript-Version)
- Subpolynomial complexity classes of real functions and real numbers
- Proc. 13th ICALP, Lecture notes in computer science 226 (Springer, Berlin, 1986) 284-293
- (dvi-Version)
- (Postscript-Version)