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 004; Giles Tetteh; Jan Kukacka; Christian Payer; Darko Stern; Martin Urschler; Maodong Chen; et al. (CoRR, 2020)

Going Beyond p-convolutions to Learn Grayscale Morphological Operators. - Alexandre Kirszenberg; Guillaume Tochon; Élodie Puybareau; Jesús Angulo (DGMM, 2021)

Go2Pins: A Framework for the LTL Verification of Go Programs. - Alexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault (SPIN, 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 004; Giles Tetteh; Jan Kukacka; Christian Payer; Darko Stern; Martin Urschler; Maodong Chen; et al. (Medical Image Anal., 2021)

Learning Grayscale Mathematical Morphology with Smooth Morphological Layers. - Romain Hermary; Guillaume Tochon; Élodie Puybareau; Alexandre Kirszenberg; Jesús Angulo (J. Math. Imaging Vis., 2022)

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., 2023)