L'institut
FEMTO-ST
Département DISC

Ismaël Jecker

Département DISC
Équipe VESONTIO

UMLP UFR ST
Courriel :
ismael.jecker [at] femto-st.fr
Adresse :
DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

<p>Link to <a href="https://ismaeljecker.github.io/">my webpage</a></p>

Publications de Ismaël JECKER

Voir toutes les publications (6)2025 (4)2024 (2)

2025 (4)

  • article - History-Deterministic Parikh Automata
    ACM Transactions on Computational Logic (TOCL) (Volume 26, Issue (3), jul 2025, Pages :18 (36))
    Erlich, Enzo | Grobler, Mario | Guha, Shibashis | Jecker, Ismaël | Lehtinen, Karoliina | Zimmermann, Martin
    ressource | doi
  • inproceedings - Approximate Problems for Finite Transducers
    52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025) / Aarhus, Denmark (2025, Pages pages 155 (19))
    Filiot, Emmanuel | Jecker, Ismaël | Madnani, Khushraj | Sunny, Saina
    ressource | doi | bibtex
    @inproceedings{46ddfa1d-6b61-4994-80ae-d7129f29bea6, title = {Approximate Problems for Finite Transducers}, author = {Filiot, Emmanuel and Jecker, Isma\"el and Madnani, Khushraj and Sunny, Saina}, year = {2025}, address = {Aarhus, Denmark}, booktitle = {52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025)}, editor = {46ddfa1d-6b61-4994-80ae-d7129f29bea6-editor.pdf}, month = {jul}, pages = {155 (19)}, url = {https://publiweb.femto-st.fr/tntnet/entries/21793/documents/author/data}, doi = {https://doi.org/10.4230/LIPIcs.ICALP.2025.155} }
  • inproceedings - Reachability in 3-VASS Is Elementary
    52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025) / Aarhus, Denmark (2025, Pages pages 153 (20))
    Czerwiński, Wojciech | Jecker, Ismaël | Lasota, Slawomir | Orlikowski, Lukasz
    ressource | doi | bibtex
    @inproceedings{0e3a4c22-3e36-47fb-91ef-64fa7b91b2a3, title = {Reachability in 3-VASS Is Elementary}, author = {Czerwi\'nski, Wojciech and Jecker, Isma\"el and Lasota, Slawomir and Orlikowski, Lukasz}, year = {2025}, address = {Aarhus, Denmark}, booktitle = {52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025)}, editor = {0e3a4c22-3e36-47fb-91ef-64fa7b91b2a3-editor.pdf}, month = {jul}, pages = {153 (20)}, url = {https://publiweb.femto-st.fr/tntnet/entries/21794/documents/author/data}, doi = {https://doi.org/10.4230/LIPIcs.ICALP.2025.153} }
  • article - Finite-valued Streaming String Transducers
    TheoretiCS (Volume 4, jan 2025, Pages :2025:1 (36))
    Filiot, Emmanuel | Jecker, Ismaël | Löding, Christof | Muscholl, Anca | Puppis, Gabriele | Winter, Sarah
    doi

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
    ressource | doi | bibtex
    @inproceedings{a91ecc47-060e-41e9-905a-c5d44f3079a6, title = {Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata}, author = {Jecker, Isma\"el and Mazowiecki, Filip and Purser, David}, year = {2024}, address = {Talinn, Estonia}, booktitle = {39th IEEE/ACM Symposium on Logic in Computer Science (LICS 2024)}, editor = {a91ecc47-060e-41e9-905a-c5d44f3079a6-editor.pdf}, month = {jul}, pages = {13}, url = {https://publiweb.femto-st.fr/tntnet/entries/20705/documents/author/data}, doi = {https://doi.org/10.1145/3661814.3662073} }
  • 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
    ressource | doi | bibtex
    @inproceedings{bc3663d5-f41e-4f67-83d1-ba16ece1789e, title = {Finite-valued Streaming String Transducers}, author = {Filiot, Emmanuel and Jecker, Isma\"el and L\"oding, Christof and Muscholl, Anca and Puppis, Gabriele and Winter, Sarah}, year = {2024}, address = {Talinn, Estonia}, booktitle = {39th IEEE/ACM Symposium on Logic in Computer Science (LICS 2024)}, editor = {bc3663d5-f41e-4f67-83d1-ba16ece1789e-editor.pdf}, month = {jul}, pages = {14}, url = {https://publiweb.femto-st.fr/tntnet/entries/20706/documents/author/data}, doi = {https://doi.org/10.1145/3661814.3662095} }