PHD Theses and Habilitations

From LRDE

Title Authors Published in Date
chen.23.phd Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) Yizi Chen 22 March 2023
rivet.20.phd Non-iterative methods for image improvement in digital holography of the retina Julie Rivet 17 July 2020
verna.20.hdr (Dynamic (Programming Paradigms)) ;; Performance and Expressivity Didier Verna 10 July 2020
movn.20.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Minh Ôn Vũ Ngoc 18 February 2020
le-frioux.19.phd Towards more efficient parallel SAT solving Ludovic Le Frioux 3 July 2019
huynh.18.phd Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. Lê Duy Huỳnh 1 December 2018
newton.18.phd Representing and Computing with Types in Dynamically Typed Languages Jim Newton 1 November 2018
duret.17.hdr Contributions to LTL and ω-Automata for Model Checking Alexandre Duret-Lutz 1 February 2017
boutry.16.phd A Study of Well-Composedness in n-D Nicolas Boutry 1 December 2016
calarasanu.15.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Stefania Calarasanu 1 December 2015
carlinet.15.phd A Tree of Shapes for Multivariate Images Edwin Carlinet 1 November 2015
renault.14.phd Contribution aux tests de vacuité pour le model checking explicite Etienne Renault 5 December 2014
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 September 2014
xu.13.phd Tree-based shape spaces: Definition and applications in image processing and computer vision Yongchao Xu 12 December 2013
geraud.12.hdr Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes Thierry Géraud 1 June 2012
levillain.11.phd Towards a Software Architecture for Generic Image Processing Roland Levillain 1 November 2011
hamez.09.phd Génération efficace de grands espaces d'états Alexandre Hamez 1 December 2009
linard.09.phd Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification Alban Linard 1 November 2009
darbon.05.phd Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images Jérôme Darbon 1 October 2005