Archival Literature
Articles in Journals
- [4]
D. Müller and M. Kohlhase (2022)
STeX3 – a LATEX-based ecosystem for semantic/active mathemapubtical documents.
TeX users group conference (tug), pp. 197–201.
External Links: Link
Cited by: p1.
- [1]
E. Bender, P. Hubwieser, N. Schaper, M. Margaritis, M. Berges, L. Ohrndorf, J. Magenheim, and S. Schubert (2015)
Towards a competency model for teaching computer science.
Peabody Journal of Education 90 (4), pp. 519–532.
External Links: ISSN 0161-956X,
Document
Cited by: p1.
- [2]
A. Kohlhase and M. Kohlhase (2008-06)
Semantic knowledge management for education.
Proceedings of the IEEE; Special Issue on Educational Technology 96 (6), pp. 970–989.
External Links: Link
Cited by: p1.
- [3]
M. Kohlhase (2008)
Using LATEX as a semantic markup format.
Mathematics in Computer Science 2 (2), pp. 279–304.
External Links: Link
Cited by: p1.
Papers at International, Peer-Reviewed Conferences
- [7]
M. Kohlhase and D. Müller (2022)
System description: stex3 – a LATEX-based ecosystem for semantic/active mathematical documents.
In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.),
LNAI, Vol. 13467, pp. 184–188.
External Links: Link
Cited by: p1.
- [9]
D. Müller and M. Kohlhase (2022)
Injecting formal mathematics into latex.
In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.),
LNAI, Vol. 13467, pp. 168–183.
External Links: Link
Cited by: p1.
- [6]
P. Hubwieser, M. Berges, M. Striewe, and M. Goedicke (2017)
Towards competency based testing and feedback: competency definition and measurement in the field of algorithms & data structures.
In Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON),
IEEE Conference Publications, pp. 517–526.
External Links: ISBN 978-1-5090-5467-1,
Document
Cited by: p1.
- [12]
P. Shah, M. Berges, and P. Hubwieser (2017)
Qualitative content analysis of programming errors.
In Proceedings of the 5th International Conference on Information and Education Technology,
International Conference Proceedings Series, New York.
External Links: ISBN 978-1-4503-4791-4,
Document
Cited by: p1.
- [3]
M. Berges, M. Striewe, P. Shah, M. Goedicke, and P. Hubwieser (2016)
Towards deriving programming competencies from student errors.
In 4th International Conference on Learning and Teaching in Computing and Engineering (LaTiCE),
Los Alamitos, pp. 19–23.
Cited by: p1.
- [2]
M. Berges and P. Hubwieser (2015)
Evaluation of source code with item response theory.
In Proceedings of the 20th SIGCSE Conference on Innovation and Technology in Computer Science Education,
New York, pp. 51–56.
Cited by: p1.
- [4]
M. Berges (2015)
Investigating novice programming abilities with the help of psychometric assessment.
In Proceedings of Society for Information Technology & Teacher Education International Conference 2015, D. Slykhuis and G. Marks (Eds.),
Las Vegas, NV, United States, pp. 90–95.
Cited by: p1.
- [8]
M. Margaritis, J. Magenheim, P. Hubwieser, M. Berges, L. Ohrndorf, and S. Schubert (2015)
Development of a competency model for computer science teachers at secondary school level.
In IEEE Global Engineering Education Conference,
Los Alamitos, pp. 211–220.
External Links: Document
Cited by: p1.
- [11]
A. Ruf, M. Berges, and P. Hubwieser (2015)
Classification of programming tasks according to required skills and knowledge representation.
In Informatics in Schools. Curricula, Competences, and Competitions, A. Brodnik and J. Vahrenhold (Eds.),
Lecture Notes in Computer Science, Heidelberg, pp. 57–68.
External Links: ISBN 978-3-319-25395-4
Cited by: p1.
- [1]
M. Berges and P. Hubwieser (2013)
Concept specification maps: displaying content structures.
In Proceedings of the 18th ACM conference on Innovation and technology in computer science education,
New York, USA, pp. 291–296.
External Links: ISBN 978-1-4503-2078-8,
Document
Cited by: p1.
- [5]
P. Hubwieser, M. Berges, J. Magenheim, N. Schaper, K. Bröker, M. Margaritis, S. Schubert, and L. Ohrndorf (2013)
Pedagogical content knowledge for computer science in german teacher education curricula.
In Proceedings of the 8th Workshop in Primary and Secondary Computing Education,
New York, pp. 95–103.
External Links: Link,
ISBN 978-1-4503-2455-7,
Document
Cited by: p1.
- [10]
A. Ruf, M. Berges, and P. Hubwieser (2013)
Types of assignments for novice programmers.
In Proceedings of the 8th Workshop in Primary and Secondary Computing Education,
New York, pp. 43–44.
External Links: ISBN 978-1-4503-2455-7,
Document
Cited by: p1.
Theses
- [1]
M. Plivelic (2018-02)
Using machine learning to support annotating of keywords in mathematical texts.
B.Sc. Thesis, FAU Erlangen-Nürnberg.
External Links: Link
Cited by: p1.
Gray Literature
Technical Reports
- [1]
M. Kohlhase and D. Müller
The sTeX3 manual.
Technical report
External Links: Link
Cited by: p1.
Unpublished
- [1]
M. Berges, M. Kohlhase, D. Lohr, and D. Müller (2022)
The Y Model – formalization of computer-science tasks in the context of intelligent tutoring systems.
Note: submitted
External Links: Link
Cited by: p1.