VLDB 2026 Research / reviewers in the wild / expert
Alexandre Kirszenberg
dblp:257/3284
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Go2Pins: a framework for the LTL verification of Go programs (extended version)
Alexandre Kirszenberg, Hugo Moreau, Etienne Renault |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 2021 | Go2Pins: A Framework for the LTL Verification of Go Programs
Alexandre Kirszenberg, Hugo Moreau, Etienne Renault |
SPIN | 1 |
| 2021 | VerSe: A Vertebrae labelling and segmentation benchmark for multi-detector CT images
Anjany Sekuboyina, Malek El Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li 0004, Giles Tetteh, Jan Kukacka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Leßmann, Yujin Hu, Tianfu Wang 0001, Dong Yang 0005, Daguang Xu, Felix Ambellan, Tamaz Amiranashvili, Moritz Ehlke, Hans Lamecker, Sebastian Lehnert, Marilia Lirio, Nicolás Pérez de Olaguer, Heiko Ramm, Manish Sahu, Alexander Tack, Stefan Zachow, Xinjun Ma, Christoph Angerman, Xin Wang 0113, Alexandre Kirszenberg, Élodie Puybareau, Yiwei Bai, Brandon H. Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Hou, Zhiqiang He 0002, Chan Zeng, Zheng Xiangshang, Xu Liming, Tucker J. Netherton, Raymond P. Mumme, Laurence E. Court, Zixun Huang, Chenhang He, Li-Wen Wang, Sai-Ho Ling, Lê Duy Huynh, Nicolas Boutry, Roman Jakubícek, Jirí Chmelík, Supriti Mulay, Mohanasankar Sivaprakasam, Johannes C. Paetzold, Suprosanna Shit, Ivan Ezhov, Benedikt Wiestler, Ben Glocker, Alexander Valentinitsch, Markus Rempfler, Bjoern Menze, Jan Kirschke |
Medical Image Anal. | 35 |