Publications

From LRDE

Revision as of 12:03, 26 November 2018 by Clément Démoulins (Cd) (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Here you will find the various forms of communication from LRDE members.

LRDE Progress Report

LRDE Bibliography

Publications

Or


Title Authors Published in Date
kheireddine.21.cp Towards better Heuristics for solving Bounded Model Checking Problems Souheib Baarrir, Anissa Kheireddine, Étienne Renault Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP) 31 August 2021
sekuboyina.21.media VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images Anjany Sekuboyina, Malek E Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li, Giles Tetteh, Jan Kukačka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, Daguang Xu, and 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, Matthias Wolf, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Houa, 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 Huỳnh, Nicolas Boutry, Roman Jakubicek, Jiri Chmelik, 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 Analysis 22 July 2021
kirszenberg.21.spin Go2Pins: A Framework for the LTL Verification of Go Programs Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) 8 June 2021
chen.21.icdar Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.1 Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation Joseph Chazalon, Edwin Carlinet Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.2 ICDAR 2021 Competition on Historical Map Segmentation Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
estopinan.21.eusipco Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz Proceedings of the 29th European Signal Processing Conference (EUSIPCO) 4 May 2021
hacquard.21.els A Corpus Processing and Analysis Pipeline for Quickref Antoine Hacquard, Didier Verna Proceedings of the 14th European Lisp Symposium (ELS) 1 May 2021
newton.21.els A Portable, Simple, Embeddable Type System Jim Newton, Adrien Pommellet Proceedings of the 14th European Lisp Symposium (ELS) 26 April 2021
boutry.21.dgmm.1 An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021

... further results