PHD Theses and Habilitations

From LRDE

Title Authors Published in Date
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. HUYNH Le Duy 13 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