Alexandra Latys

ORCID: 0000-0003-3461-1785
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • AI-based Problem Solving and Planning
  • Intelligent Tutoring Systems and Adaptive Learning
  • Innovative Teaching and Learning Methods

Ruhr University Bochum
2023

In this paper we advocate the study of misconceptions in formal methods domain by integrating quantitative and qualitative methods. domain, so far, have mostly been studied with methods, typically via interviews less than 20 subjects. We discuss workflows for (1) determining commonness qualitatively established means; (2) initial discovery followed assessments.

10.1145/3545945.3569806 article EN 2023-03-02
Coming Soon ...