Forschung / Research
Implementation:
Publikationen / publications
- Enhancing imperative exact real arithmetic with functions and logic
- Sixth International Conference on Computability and Complexity in Analysis, 2009, Ljubljana
- (Pdf-Version)
- Making big steps in trajectories (mit Margarita Korovina)
- Seventh International conference on Computability and Complexity in Analysis (2010, Zhenjiang), Electronic Proceedings in Theoretical Computer Science, Vol. 24, 2010, pp. 106-119
- doi:10.4204/EPTCS.24.15, arxiv.org/abs/1006.0401v1
- 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)