Simon Boulier
发表
Thorsten Altenkirch,
Simon Boulier,
Ambrus Kaposi,
2019,
MPC.
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2020,
Journal of Automated Reasoning.
Simon Boulier,
Nicolas Tabareau,
Matthieu Sozeau,
2018
.
Simon Boulier,
Nicolas Tabareau,
Abhishek Anand,
2018,
ITP.
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2019,
Proc. ACM Program. Lang..
Simon Boulier,
Nicolas Tabareau,
Pierre-Marie Pédrot,
2017,
CPP.
Thorsten Altenkirch,
Simon Boulier,
Ambrus Kaposi,
2021,
FoSSaCS.
Simon Boulier,
Nicolas Tabareau,
2017
.
Simon Boulier,
Habib Ammari,
Pierre Millien,
2015,
1501.04803.