Tobias Winkler
ORCIDPublication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 28
Publications (10 Years): 28
Publications
- Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
- Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
- Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias WinklerWeighted Programming. CoRR (2022)
- Tobias Winkler, Maximilian Weininger