Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Design of a parallel linear algebra library for verified computation.. Reliab. Comput., 1 (4): 411-419 (1995)Berechnung maximal genauer Standardfunktionen mit einfacher Mantissenlänge / Computation of maximally accurate standard functions using single precision arithmetic.. Elektron. Rechenanlagen, 26 (5): 230-238 (1984)Interval Comparisons and Lattice Operations based on the Interval Overlapping Relation, and . Technical Report, 476. Department of Computer Science, University of Würzburg, (September 2010)ITF1788: An Interval Testframework for IEEE 1788, , and . 495. Department of Computer Science, University of Würzburg, (June 2015)filib++, Expression Templates and the Coming Interval Standard, and . Reliable Computing, 15 (4): 312--320 (2011)Interval Comparisons and Lattice Operations based on the Interval Overlapping Relation, and . Proceedings of the World Conference on Soft Computing 2011 (WConSC'11), San Francisco, CA, USA, (2011)Hardware Support for Interval Arithmetic - Extended Version.. Technical Report, 125. Department of Computer Science, (October 1995)UMLscript Sprachspezifikation., and . Technical Report, 272. Department of Computer Science, (February 2001)Comprehensive Graphical Description of the STL., , and . Technical Report, 270. Department of Computer Science, (February 2001)Software Entwurf mit UML2, and . Xpert.press Springer, 2. edition, (2006)