Back
  1. Home
  2. Profile of Gaëtan Staquet (UMONS)
Profil

Staquet Gaëtan

Université de Mons - UMONS > Faculté des Sciences > Service d'Informatique théorique

Université de Mons - UMONS > Facult?des Sciences > Service d'Informatique th?rique

ORCID
0000-0001-5795-3265

Main Referenced Co-authors
Bruyère, Véronique  (3)
Main, James  (2)
Pérez, Guillermo (2)
Randour, Mickaël  (2)
VANDENHOVE, Pierre  (2)
Main Referenced Keywords
Active learning (2); Realtime one-counter automata (2); automata learning (1); automata with timers (1); JSON (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (15)
Main Referenced Disciplines
Computer science (13)
Electrical & electronics engineering (2)
Mathematics (2)

Publications (total 15)

The most downloaded
17 downloads
Amezian El Khalfioui, A., Joertz, J., Labeeuw, D., Staquet, G., & Wijsen, J. (2020). Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. Paper presented at International Conference on Information and Knowledge Management, Virtual event, Ireland. https://hdl.handle.net/20.500.12907/38534
The most cited
3 citations (Scopus®)
Amezian El Khalfioui, A., Joertz, J., Labeeuw, D., Staquet, G., & Wijsen, J. (2020). Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. Paper presented at International Conference on Information and Knowledge Management, Virtual event, Ireland. https://hdl.handle.net/20.500.12907/38534

Book chapters or contributions to a collective book as author or co-author

Bruyère, V., Pérez, G. A., & Staquet, G. (2023). Validating Streaming JSON Documents with Learned VPAs. In S. Sankaranarayanan & N. Sharygina, Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_14
Peer reviewed

Articles accepted in conference proceedings

Bruyère, V., Pérez, G., & Staquet, G. (2022). Learning Realtime One-Counter Automata. In D. Fisman & G. Rosu, Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing. doi:10.1007/978-3-030-99524-9_13
Peer reviewed

Amezian El Khalfioui, A., Joertz, J., Labeeuw, D., Staquet, G., & Wijsen, J. (2020). Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. Paper presented at International Conference on Information and Knowledge Management, Virtual event, Ireland.

Contact ORBi UMONS