| 2025 |
A |
conf |
CADE
Michael Rawson, Andrei Voronkov, Johannes Schoisswohl, Anja Petkovic Komel
|
| 2025 |
— |
conf |
CAV (3)
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
|
| 2025 |
J |
jnl |
CoRR
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
|
| 2024 |
J |
jnl |
CoRR
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
|
| 2024 |
B |
conf |
LPAR
Johannes Schoisswohl, Laura Kovács, Konstantin Korovin
|
| 2023 |
— |
conf |
TACAS (1)
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
|
| 2023 |
B |
conf |
LPAR
Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
|
| 2023 |
A |
conf |
CADE
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
|
| 2022 |
J |
jnl |
J. Sched.
Arnaud De Coster, Nysret Musliu, Andrea Schaerf, Johannes Schoisswohl, Kate Smith-Miles
|
| 2021 |
J |
jnl |
CoRR
Johannes Schoisswohl, Laura Kovács
|
| 2021 |
— |
conf |
LFMTP
Johannes Schoisswohl, Laura Kovács
|
| 2021 |
C |
conf |
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
|
| 2021 |
— |
conf |
TACAS (2)
Giles Reger, Johannes Schoisswohl, Andrei Voronkov
|
| 2020 |
C |
conf |
CICM
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
|