default search action
Ekaterina Auer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j23]Lorenz Gillner
, Ekaterina Auer
Towards a Traceable Data Model Accommodating Bounded Uncertainty for DST Based Computation of BRCA1/2 Mutation Probability With Age. J. Univers. Comput. Sci. 29(11): 1361-1384 (2023) - 2021
- [j22]Ekaterina Auer
Uncertainty Handling in Genetic Risk Assessment and Counseling. J. Univers. Comput. Sci. 27(12): 1347-1370 (2021) - [c9]Andreas Rauh, Ekaterina Auer
Comparison of Stochastic and Interval-Based Modeling Approaches for the Online optimization of the Fuel Efficiency of SOFC Systems. ICSC 2021: 536-541 - 2020
- [j21]Ekaterina Auer
Preface. Acta Cybern. 24(3): 265-266 (2020) - [j20]Wolfram Luther
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. 24(3): 287-314 (2020) - [j19]Andreas Rauh, Julia Kersten, Ekaterina Auer
Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme. Autom. 68(10): 826-839 (2020) - [j18]Ekaterina Auer
Experiments-based parameter identification on the GPU for cooperative systems. J. Comput. Appl. Math. 371: 112657 (2020)
2010 – 2019
- 2019
- [j17]Benjamin Weyers, Ekaterina Auer, Wolfram Luther:
The Role of Verification and Validation Techniques within Visual Analytics. J. Univers. Comput. Sci. 25(8): 967-987 (2019) - 2017
- [j16]Ekaterina Auer
Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance. Algorithms 10(4): 140 (2017) - 2014
- [b1]Ekaterina Auer:
Result Verification and Uncertainty Management in Engineering Applications. University of Duisburg-Essen, Verlag Dr. Hut 2014 - [j15]Andreas Rauh
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems. Math. Comput. Sci. 8(3-4): 525-542 (2014) - [c8]Andreas Rauh
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. SCAN 2014: 247-256 - 2013
- [j14]Ekaterina Auer
A verified method for solving piecewise smooth initial value problems. Int. J. Appl. Math. Comput. Sci. 23(4): 731-747 (2013) - [j13]Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer:
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. Reliab. Comput. 19(1): 66-90 (2013) - [j12]Ekaterina Auer, Stefan Kiel:
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Reliab. Comput. 19(2): 156-175 (2013) - [j11]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): 302-317 (2013) - [j10]Andreas Rauh, Luise Senkel, Thomas Dötschel, Harald Aschemann, Ekaterina Auer:
Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models. Reliab. Comput. 19(4): 330-350 (2013) - [j9]Thomas Dötschel, Ekaterina Auer
Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. Soft Comput. 17(8): 1329-1343 (2013) - [j8]Gabor Rebner, Michael Beer
Verified stochastic methods. Soft Comput. 17(8): 1415-1423 (2013) - [c7]Stefan Kiel, Ekaterina Auer
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. NOLCOS 2013: 558-563 - 2012
- [j7]Ekaterina Auer
VERICOMP: a system to compare and assess verified IVP solvers. Computing 94(2-4): 163-172 (2012) - [j6]Gabor Rebner, Ekaterina Auer
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012) - [j5]Andreas Rauh
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. Computing 94(2-4): 345-356 (2012) - [j4]Andreas Rauh
Sensitivity-based feedforward and feedback control for uncertain systems. Computing 94(2-4): 357-367 (2012) - [c6]Ekaterina Auer, Roger Cuypers, Wolfram Luther:
Process-oriented Approach to Verification in Engineering. ICINCO (2) 2012: 513-518 - 2011
- [j3]Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, Harald Aschemann:
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. Reliab. Comput. 15(4): 321-332 (2011) - [j2]Andreas Rauh, Ekaterina Auer:
Verified Simulation of ODEs and DAEs in ValEncIA-IVP. Reliab. Comput. 15(4): 370-381 (2011)
2000 – 2009
- 2009
- [j1]Ekaterina Auer
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Int. J. Appl. Math. Comput. Sci. 19(3): 455-467 (2009) - [c5]Ekaterina Auer
Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems. PPAM (2) 2009: 408-417 - [i4]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 - [i3]Andreas Rauh, Ekaterina Auer:
Interval Approaches to Reliable Control of Dynamical Systems. Computer-assisted proofs - tools, methods and applications 2009 - 2008
- [c4]Ekaterina Auer
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Reliable Implementation of Real Number Algorithms 2008: 1-27 - [c3]Ekaterina Auer
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160 - [i2]Ekaterina Auer, Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008 - 2007
- [c2]Ekaterina Auer, Wolfram Luther:
Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) 2007: 109-116 - 2005
- [i1]Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski:
Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 - 2003
- [c1]Ekaterina Auer
Interval Algorithms in Modeling of Multibody Systems. Numerical Software with Result Verification 2003: 132-159
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: