Patrick Ritzenfeld, Doctoral Student

M. Sc. Patrick Ritzenfeld

Informatik / AI

Address
Lotharstr. 65 (LF)
47048 Duisburg
Room
LF 233
Phone
+49 203 37 91243
Fax
+49 203 37 93557
E-Mail
patrick.ritzenfeld@uni-due.de
Website
https://www.uni-due.de/fmi/ritzenfeld

Functions

  • Wissenschaftliche/r Mitarbeiter/in, Formale Methoden der Informatik

The following publications are listed in the online university bibliography of the University of Duisburg-Essen. Further information may also be found on the person's personal web pages.

    Book articles / Proceedings papers

  • Ritzenfeld, Patrick; Voigtländer, Janis
    Extensional and Intensional Checking of Student Programs in a Graphical Domain
    In: Proceedings Seventh Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2025) / 7. Workshop "Automatische Bewertung von Programmieraufgaben", 1.–2. Oktober 2025, Berlin / Greubel, André; Strickroth, Sven; Striewe, Michael (Eds.). Bonn: Gesellschaft für Informatik e.V., 2025, pp. 75 – 83
    DOI (Open Access)