Sven Eric Panitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1993–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITiCSE | Credential-Based Pseudonym Generation for Programming Process Data Collection. | Bjrn Fischer, Marc Stttinger, Berit Barthelmes, Sven Eric Panitz, Ralf Drner |
| 2024 | ICER | Seeking Consent for Programming Process Data Collection with Trustee-Based Encryption. | Bjrn Fischer, Berit Barthelmes, Sven Eric Panitz, Eva-Maria Iwer, Ralf Drner |
| 1997 | SAS | TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language. | Sven Eric Panitz, Manfred Schmidt-Schau |
| 1995 | SAS | Abstract Reduction Using a Tableau Calculus | Manfred Schmidt-Schau, Sven Eric Panitz, Marko Schtz |
| 1993 | LPAR | Default Reasoning with a Constraint Resolution Principle. | Sven Eric Panitz |