VLDB 2026 Research / reviewers in the wild / expert
Eshita Zaman
dblp:321/5933
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0008-5680-5509ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | CTL Model Checking Partially Specified Systems
Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu 0001 |
iFM | 1 |
| 2022 | HyperPCTL Model Checking by Probabilistic Decomposition
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour |
IFM | 1 |