Special

Semantic search

Title Authors Year
martin.19.seminar Exploring various implementations for goroutines support in go2pins Antoine Martin 2019
esteban.19.seminar Estimation of the noise level function in natural images using the tree of shapes Baptiste Esteban 2019
huvelle.19.seminar Reimplementation of testing-automata in Spot Martin Huvelle 2019
sainson.19.seminar Modelling and Identifying Troll Farm Accounts on Twitter Antoine Sainson 2019
ginane.19.seminar Detecting danger in marine environnement Charles Ginane 2019
valais.18.seminar SUBTYPEP: An Implementation of Baker's Algorithm Leo Valais 2018
remaud.18.seminar Creation of an antichain library Arthur Remaud 2018
khoudli.18.seminar Automatic Heart Segmentation Younes Khoudli 2018
gbaguidiaisse.18.seminar Deciding Persistence or Recurrence Membership in Spot Alexandre Gbaguidi Aïsse 2018
hirtz.18.seminar Optimization of an image processing library Virgile Hirtz 2018
xu.18.seminar Efficient Translation of Fairness LTL Formulae into Deterministic Automata Laurent XU 2018
kirszenberg.18.seminar go2pins: A model checking toolset for the Go programming language Alexandre Kirszenberg 2018
dangla.18.seminar Integration of histograms in the NL-Mean algorithm for image denoising. Aliona Dangla 2018
tourneur.18.seminar Implementation of Invisible and Transparent Transitions in Spot Vincent Tourneur 2018
gillard.18.seminar Two-automaton accepting run search in Spot Clément Gillard 2018
tourneur.17.seminar Partial order reduction in SPOT Vincent Tourneur 2017
xu.17.seminar Improvements of Simulation-based Reduction Laurent Xu 2017
piat.17.seminar K shortest-paths in Vcsn Sébastien Piat 2017
remaud.17.seminar Integration of TChecker in Spot Arthur Remaud 2017
collette.17.seminar Morse-Smale Complex computation with Watershed Cut Victor Collette 2017