Scholar
Ismaël Jecker
Google Scholar ID: SW49H4YAAAAJ
Institute of Science and Technology, Austria
Citations & Impact
Citations
235
H-index
10
i10-index
11
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- - Published paper 'Finite-valued streaming string transducers' (LICS 2024)
- - Published paper 'Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata' (LICS 2024)
- - Published paper 'New Lower Bounds for Reachability in Vector Addition Systems' (FSTTCS 2023)
- - Published paper 'History-Deterministic Parikh Automata' (CONCUR 2023)
- - Published paper 'A regular and complete notion of delay for streaming string transducers' (STACS 2023)
- - Published paper 'Bidding Graph Games with Partially-Observable Budgets' (AAAI 2023)
- - Published paper 'Complexity of Spatial Games' (FSTTCS 2022)
- - Published paper 'Parikh Automata over Infinite Words' (FSTTCS 2022)
- - Published paper 'Operational complexity and pumping lemmas' (Acta Informatica)
- - Published paper 'On the Complexity of Intersection Non-emptiness for Star-Free Language Classes' (FSTTCS 2021)
- - Published paper 'A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct' (MFCS 2021, best paper award)
- - Published paper 'Decomposing Permutation Automata' (CONCUR 2021)
- - Published paper 'A Ramsey Theorem for Finite Monoids' (STACS 2021)
- - Published paper 'Infinite-Duration All-Pay Bidding Games' (SODA 2021)
- - Published paper 'Simplified Game of Life: Algorithms and Complexity' (MFCS 2020)
- - Published paper 'Unary Prime Languages' (MFCS 2020)
- - Published paper 'Beyond Admissibility: Dominance Between Chains of Strategies' (CSL 2018)
- - Published paper 'The Complexity of Transducer Synthesis from Multi-Sequential Specifications' (MFCS 2018)
- - Published paper 'Degree of Sequentiality of Weighted Automata' (FoSSaCS 2017)
- - Published paper 'On Reversible Transducers' (ICALP 2017)
- - Published paper 'On delay and regret determinization of max-plus automata' (LICS 2017)
- - Published paper 'Aperiodic String Transducers' (DLT 2016)
- - Published paper 'On Equivalence and Uniformisation Problems for Finite' (DLT 2016)
Research Experience
- - 2021 to 2023: Postdoctoral researcher at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw (MIMUW), supervised by Wojciech Czerwiński
- - 2019 to 2021: Postdoctoral researcher in the Chatterjee group at the Institute of Science and Technology Austria (IST Austria)
Education
- - 2014 to 2019: PhD in Computer Science at the Université libre de Bruxelles, supervised by Emmanuel Filiot and Jean-François Raskin
- - Before that, studied Mathematics at the École polytechnique fédérale de Lausanne (EPFL)
Background
- Currently a tenured associate professor (Maître de Conférences) at Université de Franche-Comté. Research interests include formal methods and verification.
Co-authors