Matthias Hetzenberger

According to our database, Matthias Hetzenberger authored at least 6 papers in 2025.

Collaborative distances:

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

2025

Term Orders for Optimistic Lambda-Superposition.

Alexander Bentkamp, Jasmin Blanchette, Matthias Hetzenberger

CoRR, October, 2025

Optimistic Higher-Order Superposition.

Alexander Bentkamp, Jasmin Blanchette, Matthias Hetzenberger, Uwe Waldmann

CoRR, October, 2025

To Zip Through the Cost Analysis of Probabilistic Programs.

Matthias Hetzenberger, Georg Moser, Florian Zuleger

CoRR, August, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

The Vampire Diary.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Computer Aided Verification - 37th International Conference, 2025