Pascal Zwick

According to our database, Pascal Zwick authored at least 2 papers between 2019 and 2024.

Collaborative distances:

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

2024

Context-Aware Full Body Anonymization using Text-to-Image Diffusion Models.

Pascal Zwick, Kevin Rösch, Marvin Klemp, Oliver Bringmann

CoRR, 2024

2019

Understanding Counterexamples for Relational Properties with DIbugger.

Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019