![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Ekaterina Auer
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
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
, Wolfram Luther:
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
, Julia Kersten
, Andreas Rauh
:
Preface. Acta Cybern. 24(3): 265-266 (2020) - [j20]Wolfram Luther
, Ekaterina Auer
, Benjamin Weyers
:
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
, Harald Aschemann:
Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme. Autom. 68(10): 826-839 (2020) - [j18]Ekaterina Auer
, Andreas Rauh
, Julia Kersten:
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
, 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): 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
, Luise Senkel, Ekaterina Auer
, Harald Aschemann:
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
, Ramona Westphal, Harald Aschemann, Ekaterina Auer
:
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. SCAN 2014: 247-256 - 2013
- [j14]Ekaterina Auer
, Stefan Kiel, Andreas Rauh
:
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
, Andreas Rauh
, Harald Aschemann:
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
, Ekaterina Auer
, Matthias Stein:
Verified stochastic methods. Soft Comput. 17(8): 1415-1423 (2013) - [c7]Stefan Kiel, Ekaterina Auer
, Andreas Rauh
:
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. NOLCOS 2013: 558-563 - 2012
- [j7]Ekaterina Auer
, Andreas Rauh
:
VERICOMP: a system to compare and assess verified IVP solvers. Computing 94(2-4): 163-172 (2012) - [j6]Gabor Rebner, Ekaterina Auer
, Wolfram Luther:
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012) - [j5]Andreas Rauh
, Ekaterina Auer
, Thomas Dötschel, Harald Aschemann:
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
, Julia Kersten
, Ekaterina Auer
, Harald Aschemann:
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
, Wolfram Luther:
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
, Andreas Rauh
:
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
, Andreas Rauh
, Eberhard P. Hofer, Wolfram Luther:
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
, Wolfram Luther:
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
, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski:
Interval Algorithms in Modeling of Multibody Systems. Numerical Software with Result Verification 2003: 132-159
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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