| 2026 |
J |
jnl |
CoRR
David Schmotz, Luca Beurer-Kellner, Sahar Abdelnabi, Maksym Andriushchenko
|
| 2025 |
J |
jnl |
CoRR
Debeshee Das, Luca Beurer-Kellner, Marc Fischer, Maximilian Baader
|
| 2025 |
J |
jnl |
CoRR
Luca Beurer-Kellner, Beat Buesser, Ana-Maria Cretu, Edoardo Debenedetti, Daniel Dobos, Daniel Fabian, Marc Fischer, David Froelicher, Kathrin Grosse, Daniel Naeff, Ezinwanne Ozoani, Andrew Paverd, Florian Tramèr, Václav Volhejn
|
| 2024 |
J |
jnl |
CoRR
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
|
| 2024 |
A* |
conf |
NeurIPS
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
|
| 2024 |
A* |
conf |
ICLR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICML
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
|
| 2024 |
J |
jnl |
CoRR
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
|
| 2024 |
A* |
conf |
ICML
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
|
| 2023 |
J |
jnl |
IEEE Trans. Serv. Comput.
Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
|
| 2023 |
J |
jnl |
CoRR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
|
| 2023 |
J |
jnl |
CoRR
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
|
| 2022 |
A* |
conf |
NeurIPS
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
|
| 2022 |
J |
jnl |
CoRR
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
|
| 2022 |
A* |
conf |
ICML
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
|
| 2022 |
J |
jnl |
CoRR
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
|
| 2022 |
J |
jnl |
CoRR
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
|
| 2020 |
— |
conf |
TTC/
Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer
|