Denis Firsov
According to our database^{1},
Denis Firsov
authored at least 13 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
IACR Cryptol. ePrint Arch., 2020
2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the Advances in Information and Computer Security, 2019
2018
Proc. ACM Program. Lang., 2018
CoRR, 2018
Proceedings of the Interactive Theorem Proving  9th International Conference, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2016
Proceedings of the Proceedings 6th Workshop on Mathematically Structured Functional Programming, 2016
Proceedings of the Programming Languages  20th Brazilian Symposium, 2016
2015
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
2014
J. Log. Algebraic Methods Program., 2014
2013
Proceedings of the Certified Programs and Proofs  Third International Conference, 2013