Maximilian Algehed
发表
Owen Arden,
Priyanka Mondal,
Maximilian Algehed,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Journal of Functional Programming.
A. Sabelfeld,
Alexander Sjösten,
Maximilian Algehed,
2022,
SAS.
Maximilian Algehed,
Maximilian Algehed,
2018,
PLAS@CCS.
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2021,
ArXiv.
Maximilian Algehed,
Maximilian Algehed,
2019
.
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Alejandro Russo,
Cormac Flanagan,
Maximilian Algehed,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Alejandro Russo,
Thomas Schmitz,
Cormac Flanagan,
2018,
CCS.
Alejandro Russo,
Maximilian Algehed,
Alejandro Russo,
2017,
PLAS@CCS.
Jean-Philippe Bernardy,
Maximilian Algehed,
Jean-Philippe Bernardy,
2019,
Proc. ACM Program. Lang..
Maximilian Algehed,
Maximilian Algehed,
2017
.