Sven Eric Panitz

Orcid: 0009-0009-3171-1087

According to our database1, Sven Eric Panitz authored at least 8 papers between 1993 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Addressing Misconceptions in Introductory Programming: Automated Feedback in Integrated Development Environments.
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.
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).
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.
PhD thesis, 1997

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language.
Proceedings of the Static Analysis, 4th International Symposium, 1997

1995
Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.
Theor. Comput. Sci., 1995

Abstract Reduction Using a Tableau Calculus
Proceedings of the Static Analysis, 1995

1993
Default Reasoning with a Constraint Resolution Principle.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993


  Loading...