Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Van Chan Ngo
Bounded Expectations: Resource Analysis for Probabilistic Programs
Formal Indistinguishability Extended to the Random Oracle Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fine-Grained Semantics for Probabilistic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Quantum Advantage for Probabilistic One-Time Programs
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Student Expectations of TESOL Programs
Australian Review of Applied Linguistics
Linguistics
Language
Towards Verified Stochastic Variational Inference for Probabilistic Programs
Proceedings of the ACM on Programming Languages
Professors’ Research Expectations for Admission to Psychology Graduate Programs
Psi Chi Journal of Psychological Research
Nonlinear Programs With Positively Bounded Jacobians
On Learning Bounded-Width Branching Programs
