Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep.-2024, 35th International Conference on
Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A.
(uitgave). Schloss Dagstuhl--Leibniz-Zentrum für
Informatik, 19 blz. 30.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
311).
van der Weide, N. & Frumin, D.,
22-mei-2024, Lecture Notes in
Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics). Capretta,
V., Krebbers, R. & Wiedijk, F. (uitgave). Springer
Science and Business Media Deutschland GmbH, blz. 241-25616
blz. (Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in
Bioinformatics); vol. 14560 LNCS).
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., okt.-2022, In:
Proceedings of the ACM on Programming
Languages.6, OOPSLA2, blz.
841-86929 blz., 155.
Ahrens, B., Frumin, D., Maggesi, M.,
Veltri, N. & Van Der Weide, N., 9-mrt.-2022, In:
Mathematical structures in computer science.31, SI:
10, blz. 1232–126938 blz.
Vindum, S. F., Frumin, D. &
Birkedal, L., 17-jan.-2022, CPP 2022
- Proceedings of the 11th ACM SIGPLAN International Conference on
Certified Programs and Proofs, co-located with POPL 2022.
Popescu, A. & Zdancewic, S. (uitgave). Association for
Computing Machinery, Inc, blz.
100-11516 blz. (CPP 2022
- Proceedings of the 11th ACM SIGPLAN International Conference on
Certified Programs and Proofs, co-located with POPL 2022).
Frumin, D., 17-jan.-2022, CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022. Popescu, A. &
Zdancewic, S. (uitgave). Association for Computing Machinery,
Inc, blz. 291-30616 blz. (CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022).
Frumin, D., Krebbers, R. &
Birkedal, L., mei-2021, Proceedings -
2021 IEEE Symposium on Security and Privacy, SP 2021.Institute of Electrical and Electronics Engineers
Inc., blz. 1416-143318 blz. (Proceedings - IEEE Symposium
on Security and Privacy; vol. 2021-May).
