Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

M.Sc. Oliver Westphal

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 232
Telefon
+49 203 379 2677
Telefax
+49 203 379 3557
E-Mail
oliver.westphal@uni-due.de
Webseite
https://www.uni-due.de/fmi/westphal

Funktionen

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

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.

    Artikel in Zeitschriften

  • Westphal, Oliver; Voigtländer, Janis
    Automatically testing console I/O behavior of student submissions in Haskell
    In: Journal of Functional Programming, Jg. 35, 2025, e18
    DOI (Open Access)
  • Westphal, Oliver
    Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 424, 2025, S. 109 – 129
    DOI, Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Westphal, Oliver
    A Framework for Generating Diverse Haskell-I/O Exercise Tasks
    In: Functional and Constraint Logic Programming / 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 / Hanus, Michael; Sacerdoti Coen, Claudio (Hrsg.). Cham: Springer, 2021, S. 97 – 114
    DOI, Online Volltext (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education: Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020 / Eighth International Workshop on Trends in Functional Programming in Education, 11th June 2019, Vancouver, Canada and Ninth International Workshop on Trends in Functional Programming in Education, 12th February 2020, Krakow, Poland / Hage, Jurriaan (Hrsg.). Waterloo: Open Publishing Association, 2020, S. 19 – 36
    DOI (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.). Cham: Springer, 2020, S. 179 – 197
    DOI
  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Hrsg.): GI, 2019, S. 19 – 26
    DOI (Open Access)