Adaptive Kalman Filtering: Measurement and Process Noise Covariance Estimation Using Kalman Smoothing.
IEEE Access, 2025
Term Extraction for Domain Modeling.
Proceedings of the DELFI 2024, 2024
Learning with ALeA: Tailored experiences through annotated course material.
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023
Develop a Mathematical E-Dictionary and Test it - Extended Abstract.
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021