Stefan Kiel

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Venues

Reliab. Comput.

Soft Comput.

Int. J. Appl. Math. Comput. Sci.

Computing

University of Duisburg-Essen (PHD)

Education History

University of Duisburg-Essen

PHD

Publications

Ekaterina Auer, Luise Senkel, Stefan Kiel, Andreas Rauh
Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance. Algorithms 10 (4) (2017)
Stefan Kiel, Ekaterina Auer, Andreas Rauh
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells. Reliab. Comput. 19 (3) (2013)
Stefan Kiel, Ekaterina Auer, Andreas Rauh
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. NOLCOS (2013)
Ekaterina Auer, Stefan Kiel
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Reliab. Comput. 19 (2) (2013)
Stefan Kiel, Wolfram Luther, Eva Dyllong
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Comput. 17 (8) (2013)
Ekaterina Auer, Stefan Kiel, Andreas Rauh
A verified method for solving piecewise smooth initial value problems. Int. J. Appl. Math. Comput. Sci. 23 (4) (2013)
Stefan Kiel
YalAA: Yet Another Library for Affine Arithmetic. Reliab. Comput. 16 (2012)
Eva Dyllong, Stefan Kiel
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. Computing 94 (2-4) (2012)
Stefan Kiel
Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations. Curves and Surfaces (2010)
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther
Verification and Validation for Femur Prosthesis Surgery. Computer-assisted proofs - tools, methods and applications (2009)

Stefan Kiel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Kiel