Ismaël Jecker

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 46

Top Topics

Monadic Datalog

Finite State Automaton

Top Venues

Publications

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. Log. Methods Comput. Sci. 20 (1) (2024)
Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
Finite-valued Streaming String Transducers. CoRR (2024)
Ismaël Jecker, Filip Mazowiecki, David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. LICS (2024)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
Finite-valued Streaming String Transducers. LICS (2024)
Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Jérôme Leroux, Lukasz Orlikowski
New Lower Bounds for Reachability in Vector Addition Systems. CoRR (2023)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Bidding Graph Games with Partially-Observable Budgets. AAAI (2023)
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
History-Deterministic Parikh Automata. CONCUR (2023)
Ismaël Jecker, Filip Mazowiecki, David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. CoRR (2023)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. STACS (2023)
Wojciech Czerwinski, Ismaël Jecker, Slawomir Lasota, Jérôme Leroux, Lukasz Orlikowski
New Lower Bounds for Reachability in Vector Addition Systems. FSTTCS (2023)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Complexity of Spatial Games. FSTTCS (2022)
Guy Avni, Ismaël Jecker, Djordje Zikelic
Bidding Graph Games with Partially-Observable Budgets. CoRR (2022)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Parikh Automata over Infinite Words. CoRR (2022)
Jürgen Dassow, Ismaël Jecker
Operational complexity and pumping lemmas. Acta Informatica 59 (4) (2022)
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
History-deterministic Parikh Automata. CoRR (2022)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Parikh Automata over Infinite Words. FSTTCS (2022)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. CoRR (2022)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. MFCS (2021)
Ismaël Jecker
A Ramsey Theorem for Finite Monoids. STACS (2021)
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. FSTTCS (2021)
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. CoRR (2021)
Ismaël Jecker
A Ramsey Theorem for Finite Monoids. CoRR (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. SODA (2021)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. CoRR (2021)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CoRR (2021)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CONCUR (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. CoRR (2020)
Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi
Unary Prime Languages. MFCS (2020)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Simplified Game of Life: Algorithms and Complexity. MFCS (2020)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. CoRR (2019)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. MFCS (2018)
Ismaël Jecker, Emmanuel Filiot
Multi-Sequential Word Relations. Int. J. Found. Comput. Sci. 29 (2) (2018)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond Admissibility: Dominance Between Chains of Strategies. CSL (2018)
Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard
Beyond admissibility: Dominance between chains of strategies. CoRR (2018)
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
Aperiodic String Transducers. Int. J. Found. Comput. Sci. 29 (5) (2018)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. ICALP (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On delay and regret determinization of max-plus automata. LICS (2017)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. CoRR (2017)
Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
Degree of sequentiality of weighted automata. CoRR (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On Delay and Regret Determinization of Max-Plus Automata. CoRR (2017)
Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
Degree of Sequentiality of Weighted Automata. FoSSaCS (2017)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. CoRR (2016)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. ICALP (2016)
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
Aperiodic String Transducers. DLT (2016)
Ismaël Jecker, Emmanuel Filiot
Multi-Sequential Word Relations. CoRR (2015)
Ismaël Jecker, Emmanuel Filiot
Multi-sequential Word Relations. DLT (2015)