We stand with Ukraine  

Clément Tamines

Orcid: 0000-0003-1104-911X

According to our database1, Clément Tamines authored at least 6 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
[BibTeX]
[DOI]
Swen Jacobs
,
Guillermo A. Pérez
,
Remco Abraham
,
Véronique Bruyère
,
Michaël Cadilhac
,
Maximilien Colange
,
Charly Delfosse
,
Tom van Dijk
,
Alexandre Duret-Lutz
,
Peter Faymonville
,
Bernd Finkbeiner
,
Ayrat Khalimov
,
Felix Klein
,
Michael Luttenberger
,
Klara J. Meyer
,
Thibaud Michaud
,
Adrien Pommellet
,
Florian Renkin
,
Philipp Schlehuber-Caissier
,
Mouhammad Sakr
,
Salomon Sickert
,
Gaëtan Staquet
,
Clément Tamines
,
Leander Tentrup
,
Adam Walker
CoRR, 2022

Stackelberg-Pareto Synthesis (Extended Version).
[BibTeX]
[DOI]
Véronique Bruyère
,
Baptiste Fievet
,
Jean-François Raskin
,
Clément Tamines
CoRR, 2022

Pareto-Rational Verification.
[BibTeX]
[DOI]
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Stackelberg-Pareto Synthesis (Full Version).
[BibTeX]
[DOI]
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
CoRR, 2021

Stackelberg-Pareto Synthesis.
[BibTeX]
[DOI]
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2019
Partial Solvers for Generalized Parity Games.
[BibTeX]
[DOI]
Véronique Bruyère
,
Guillermo A. Pérez
,
Jean-François Raskin
,
Clément Tamines
Proceedings of the Reachability Problems - 13th International Conference, 2019


  Loading...