Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

M. Sc. Patrick Ritzenfeld

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47048 Duisburg
Raum
LF 233
Telefon
+49 203 37 91243
Telefax
+49 203 37 93557
E-Mail
patrick.ritzenfeld@uni-due.de
Webseite
https://www.uni-due.de/fmi/ritzenfeld

Funktionen

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

Aktuelle Veranstaltungen

Vergangene Veranstaltungen (max. 10)

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Beiträge in Sammelwerken und Tagungsbänden

  • 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 (Hrsg.). Bonn: Gesellschaft für Informatik e.V., 2025, S. 75 – 83
    DOI (Open Access)