Emin Karayel
From MaRDI portal
Person:2121063
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verification of the CVM algorithm with a functional probabilistic invariant | 2026-09-01 | Paper |
| Derandomization with pseudorandomness Annals of Formalized Mathematics. AFM | 2026-01-28 | Paper |
| Derandomization with PseudorandomnessArticle Annals of Formalized Mathematics. AFM | 2025-07-15 | Paper |
| An embarrassingly parallel optimal-space cardinality estimation algorithm | 2025-01-14 | Paper |
| Formalization of randomized approximation algorithms for frequency moments | 2024-07-15 | Paper |
| Strong eventual consistency of the collaborative editing framework WOOT Distributed Computing | 2022-04-01 | Paper |
Research outcomes over time
This page was built for person: Emin Karayel
