Franziska Alber

According to our database, Franziska Alber authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Verification of E-Voting Algorithms in Dafny.

Robert Büttner, Fabian Franz Dießl, Patrick Janoschek, Ivana Kostadinovic, Henrik Oback, Kilian Voß, Franziska Alber, Roland Herrmann, Sibylle Möhle, Philipp Rümmer

CoRR, December, 2025

Complementable Normal Form of Parametrized Automata.

Franziska Alber, Philipp Rümmer

Proceedings of the Implementation and Application of Automata, 2025