Gatan Staquet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DLT | Visibly Recursive Automata. | Kvin Dubrulle, Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2023 | TACAS | Validating Streaming JSON Documents with Learned VPAs. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2022 | TACAS | Learning Realtime One-Counter Automata. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2020 | CIKM | Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. | Aziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw, Gatan Staquet, Jef Wijsen |