I. Garnier
发表
V. Danos,
Alexandra Silva,
Fredrik Dahlqvist,
2018
.
V. Danos,
Fredrik Dahlqvist,
I. Garnier,
2017
.
V. Danos,
Fredrik Dahlqvist,
I. Garnier,
2017
.
V. Danos,
Xin Zhang,
Fredrik Dahlqvist,
2016
.
V. Danos,
Ohad Kammar,
Fredrik Dahlqvist,
2016,
CONCUR 2016.
V. Danos,
Ohad Kammar,
Fredrik Dahlqvist,
2016,
CONCUR 2016.
J. Simonsen,
V. Danos,
T. Heindel,
2017
.
Vincent Danos,
Tobias Heindel,
Ilias Garnier,
2016,
1612.06240.
V. Danos,
Fredrik Dahlqvist,
I. Garnier,
2016
.
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2016,
MFPS.
Vincent Danos,
Ilias Garnier,
V. Danos,
2014,
Horizons of the Mind.
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2016
.
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2016
.
Vincent David,
Ilias Garnier,
Guy Vidal-Naquet,
2011,
ICE.
Vincent Danos,
Ilias Garnier,
Nicolas Behr,
2019,
Log. Methods Comput. Sci..
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
Vincent Danos,
Ilias Garnier,
Nicolas Behr,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2017,
FoSSaCS.
Frédéric Gava,
Ilias Garnier,
I. Garnier,
2009,
2009 IEEE International Symposium on Parallel & Distributed Processing.
Vincent Danos,
Fredrik Dahlqvist,
Ilias Garnier,
2018,
MFPS.
Vincent Danos,
Ohad Kammar,
Fredrik Dahlqvist,
2016,
CONCUR.