Sven Eric Panitz

According to our database, Sven Eric Panitz authored at least 10 papers between 1993 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Credential-Based Pseudonym Generation for Programming Process Data Collection.

Björn Fischer, Marc Stöttinger, Berit Barthelmes, Sven Eric Panitz, Ralf Dörner

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

2024

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

Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024

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

Proceedings of the 15th International Conference on Education Technology and Computers, 2023

Fehlvorstellungen in der Programmierausbildung: Eine Heuristik für die semi-automatische Annotation von Fehlerkandidaten.

Björn Fischer, Sven Eric Panitz, Ralf Dörner

Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben", 2023

2018

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

Proceedings of the Proceedings der Pre-Conference-Workshops der 16. E-Learning Fachtagung Informatik co-located with 16th e-Learning Conference of the German Computer Society (DeLFI 2018), 2018

1997

Generierung statischer Programminformation zur Kompilierung verzögert ausgewerteter funktionaler Programmiersprachen.

Sven Eric Panitz

PhD thesis, 1997

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language.

Sven Eric Panitz, Manfred Schmidt-Schauß

Proceedings of the Static Analysis, 4th International Symposium, 1997

1995

Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.

Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz

Theor. Comput. Sci., 1995

Abstract Reduction Using a Tableau Calculus

Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz

Proceedings of the Static Analysis, 1995

1993

Default Reasoning with a Constraint Resolution Principle.

Sven Eric Panitz

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993