Alexandre Kirszenberg

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Go2Pins: a framework for the LTL verification of Go programs (extended version).
Int. J. Softw. Tools Technol. Transf., February, 2023

2022
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers.
J. Math. Imaging Vis., 2022

2021
VerSe: A Vertebrae labelling and segmentation benchmark for multi-detector CT images.
Medical Image Anal., 2021

Go2Pins: A Framework for the LTL Verification of Go Programs.
Proceedings of the Model Checking Software - 27th International Symposium, 2021

Going Beyond p-convolutions to Learn Grayscale Morphological Operators.
Proceedings of the Discrete Geometry and Mathematical Morphology, 2021

2020
VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images.
CoRR, 2020


  Loading...