Alexandre Kirszenberg

According to our database, Alexandre Kirszenberg authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Go2Pins: a framework for the LTL verification of Go programs (extended version).

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault

Int. J. Softw. Tools Technol. Transf., February, 2023

2022

Learning Grayscale Mathematical Morphology with Smooth Morphological Layers.

Romain Hermary, Guillaume Tochon, Élodie Puybareau, Alexandre Kirszenberg, Jesús Angulo

J. Math. Imaging Vis., 2022

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, Giles Tetteh, Jan Kukacka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, 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, Tao Jiang, Xinjun Ma, Christoph Angerman, Xin Wang, Kevin Brown, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H. Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Hou, Zhiqiang He, 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, Björn H. Menze, Jan S. Kirschke

Medical Image Anal., 2021

Go2Pins: A Framework for the LTL Verification of Go Programs.

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Going Beyond p-convolutions to Learn Grayscale Morphological Operators.

Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesús Angulo

Proceedings of the Discrete Geometry and Mathematical Morphology, 2021

2020

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, Giles Tetteh, Jan Kukacka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, 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, Tao Jiang, Xinjun Ma, Christoph Angerman, Xin Wang, Kevin Brown, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H. Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Hou, Zhiqiang He, Chan Zeng, Xiangshang Zheng, Liming Xu, 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, Björn H. Menze, Jan S. Kirschke

CoRR, 2020