Concepedia

Iason Marmanis

IM

Statistics

Publications

1

Citations

38

H-Index

1

Active since

2022

Affiliations

St Petersburg University(Current)

Iason Marmanis is an author at St Petersburg University specializing in computational complexity, formal verification, and parallel programming.

ORCID

Top concepts

Publications per year

2022–2022

1

Publications

1

Truly stateless, optimal dynamic partial order reduction

Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein et al. · Proceedings of the ACM on Programming Languages · 2022 · 38 citations · Full text

, , +17

Rows per page

1–1 of 1