팔로우
Ismaël Jecker
제목
인용
인용
연도
On equivalence and uniformisation problems for finite transducers
E Filiot, I Jecker, C Löding, S Winter
arXiv preprint arXiv:1602.08565, 2016
342016
On reversible transducers
L Dartois, P Fournier, I Jecker, N Lhote
arXiv preprint arXiv:1702.07157, 2017
282017
Degree of sequentiality of weighted automata
L Daviaud, I Jecker, PA Reynier, D Villevalois
International Conference on Foundations of Software Science and Computation …, 2017
192017
Aperiodic string transducers
L Dartois, I Jecker, PA Reynier
International Journal of Foundations of Computer Science 29 (05), 801-824, 2018
152018
On delay and regret determinization of max-plus automata
E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
152017
A bit of nondeterminism makes pushdown automata expressive and succinct
S Guha, I Jecker, K Lehtinen, M Zimmermann
Logical Methods in Computer Science 20, 2024
132024
Infinite-duration all-pay bidding games
G Avni, I Jecker, Đ Žikelić
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA …, 2021
112021
Unary prime languages
IR Jecker, O Kupferman, N Mazzocchi
45th International Symposium on Mathematical Foundations of Computer Science 170, 2020
82020
Multi-sequential word relations
I Jecker, E Filiot
International Conference on Developments in Language Theory, 288-299, 2015
82015
Parikh automata over infinite words
S Guha, I Jecker, K Lehtinen, M Zimmermann
arXiv preprint arXiv:2207.07694, 2022
72022
Aperiodic string transducers
L Dartois, I Jecker, PA Reynier
International Conference on Developments in Language Theory, 125-137, 2016
72016
History-deterministic parikh automata
E Erlich, S Guha, I Jecker, K Lehtinen, M Zimmermann
arXiv preprint arXiv:2209.07745, 2022
62022
On the complexity of intersection non-emptiness for star-free language classes
E Arrighi, H Fernau, S Hoffmann, M Holzer, I Jecker, MO Oliveira, P Wolf
arXiv preprint arXiv:2110.01279, 2021
52021
Decomposing permutation automata
I Jecker, N Mazzocchi, P Wolf
arXiv preprint arXiv:2107.04683, 2021
42021
Operational complexity and pumping lemmas
J Dassow, I Jecker
Acta Informatica 59 (4), 337-355, 2022
32022
A Ramsey theorem for finite monoids
I Jecker
arXiv preprint arXiv:2101.05895, 2021
32021
Simplified game of life: Algorithms and complexity
K Chatterjee, R Ibsen-Jensen, I Jecker, J Svoboda
arXiv preprint arXiv:2007.02894, 2020
32020
Multi-sequential word relations
I Jecker, E Filiot
International Journal of Foundations of Computer Science 29 (02), 271-295, 2018
32018
New Lower Bounds for Reachability in Vector Addition Systems
W Czerwiński, I Jecker, S Lasota, J Leroux, Ł Orlikowski
arXiv preprint arXiv:2310.09008, 2023
22023
Bidding graph games with partially-observable budgets
G Avni, I Jecker, Đ Žikelić
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5464-5471, 2023
22023
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20