| Publication | Date of Publication | Type |
|---|
A Vectorized, Cache Efficient LLL Implementation
High Performance Computing for Computational Science – VECPAR 2016 | 2022-03-09 | Paper |
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model
Optimization Methods & Software | 2018-10-09 | Paper |
Verified determination of singularities in chemical processes
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
On the influence of constitutive models on shape optimization for artificial blood pumps
International Series of Numerical Mathematics | 2017-02-17 | Paper |
A hybrid subdivision strategy for result-verifying nonlinear solvers
PAMM | 2017-01-24 | Paper |
Nearest planes in practice
Cryptography and Information Security in the Balkans | 2015-09-21 | Paper |
Tuning GaussSieve for speed
Progress in Cryptology - LATINCRYPT 2014 | 2015-09-17 | Paper |
| A macro language for derivative definition in ADiMat | 2013-08-28 | Paper |
| scientific article; zbMATH DE number 6202408 (Why is no real title available?) | 2013-08-28 | Paper |
Sensitivity of optimal shapes of artificial grafts with respect to flow parameters
Computer Methods in Applied Mechanics and Engineering | 2011-11-30 | Paper |
Adaptive blocking in the QR factorization
The Journal of Supercomputing | 2011-07-02 | Paper |
Automatic differentiation for MATLAB programs
PAMM | 2010-12-15 | Paper |
Sensitivity of shear rate in artificial grafts using automatic differentiation
International Journal for Numerical Methods in Fluids | 2010-02-19 | Paper |
Practical shape optimization of a levitation device for single droplets
Optimization and Engineering | 2009-08-12 | Paper |
On the implementation of automatic differentiation tools
Higher-Order and Symbolic Computation | 2009-07-13 | Paper |
| Automatic computation of sensitivities for a parallel aerodynamic simulation | 2009-02-09 | Paper |
| scientific article; zbMATH DE number 5353274 (Why is no real title available?) | 2008-10-17 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A Hybrid Approach for Efficient Robust Design of Dynamic Systems
SIAM Review | 2007-06-26 | Paper |
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
Reliable Computing | 2006-01-23 | Paper |
TIME-PARALLEL COMPUTATION OF PSEUDO-ADJOINTS FOR A LEAPFROG SCHEME
International Journal of High Speed Computing | 2005-09-27 | Paper |
Parallel calculation of accurate path lines in virtual environments through exploitation of multi-block CFD data set topology
JMMA. Journal of Mathematical Modelling and Algorithms | 2005-06-16 | Paper |
Sensitivity Analysis of Turbulence Models Using Automatic Differentiation
SIAM Journal on Scientific Computing | 2005-02-25 | Paper |
Computation of Sensitivity Information for Aircraft Design by Automatic Differentiation
Lecture Notes in Computer Science | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2065146 (Why is no real title available?) | 2004-05-18 | Paper |
Extending the functionality of the general-purpose finite element package SEPRAN by automatic differentiation
International Journal for Numerical Methods in Engineering | 2004-02-03 | Paper |
Large-scale CFD data handling in a VR-based otorhinolaryngological CAS-system using a Linux-cluster
The Journal of Supercomputing | 2003-08-21 | Paper |
Algorithm 807
ACM Transactions on Mathematical Software | 2003-06-25 | Paper |
A framework for symmetric band reduction
ACM Transactions on Mathematical Software | 2003-06-25 | Paper |
Exploiting intermediate sparsity in computing derivatives for a Leapfrog scheme
Computational Optimization and Applications | 2003-04-27 | Paper |
Computing sensitivities of the electrostatic potential by automatic differentiation
Computer Physics Communications | 2002-09-12 | Paper |
| scientific article; zbMATH DE number 1728326 (Why is no real title available?) | 2002-04-15 | Paper |
Algorithm 782
ACM Transactions on Mathematical Software | 1999-09-23 | Paper |
Computing rank-revealing QR factorizations of dense matrices
ACM Transactions on Mathematical Software | 1999-09-23 | Paper |
| scientific article; zbMATH DE number 1263372 (Why is no real title available?) | 1999-06-20 | Paper |
Automatic differentiation of numerical integration algorithms
Mathematics of Computation | 1999-03-22 | Paper |
| scientific article; zbMATH DE number 1253977 (Why is no real title available?) | 1999-02-23 | Paper |
| scientific article; zbMATH DE number 1067628 (Why is no real title available?) | 1998-11-01 | Paper |
A BLAS-3 Version of the QR Factorization with Column Pivoting
SIAM Journal on Scientific Computing | 1998-05-12 | Paper |
Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics
SIAM Journal on Scientific Computing | 1998-02-10 | Paper |
| scientific article; zbMATH DE number 1301910 (Why is no real title available?) | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 1187212 (Why is no real title available?) | 1998-01-01 | Paper |
Efficient computation of gradients and Jacobians by dynamic exploitation of sparsity in automatic differentiation
Optimization Methods & Software | 1997-12-17 | Paper |
| Hierarchical approaches to automatic differentiation | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 994695 (Why is no real title available?) | 1997-10-08 | Paper |
Computing Gradients in Large-Scale Optimization Using Automatic Differentiation
INFORMS Journal on Computing | 1997-09-17 | Paper |
| scientific article; zbMATH DE number 992824 (Why is no real title available?) | 1997-05-06 | Paper |
| scientific article; zbMATH DE number 992840 (Why is no real title available?) | 1997-03-18 | Paper |
On Tridiagonalizing and Diagonalizing Symmetric Matrices with Repeated Eigenvalues
SIAM Journal on Matrix Analysis and Applications | 1996-12-01 | Paper |
A Parallel Algorithm for the Sylvester Observer Equation
SIAM Journal on Scientific Computing | 1996-09-12 | Paper |
| scientific article; zbMATH DE number 833710 (Why is no real title available?) | 1996-04-29 | Paper |
| scientific article; zbMATH DE number 847990 (Why is no real title available?) | 1996-03-19 | Paper |
| scientific article; zbMATH DE number 833741 (Why is no real title available?) | 1996-03-05 | Paper |
| scientific article; zbMATH DE number 749950 (Why is no real title available?) | 1996-02-04 | Paper |
| scientific article; zbMATH DE number 833711 (Why is no real title available?) | 1996-01-14 | Paper |
A Basis-Kernel Representation of Orthogonal Matrices
SIAM Journal on Matrix Analysis and Applications | 1995-11-29 | Paper |
| scientific article; zbMATH DE number 741162 (Why is no real title available?) | 1995-04-09 | Paper |
Computing Large Sparse Jacobian Matrices Using Automatic Differentiation
SIAM Journal on Scientific Computing | 1994-06-30 | Paper |
A Cholesky Up- and Downdating Algorithm for Systolic and SIMD Architectures
SIAM Journal on Scientific Computing | 1994-01-09 | Paper |
| scientific article; zbMATH DE number 140021 (Why is no real title available?) | 1993-03-28 | Paper |
A block algorithm for computing rank-revealing QR factorizations
Numerical Algorithms | 1993-01-16 | Paper |
Adaptive Condition Estimation for Rank-One Updates of QR Factorizations
SIAM Journal on Matrix Analysis and Applications | 1993-01-16 | Paper |
Structure-Preserving and Rank-Revealing QR-Factorizations
SIAM Journal on Scientific and Statistical Computing | 1992-06-26 | Paper |
A Parallel QR Factorization Algorithm with Controlled Local Pivoting
SIAM Journal on Scientific and Statistical Computing | 1991-01-01 | Paper |
Incremental Condition Estimation
SIAM Journal on Matrix Analysis and Applications | 1990-01-01 | Paper |
1st European workshop on hypercube and distributed computers
Parallel Computing | 1990-01-01 | Paper |
Incremental Condition Estimation for Sparse Matrices
SIAM Journal on Matrix Analysis and Applications | 1990-01-01 | Paper |
Computing the singular value decomposition on a distributed system of vector processors
Parallel Computing | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106130 (Why is no real title available?) | 1989-01-01 | Paper |
The WY Representation for Products of Householder Matrices
SIAM Journal on Scientific and Statistical Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3978274 (Why is no real title available?) | 1986-01-01 | Paper |
