R. Vilmart
发表
S. Perdrix,
R. Vilmart,
2019
.
S. Perdrix,
E. Jeandel,
R. Vilmart,
2019
.
Marc de Visme,
B. Valiron,
R. Vilmart,
2022,
2206.10234.
Marc de Visme,
B. Valiron,
R. Vilmart,
2022,
ArXiv.
Benoît Valiron,
Renaud Vilmart,
Kostia Chardonnet,
2022,
MFCS.
B. Valiron,
Sébastien Bardin,
R. Vilmart,
2021,
2109.06493.
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2017,
LICS.
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2019,
Log. Methods Comput. Sci..
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2018,
LICS.
R. Vilmart,
T. Carette,
Timoth'ee Hoffreumon,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2019,
ICALP.
Renaud Vilmart,
R. Vilmart,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
J. V. D. Wetering,
A. Kissinger,
R. Vilmart,
2022,
Theory of Quantum Computation, Communication, and Cryptography.
Simon Perdrix,
Quanlong Wang,
Emmanuel Jeandel,
2017,
MFCS.
Renaud Vilmart,
R. Vilmart,
2018,
QPL.
Thomas Perez,
R. Vilmart,
T. Carette,
2023,
ICALP.
Renaud Vilmart,
R. Vilmart,
2021,
MFCS.
Renaud Vilmart,
R. Vilmart,
2020,
FoSSaCS.
S. Perdrix,
R. Vilmart,
A. Cl'ement,
2023,
ArXiv.
Renaud Vilmart,
R. Vilmart,
2019
.
R. Vilmart,
2022,
Annual Conference for Computer Science Logic.
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
R. Vilmart,
2023,
ArXiv.
S. Perdrix,
E. Jeandel,
R. Vilmart,
2017,
LICS.
Zhaowei Xu,
Christophe Chareton,
Renaud Vilmart,
2021,
ArXiv.
S. Perdrix,
R. Vilmart,
A. Cl'ement,
2023,
2303.03117.
Simon Perdrix,
Emmanuel Jeandel,
Renaud Vilmart,
2017,
QPL.