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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
9 total
Alexandra Silva
Cornell University
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Co-author 3
Co-author 4
Peter O'Hearn
University College London
Dexter Kozen
Professor of Computer Science, Cornell University
Co-author 7
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
