Ekaterina Auer
Orcid: 0000-0003-4059-3982
According to our database1,
Ekaterina Auer
authored at least 36 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Towards a Traceable Data Model Accommodating Bounded Uncertainty for DST Based Computation of BRCA1/2 Mutation Probability With Age.
J. Univers. Comput. Sci., November, 2023
2021
J. Univers. Comput. Sci., 2021
Comparison of Stochastic and Interval-Based Modeling Approaches for the Online optimization of the Fuel Efficiency of SOFC Systems.
Proceedings of the 9th International Conference on Systems and Control, 2021
2020
J. Comput. Appl. Math., 2020
Intervallmethoden zur Berechnung exponentieller Zustandseinschlüsse für die Erreichbarkeitsanalyse unsicherer Systeme.
Autom., 2020
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems.
Acta Cybern., 2020
2019
J. Univers. Comput. Sci., 2019
2017
Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance.
Algorithms, 2017
2014
PhD thesis, 2014
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems.
Math. Comput. Sci., 2014
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues.
Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014
2013
Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control.
Soft Comput., 2013
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP.
Reliab. Comput., 2013
Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models.
Reliab. Comput., 2013
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells.
Reliab. Comput., 2013
Reliab. Comput., 2013
Int. J. Appl. Math. Comput. Sci., 2013
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells.
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013
2012
Computing, 2012
Computing, 2012
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances.
Computing, 2012
Process-oriented Approach to Verification in Engineering.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy, 28, 2012
2011
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems.
Reliab. Comput., 2011
2009
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems.
Int. J. Appl. Math. Comput. Sci., 2009
Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems.
Proceedings of the Parallel Processing and Applied Mathematics, 2009
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
2008
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008
2007
Smartmobile - an environment for guaranteed multibody modeling and simulation.
Proceedings of the ICINCO 2007, 2007
2005
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
2003
Proceedings of the Numerical Software with Result Verification, 2003