A. Timany
发表
Lars Birkedal,
Amin Timany,
Léo Stefanesco,
2017,
Proc. ACM Program. Lang..
L. Birkedal,
A. Timany,
Léon Gondelman,
2022,
Proc. ACM Program. Lang..
Lars Birkedal,
Amin Timany,
L. Birkedal,
2021
.
Lars Birkedal,
Robbert Krebbers,
Paolo G. Giarrusso,
2020,
Proc. ACM Program. Lang..
Lars Birkedal,
L'eo Stefanesco,
Amin Timany,
2021,
ArXiv.
Joseph Tassarotti,
Arthur Charguéraud,
Derek Dreyer,
2018,
Proc. ACM Program. Lang..
Lars Birkedal,
Robbert Krebbers,
Amin Timany,
2017,
POPL.
Thomas Van Strydonck,
Aïna Linn Georges,
F. Piessens,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Dominique Devriese,
Lars Birkedal,
Armaël Guéneau,
2021,
Proc. ACM Program. Lang..
A. Timany,
D. Devriese,
A. Guéneau,
2021
.
Lars Birkedal,
Amin Timany,
L. Birkedal,
2021,
CPP.
Bart Jacobs,
Amin Timany,
B. Jacobs,
2016
.