Get started
Author

Sergei Stepanenko

Observed names: Stepanenko, Sergei, Stepanenko, Sergei; id_orcid 0000-0002-7322-5644
ORCID: 0000-0002-7322-5644
Observed ORCID: 0000-0002-7322-5644
OpenAlex ID: A5088739618
The Essence of Generalized Algebraic Data Types
2024 · Filip Sieczkowski, Sergei Stepanenko, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
2023 · Zongyuan Liu, Sergei Stepanenko, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
Using high-performance deep learning platform to accelerate object detection
2019 · Sergei Stepanenko, Pavel Yakimov · 7
PDF
Development of a cloud platform for gathering, storing and analysis of video data
2020 · Sergei Stepanenko, Pavel Yakimov · International Conference on Information Technology and Nanotechnology (ITNT) · 1
Iris in Lean
2026 · de Medeiros, Markus, Stepanenko, Sergei, et al. · arXiv (Cornell University)
Garlene: Guarded Recursion in Lean
2026 · Stepanenko, Sergei, Bahr, Patrick, et al. · IT University Of Copenhagen (IT University of Copenhagen)
PDF
Iris in Lean
2026 · de Medeiros, Markus, Stepanenko, Sergei, et al. · arXiv (Cornell University)
PDF
Garlene: Guarded Recursion in Lean
2026 · Stepanenko, Sergei, Bahr, Patrick, et al. · arXiv (Cornell University)
PDF
Formal Reasoning for Modern Programming Languages’
2025 · Stepanenko, Sergei; id_orcid 0000-0002-7322-5644
Context-Dependent Effects in Guarded Interaction Trees
2025 · Sergei Stepanenko, Emma Nardino, et al. · Lecture notes in computer science
PDF
Works count: 14
Citation count: 24
H-index: 3
I10-index:
Year
Topic
Type