L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Ismaël Jecker

Publications de Ismaël Jecker

2024 (2)

  • inproceedings - Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
    39th IEEE/ACM Symposium on Logic in Computer Science (LICS 2024) / Talinn, Estonia (2024, Pages pages 13)
    Jecker, Ismaël | Mazowiecki, Filip | Purser, David
    pdf | doi | bibtex
  • inproceedings - Finite-valued Streaming String Transducers
    39th IEEE/ACM Symposium on Logic in Computer Science (LICS 2024) / Talinn, Estonia (2024, Pages pages 14)
    Filiot, Emmanuel | Jecker, Ismaël | Löding, Christof | Muscholl, Anca | Puppis, Gabriele | Winter, Sarah
    pdf | doi | bibtex