1. A Dynamic Visualisation of the DES Algorithm and a Multi-faceted Evaluation of Its Educational Value
2. Sebastian Biewer , Felix Freiberger , Pascal Leo Held, and Holger Hermanns . 2017 . Teaching Academic Concurrency to Amazing Students. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Vol. 10460), Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingó lfsdó ttir, Axel Legay, and Radu Mardare (Eds.). Springer, Switzerland, 170--195. https://doi.org/10.1007/978--3--319--63121--9_9 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, and Holger Hermanns. 2017. Teaching Academic Concurrency to Amazing Students. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Vol. 10460), Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingó lfsdó ttir, Axel Legay, and Radu Mardare (Eds.). Springer, Switzerland, 170--195. https://doi.org/10.1007/978--3--319--63121--9_9
3. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App
4. Loris D'Antoni , Martin Helfrich , Jan Kret'i nský , Emanuel Ramneantu , and Maximilian Weininger . 2020 . Automata Tutor v3. In Computer Aided Verification - 32nd International Conference , CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part II (Lecture Notes in Computer Science , Vol. 12225), , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer, Los Angeles, CA, USA, 3-- 14 . https://doi.org/10.1007/978--3-030--53291--8_1 Loris D'Antoni, Martin Helfrich, Jan Kret'i nský , Emanuel Ramneantu, and Maximilian Weininger. 2020. Automata Tutor v3. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Vol. 12225), , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer, Los Angeles, CA, USA, 3--14. https://doi.org/10.1007/978--3-030--53291--8_1
5. Automata Tutor and what we learned from building an online teaching tool;D'Antoni Loris;Bull. EATCS,2015