Thibaut Balabonski
发表
Delia Kesner,
Eduardo Bonelli,
Pablo Barenbaum,
2017,
Proc. ACM Program. Lang..
Thibaut Balabonski,
Thibaut Balabonski,
2010,
PPDP.
Sébastien Tixeuil,
Thibaut Balabonski,
Xavier Urbain,
2017,
Theory of Computing Systems.
Thibaut Balabonski,
Emmanuel Haucourt,
2010,
CONCUR.
Sébastien Tixeuil,
Pierre Courtieu,
Thibaut Balabonski,
2019,
NETYS.
Thibaut Balabonski,
Thibaut Balabonski,
2013,
ICFP.
Didier Rémy,
Jonathan Protzenko,
Thibaut Balabonski,
2015
.
Pierre Courtieu,
Thibaut Balabonski,
Lionel Rieg,
2017
.
Thibaut Balabonski,
2012,
RTA.
Thibaut Balabonski,
Thibaut Balabonski,
2012,
POPL '12.
Sébastien Tixeuil,
Pierre Courtieu,
Thibaut Balabonski,
2018,
SSS.
Burkhart Wolff,
Benoît Valiron,
Frédéric Boulanger,
2017,
FORMATS.
Sébastien Tixeuil,
Thibaut Balabonski,
Xavier Urbain,
2016,
SSS.
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2016,
ACM Trans. Program. Lang. Syst..
Sébastien Tixeuil,
Pierre Courtieu,
Thibaut Balabonski,
2017,
FMICS-AVoCS.
Viktor Vafeiadis,
Francesco Zappa Nardelli,
Soham Sundar Chakraborty,
2015,
POPL.
Burkhart Wolff,
Benoît Valiron,
Frédéric Boulanger,
2020,
FORMATS.
Burkhart Wolff,
Lina Ye,
Benoît Valiron,
2015,
GEMOC+MPM@MoDELS.
Sébastien Tixeuil,
Thibaut Balabonski,
Lionel Rieg,
2018,
ICDCN.
Pierre Courtieu,
Thibaut Balabonski,
Lionel Rieg,
2021,
ArXiv.
Jonathan Protzenko,
Thibaut Balabonski,
François Pottier,
2014,
FLOPS.
Thibaut Balabonski,
Thibaut Balabonski,
2011,
HOR.
Guillaume Melquiond,
Thibaut Balabonski,
Antoine Lanco,
2021,
FSCD.
Thibaut Balabonski,
Thibaut Balabonski,
2010
.