Login / Signup
Christiane Frede
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 7
Top Topics
Theorem Prover
Higher Order Logic
Computer Algebra
Distributed Cognition
Top Venues
ICER
HDI
Comput. Sci. Educ.
GI-Jahrestagung
</>
Publications
</>
Christiane Frede
,
Maria Knobelsdorf
A differentiated picture of student performance in introductory courses to theory of computation.
Comput. Sci. Educ.
31 (3) (2021)
Christiane Frede
,
Maria Knobelsdorf
Exploring how Students Perform in a Theory of Computation Course using Final Exam and Homework Assignments Data.
ICER
(2018)
Christiane Frede
,
Maria Knobelsdorf
Explorative Datenanalyse der Studierendenperformance in der Theoretischen Informatik.
HDI
(2018)
Felix Kiehn
,
Christiane Frede
,
Maria Knobelsdorf
Was macht Theoretische Informatik so schwierig? Ergebnisse einer qualitativen Einzelfallstudie.
GI-Jahrestagung
(2017)
Christiane Frede
Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of Computation.
ICER
(2017)
Maria Knobelsdorf
,
Christiane Frede
,
Sebastian Böhne
,
Christoph Kreitz
Theorem Provers as a Learning Tool in Theory of Computation.
ICER
(2017)
Maria Knobelsdorf
,
Christiane Frede
Analyzing Student Practices in Theory of Computation in Light of Distributed Cognition Theory.
ICER
(2016)