Stefan Pranger

12 papers A* 1B 1C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Commun. ACM
Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2024 A* conf
NeurIPS
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
CoRR
Stefan Pranger, Hana Chockler, Martin Tappler, Bettina Könighofer
2024 J jnl
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 conf
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 conf
ISoLA (1)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022 J jnl
CoRR
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2021 C conf
ACC
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021 B conf
ATVA
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021 J jnl
CoRR
Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2020 J jnl
CoRR
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2019 conf
CAV (1)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger