Sven Eric Panitz

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

Collaborative distances:

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

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