Florian Zuleger

1PUBLICATIONS
2CO-AUTHORS
Medical infection agents (incl. prions)
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 03, 2026
A formalization of Heisenbugs and their causes in terms of hyperproperties.

Pageof 1

Frequent Collaborators

1 joint publications

Sarah Sallinger

1 joint publications

Georg Weissenbacher