Jecker, Ismaël
64  results:
Search for persons X
?
1

Determinisation and Unambiguisation of Polynomially-Ambiguo..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
2

Finite-valued Streaming String Transducers:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
3

Operational complexity and pumping lemmas:

Dassow, Jürgen ; Jecker, Ismaël
Acta Informatica.  59 (2022)  4 - p. 337-355 , 2022
 
?
4

Infinite-duration all-pay bidding games:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
Avni, Guy ; Jecker, Ismäel ; Žikelić, Đorđe - p. 617-636 , 2021
 
?
5

Infinite-Duration All-Pay Bidding Games:

, In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA),
Avni, Guy ; Jecker, Ismäel ; Žikelić, Đorđe - p. 617-636 , 2021
 
?
6

On delay and regret determinization of max-plus automata:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
7

History-deterministic Parikh Automata:

Erlich, Enzo ; Guha, Shibashis ; Jecker, Ismaël..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CONCUR.2023.31.  , 2023
 
?
9

New Lower Bounds for Reachability in Vector Addition System:

Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir..
Is Part Of LIPIcs, Volume 284, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023).  , 2023
 
?
10

History-deterministic Parikh Automata:

Erlich, Enzo ; Guha, Shibashis ; Jecker, Ismaël..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CONCUR.2023.31.  , 2023
 
?
11

History-deterministic Parikh Automata:

Erlich, Enzo ; Guha, Shibashis ; Jecker, Ismaël..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CONCUR.2023.31.  , 2023
 
?
15

Parikh Automata over Infinite Words:

Guha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina.
https://vbn.aau.dk/da/publications/7020187c-ad29-4667-bf52-f0b39e366345.  , 2022
 
1-15