Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tiago B. Batalhão

Quantum Advantage for Probabilistic One-Time Programs

Nature Communications

Molecular Biology

English

Related publications

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Bounded Expectations: Resource Analysis for Probabilistic Programs

English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages

English

Time-Reversal of Rank-One Quantum Strategy Functions

English

The Hamiltonians Generating One-Dimensional Discrete-Time Quantum Walks

Interdisciplinary Information Sciences

English

Full Quantum One-Way Function for Quantum Cryptography

Quantum Engineering

English

A Probabilistic Operator Symbol Framework for Quantum Information

Journal of Russian Laser Research

Molecular Physics,

English

Symbolic Conditioning of Arrays in Probabilistic Programs

Proceedings of the ACM on Programming Languages

English

Optimal Order Size to Take Advantage of a One-Time Discount Offer With Allowed Backorders

Applied Mathematical Modelling

Applied Mathematics

English