Profil

Staquet Gaëtan

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

ORCID
0000-0001-5795-3265

Main Research Fields
Computer science
Electrical & electronics engineering
Mathematics
Main Keywords
Active learning; Realtime one-counter automata; automata learning; JSON document; streaming;
Main Unit & Research Centers
CREMMI - Modélisation mathématique et informatique
Main Co-authors
Pérez, Guillermo
Amezian El Khalfioui, Aziz
BRUYERE, Véronique 
Bruyère, Véronique 

Publications (total 12)

The most downloaded
4 downloads
Staquet, G. (17 November 2021). Learning Realtime One-Counter Automata. Paper presented at Journées du GT Vérif, Gif-sur-Yvette, France. https://hdl.handle.net/20.500.12907/30600
The most cited
2 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

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