Profil

Tamines Clément

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

Université de Mons - UMONS > Administration > Service de la Communication

Université de Mons - UMONS > Faculté des Sciences > Service des Réseaux et Télécommunications

Université de Mons - UMONS > Faculté des Sciences > Algorithmique

Université de Mons - UMONS > Faculté des Sciences > Réseaux et Télécommunications


Main Research Fields
Electrical & electronics engineering
Computer science
Mathematics
Main Keywords
Computer Science - Computer Science and Game Theory;
Main Unit & Research Centers
CREMMI - Modélisation mathématique et informatique
Main Co-authors
Raskin, Jean-François
BRUYERE, Véronique 
Bruyère, Véronique 
Meurisse, Quentin 
Pérez, Guillermo

Publications (total 14)

The most downloaded
2 downloads
Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, . https://hdl.handle.net/20.500.12907/31166

Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). À vous de jouer !

Bruyère, V., Baptiste Fiévet, Jean-François Raskin, & Tamines, C. (2022). Stackelberg-Pareto Synthesis (Extended Version). Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/42995. doi:10.48550/arXiv.2203.01285

Tamines, C. (15 September 2021). Stackelberg-Pareto Synthesis. Paper presented at Highlights of Logic, Games and Automata, Online, Unknown/unspecified.

Tamines, C. (26 August 2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, Online, Unknown/unspecified.

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, .

Tamines, C. (24 March 2021). Stackelberg-Pareto Synthesis. Paper presented at MFV seminar - ULB, .

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. In LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.CONCUR.2021.27
Peer reviewed

Tamines, C. (05 March 2020). La vérification à l'aide des jeux. Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium.

Tamines, C. (18 September 2019). Partial Solvers for Generalized Parity Games. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.

Tamines, C. (11 September 2019). Partial Solvers for Generalized Parity Games. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.

Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). Partial Solvers for Generalized Parity Games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/36802.

Tamines, C. (22 June 2019). Partial Solvers for Generalized Parity Games. Paper presented at 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada.

Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). A vous de jouer !

Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). Partial Solvers for Generalized Parity Games. Paper presented at Reachability Problems, Brussels, Belgium.

Contact ORBi