Default Reasoning with a Constraint Resolution Principle. - Sven Eric Panitz (LPAR, 1993)

Abstract Reduction Using a Tableau Calculus - Manfred Schmidt-Schauß; Sven Eric Panitz; Marko Schütz (SAS, 1995)

Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems. - Manfred Schmidt-Schauß; Massimo Marchiori; Sven Eric Panitz (Theor. Comput. Sci., 1995)

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language. - Sven Eric Panitz; Manfred Schmidt-Schauß (SAS, 1997)

Generierung statischer Programminformation zur Kompilierung verzögert ausgewerteter funktionaler Programmiersprachen. - Sven Eric Panitz (1997)

Nicht nur Bestehen, sondern auch Verstehen: Ein Werkzeug für direktes, kontinuierliches Feedback beim Lernen von Programmieren(Don't Just Pass, Understand: A Tool for Direct and Continuous Feedback When Learning Programming). - Sven Eric Panitz; Ralf Dörner 001 (DeLFI Workshops, 2018)

Fehlvorstellungen in der Programmierausbildung: Eine Heuristik für die semi-automatische Annotation von Fehlerkandidaten. - Björn Fischer; Sven Eric Panitz; Ralf Dörner 001 (ABP, 2023)

Addressing Misconceptions in Introductory Programming: Automated Feedback in Integrated Development Environments. - Björn Fischer; Fabian Birk; Eva-Maria Iwer; Sven Eric Panitz; Ralf Dörner 001 (ICETC, 2023)

Seeking Consent for Programming Process Data Collection with Trustee-Based Encryption. - Björn Fischer; Berit Barthelmes; Sven Eric Panitz; Eva-Maria Iwer; Ralf Dörner 001 (ICER (1), 2024)

Credential-Based Pseudonym Generation for Programming Process Data Collection. - Björn Fischer; Marc Stöttinger; Berit Barthelmes; Sven Eric Panitz; Ralf Dörner 001 (ITiCSE (1), 2025)