Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter W. O'Hearn

The Essence of Reynolds

ACM SIGPLAN Notices
Computer Science
2014English

RacerD: Compositional Static Race Detection

Proceedings of the ACM on Programming Languages
2018English

BI as an Assertion Language for Mutable Data Structures

2001English

Related publications

On-Demand Generation and Characterization of a Microwave Time-Bin Qubit

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2020English

Hierarchical Quantum Classifiers

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Learning Hard Quantum Distributions With Variational Autoencoders

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Observation of Topological Uhlmann Phases With Superconducting Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Engineering the Quantum-Classical Interface of Solid-State Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2015English

Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Coherent Control of Solid State Nuclear Spin Nano-Ensembles

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

A Universal, Plug-And-Play Synchronisation Scheme for Practical Quantum Networks

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2020English

Observable Quantum Entanglement Due to Gravity

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy