Walter Krämer

2008
19		Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein: Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008
18		Markus Grimmer, Walter Krämer: An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind. CSC 2008: 204-210
17	EE	Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein: 08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures 2008
16	EE	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein: 08021 Summary - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures 2008
15	EE	Frithjof Blomquist, Werner Hofschuster, Walter Krämer: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. Numerical Validation in Current Hardware Architectures 2008
14	EE	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer: A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. Numerical Validation in Current Hardware Architectures 2008
13	EE	Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008
12	EE	Michael Zimmer, Walter Krämer: Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. Numerical Validation in Current Hardware Architectures 2008
2007
11		Markus Grimmer, Walter Krämer: An MPI Extension for Verified Numerical Computations in Parallel Environments. CSC 2007: 111-117
2006
10	EE	Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer: FILIB++, a fast interval library supporting containment computations. ACM Trans. Math. Softw. 32(2): 299-324 (2006)
2003
9	EE	Werner Hofschuster, Walter Krämer: C-XSC 2.0: A C++ Library for Extended Scientific Computing. Numerical Software with Result Verification 2003: 15-35
8	EE	Achim Zeileis, Christian Kleiber, Walter Krämer, Kurt Hornik: Testing and dating of structural changes in practice. Computational Statistics & Data Analysis 44(1-2): 109-123 (2003)
7	EE	Walter Krämer, Jürgen Wolff von Gudenberg: Extended Interval Power Function. Reliable Computing 9(5): 339-347 (2003)
2001
6	EE	Walter Krämer, Armin Bantle: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing 7(4): 321-340 (2001)
2000
5	EE	Werner Hofschuster, Walter Krämer: Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms? Reliable Computing 6(2): 207-218 (2000)
1998
4		Walter Krämer: A Priori Worst Case Error Bounds for Floating-Point Computations. IEEE Trans. Computers 47(7): 750-756 (1998)
1997
3	EE	Walter Krämer: A Priori Worst-Case Error Bounds for Floating-Point Computations. IEEE Symposium on Computer Arithmetic 1997: 64-
2	EE	Walter Krämer: Constructive Error Analysis. J. UCS 4(2): 147-163 (1997)
1	EE	Werner Hofschuster, Walter Krämer: A Computer Oriented Approach to Get Sharp Reliable Error Bounds. Reliable Computing 3(3): 239-248 (1997)

Coauthor Index

1	Armin Bantle	[6]
2	Frithjof Blomquist	[15]
3	Annie A. M. Cuyt	[16] [17] [19]
4	Markus Grimmer	[11] [18]
5	Jürgen Wolff von Gudenberg	[7] [10]
6	Werner Hofschuster	[1] [5] [9] [10] [13] [15]
7	Kurt Hornik	[8]
8	Christian Kleiber	[8]
9	Mariana Luderitz Kolberg	[14]
10	Michael Lerch	[10]
11	Wolfram Luther	[16] [17] [19]
12	Peter W. Markstein	[16] [17] [19]
13	Markus Neher	[13]
14	German Tischler	[10]
15	Achim Zeileis	[8]
16	Michael Zimmer	[12] [14]

Colors in the list of coauthors