Ismaël Jecker

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