Profil

Staquet Gaëtan

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

ORCID
0000-0001-5795-3265
Main Referenced Co-authors
BRUYERE, Véronique  (4)
MAIN, James  (2)
Pérez, Guillermo (2)
Pérez, Guillermo A. (2)
RANDOUR, Mickaël  (2)
Main Referenced Keywords
Active learning (2); reachability (2); Realtime one-counter automata (2); automata learning (1); automata with timers (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (25)
Main Referenced Disciplines
Computer science (24)
Mathematics (2)
Electrical & electronics engineering (1)

Publications (total 25)

The most downloaded
18 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. In M. d'Aquin & S. Dietze, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. New York, United States: ACM - Association for Computing Machinery. doi:10.1145/3340531.3411911 https://hdl.handle.net/20.500.12907/38534

The most cited

3 citations (OpenCitations)

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. In M. d'Aquin & S. Dietze, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. New York, United States: ACM - Association for Computing Machinery. doi:10.1145/3340531.3411911 https://hdl.handle.net/20.500.12907/38534

Articles accepted in conference proceedings

Bruyère, V., Pérez, G. A., Staquet, G., & Vaandrager, F. W. (2023). Automata with Timers. In L. Petrucci & J. Sproston (Eds.), Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-42626-1_3
Peer reviewed

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

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. In M. d'Aquin & S. Dietze, CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management. New York, United States: ACM - Association for Computing Machinery. doi:10.1145/3340531.3411911
Peer reviewed

Contact ORBi UMONS