# Student reports

### From LRDE

Title | Authors | Year | |
---|---|---|---|

gillard.17.seminar | Two-automaton emptiness check in Spot | Clément Gillard | 2017 |

gbaguidiaisse.17.seminar | A co-Büching Toolbox | Alexandre Gbaguidi Aïsse | 2017 |

houang.17.seminar | Binary Partition Tree for Image Processing | Fabien Houang | 2017 |

michaud.17.seminar | LTL Synthesis with Spot | Thibaud Michaud | 2017 |

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 |

iovene.17.seminar | Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition | Valentin Iovene | 2017 |

dangla.17.seminar | Evaluation method of text detection algorithm rating | Aliona Dangla | 2017 |

berthet.17.seminar | Automatic detection of text zones on identity documents. | Anne-Claire Berthet | 2017 |

daval-frerot.16.seminar | Bottleneck neural networks for Speaker Recognition | Guillaume Daval-Frerot | 2016 |

piat.16.seminar2 | K shortest-paths in Vcsn | Sébastien Piat | 2016 |

tolmer.16.seminar | Efficient Transducer Composition in Vcsn | Valentin Tolmer | 2016 |

xu.16.seminar | Product of Parity Automata | Laurent Xu | 2016 |

iovene.16.seminar | Domain Mismatch Compensation for Text-Independant Speaker Recognition | Valentin Iovene | 2016 |

lewkowicz.16.seminar | Improving the determinization of Büchi automata | Alexandre Lewkowicz | 2016 |

deutsch.16.seminar | Supervised Discrimination of Characters on Images | Thibault Deutsch | 2016 |

michaud.16.seminar | Quotient of weighted automata and rational series | Thibaud Michaud | 2016 |