Scholar
Noam Zilberstein
Google Scholar ID: Bp6t6OIAAAAJ
Cornell University
Programming Languages
Logic
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
139
H-index
6
i10-index
5
Publications
13
Co-authors
9
list available
Publications
5 items
Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
2026
Cited
0
Denotational Semantics for Probabilistic and Concurrent Programs
2025
Cited
0
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
arXiv.org · 2024
Cited
3
Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching
arXiv.org · 2024
Cited
2
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
ACM Transactions on Programming Languages and Systems · 2024
Cited
2
Co-authors
6 total
Alexandra Silva
Cornell University
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Peter O'Hearn
University College London
Dexter Kozen
Professor of Computer Science, Cornell University
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
Daniele Gorla
Unknown affiliation
