EDBT 2026 Demo / reviewers in the wild / expert
Serge Haddad
dblp:h/SergeHaddad
· DBLP profile ↗
3ranked-venue papers in the field
1as first author
2since 2021 · last 2022
0000-0002-1759-1201ORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 3 (1 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Revisiting reachability in Polynomial Interrupt Timed Automata
Béatrice Bérard, Serge Haddad |
Inf. Process. Lett. | 2 |
| 2022 | Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208]
Béatrice Bérard, Serge Haddad |
Inf. Process. Lett. | 2 |
| 2018 | Memoryless determinacy of finite parity games: Another simple proof
Serge Haddad |
Inf. Process. Lett. | 1 |