Theresa Kruse

According to our database, Theresa Kruse authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Term Extraction for Domain Modeling.

Theresa Kruse, Dominic Lohr, Marc Berges, Michael Kohlhase, Halimeh Moghbeli, Marcel Schütz

Proceedings of the DELFI 2024, 2024

2023

Learning with ALeA: Tailored experiences through annotated course material.

Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2021

Develop a Mathematical E-Dictionary and Test it - Extended Abstract.

Theresa Kruse

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