Publications

Advanced Search

Results 1–25 of 95

Scope

Center for Computing Research

All Sandia Publications

Publication Type

Author

Funding Source

Current Filters Clear all

Remove author filter×

Publication	Type	Year
Tin as a nuclear spin qubit in silicon Silicon Quantum Electronics Workshop Wayne Witzel, Jesse James Lutz, DeAnna Marie Campbell, Troy Alexander Hutchins-Delgado, Tzu-Ming Lu, David Abraham Lidsky, Chris Smyth, Chris Allemang, Paul G. Kotula, and Dwight R. Luhman	Abstract – 2022 Abstract	2022
Tin as a nuclear spin qubit in silicon Silicon Quantum Electronics Workshop Wayne Witzel, Jesse James Lutz, DeAnna Marie Campbell, Troy Alexander Hutchins-Delgado, Tzu-Ming Lu, David Abraham Lidsky, Chris Smyth, Chris Allemang, Paul G. Kotula, and Dwight R. Luhman	Abstract – 2022 Abstract	2022
Quantum-dot-coupled Sn qubits in silicon: DFT analysis of coherent electronic shuttling Quantum Computing Project Review Wayne Witzel, Dwight Ryan Luhman, Jesse James Lutz	Conference Poster – 2022 Conference Poster	2022
Verifying Quantum Phase Estimation using Prove-It American Physical Society March Meeting 2022 Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur	Conference Presentation – 2022 Conference Presentation	2022
Dynamics of a nuclear spin bath within a quantum dot: short- and long-time behavior American Physical Society March Meeting Jesse James Lutz, Matthew Grace, Wayne Witzel	Abstract – 2021 Abstract	2021
Verifying Quantum Phase Estimation using Prove-It APS March Meeting Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur	Abstract – 2021 Abstract	2021
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga https://www.osti.gov/search/identifier:1843318	Conference Paper – 2021 Conference Paper	2021
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga	Abstract – 2021 Abstract	2021
Long-Time Noise Properties of an Isotopically- Enriched Silicon Nuclear-Spin Bath American Physical Society March Meeting Matthew Grace, Kevin Young, Jesse James Lutz, Wayne Witzel https://www.osti.gov/search/identifier:1767101	Conference Paper – 2020 Conference Paper	2020
Modeling the electronic structure and dynamics of semiconductor quantum devices Silicon Quantum Electronics Workshop 2019 Andrew David Baczewski, Mitchell Ian Brickson, Quinn Campbell, Noah Tobias Jacobson, Leon Maurer, Wayne Witzel, Shashank Misra, Dwight Ryan Luhman https://www.osti.gov/search/identifier:1642785	Conference Paper – 2019 Conference Paper	2019
Long-time noise characteristics of an isotopically-enriched silicon nuclear spin bath American Physical Society March Meeting Matthew Grace, Wayne Witzel	Abstract – 2019 Abstract	2019
Quantum Algorithm Verification Using Prove-It Cis Eab Wayne Witzel, Kenneth Michael Rudinger, Robert Carr, Joaquin Emilio Madrid Larranaga, Jamie Joann Wingo, Warren Craft, Deepak Kapur, Mohan Sarovar https://www.osti.gov/search/identifier:1807159	Display or Poster (non-conference) – 2019 Display or Poster (non-conference)	2019
Modeling the electronic structure and dynamics of semiconductor quantum devices Silicon Quantum Electronics Workshop 2019 Andrew David Baczewski, Mitchell Ian Brickson, Quinn Campbell, Noah Tobias Jacobson, Leon Maurer, Wayne Witzel, Shashank Misra, Dwight Ryan Luhman	Abstract – 2019 Abstract	2019
Quantum Circuit and Algorithm Validation with Prove-It American Physical Society March Meeting Wayne Witzel https://www.osti.gov/search/identifier:1639279	Conference Paper – 2019 Conference Paper	2019
Optimization, Verification, and Engineered Reliability of Quantum Computers (OVER-QC) DOE QIS PI meeting Mohan Sarovar, Wayne Witzel, Andrew David Baczewski https://www.osti.gov/search/identifier:1592589	Conference Paper – 2019 Conference Paper	2019
Prove-It: A Powerful Theorem Prover UNM Computer Science Seminar Wayne Witzel https://www.osti.gov/search/identifier:1761359	Presentation (non-conference) – 2018 Presentation (non-conference)	2018
Towards a disorder model for the Si/SiO2 interface Silicon Quantum Electronics Workshop 2018 Andrew David Baczewski, Wayne Witzel, Noah Tobias Jacobson, Ryan Michael Jock, Peter Anand Sharma, Rohith (SNL) Vudatha, Daniel Robert Ward, Malcolm S. Carroll https://www.osti.gov/search/identifier:1574562	Conference Paper – 2018 Conference Paper	2018
Spin-Orbit Qubits in the Sandia Silicon MOS Multi-QD Platform Silicon Quantum Electronics Workshop 2018 Ryan Michael Jock, Martin Rudolph, Noah Tobias Jacobson, Daniel Robert Ward, Patrick (Universit de Sherbrooke) Harvey-Collard, Chloe (Universit de Sherbrooke) Bureau-Oxton, Vanita Srinivasa, Andrew Mounce, John Moses Anderson, Ronald P. Manginell, Joel R. Wendt, Tammy Pluym, Andrew David Baczewski, Matthew Grace, Wayne Witzel, Malcolm S. Carroll https://www.osti.gov/search/identifier:1593003	Conference Paper – 2018 Conference Paper	2018
Spin-Orbit Qubits in a MOS Multi-QD Platform 2018 American Physical Society March Meeting Ryan Michael Jock, Martin Rudolph, Noah Tobias Jacobson, Daniel Robert Ward, Patrick (Universit de Sherbrooke) Harvey-Collard, Chloe (Universit de Sherbrooke) Bureau-Oxton, Vanita Srinivasa, Andrew Mounce, John Moses Anderson, Ronald P. Manginell, Joel R. Wendt, Tammy Pluym, Andrew David Baczewski, Matthew Grace, Wayne Witzel, Malcolm S. Carroll	Abstract – 2018 Abstract	2018
Quantum Circuit and Algorithm Validation With Prove-It American Physical Society March Meeting Wayne Witzel, Kenneth Michael Rudinger, Mohan Sarovar, Robert (UNM) Carr	Abstract – 2018 Abstract	2018
Modeling of Low-Frequency Nuclear Magnetic Noise in Silicon Qubits Silicon Quantum Electronics Workshop Wayne Witzel, Matthew Grace, Malcolm S. Carroll, Thaddeus (HRL) Ladd	Abstract – 2018 Abstract	2018
Controlled-phase gate for nuclear spins in a hybrid silicon dot-donor system 2019 American Physical Society March Meeting Vanita Srinivasa, Vanita Srinivasa, Noah Tobias Jacobson, Andrew David Baczewski, John King Gamble, Ryan Michael Jock, Patrick Harvey-Collard, Martin Rudolph, Wayne Witzel, Malcolm S. Carroll	Abstract – 2018 Abstract	2018
Prove-It: A Powerful Theorem-Proving System Intended for UNM C.S. Talk and Sandia CCR Talk Wayne Witzel	Abstract – 2018 Abstract	2018
For better or for worse: spin-orbit coupling and its physical manifestations in Si quantum dot qubits Silicon Quantum Electronics Workshop Noah Tobias Jacobson, Patrick Harvey-Collard, Ryan Michael Jock, Martin Rudolph, Andrew Mounce, Chloe Bureau-Oxton, Andrew David Baczewski, Vanita Srinivasa, Wayne Witzel, Malcolm S. Carroll	Abstract – 2018 Abstract	2018
Multielectron silicon spin qubits in multivalley quantum dot-donor systems Silicon Quantum Electronics Workshop 2018 Vanita Srinivasa, Wayne Witzel, Noah Tobias Jacobson, Andrew David Baczewski, Malcolm S. Carroll	Abstract – 2018 Abstract	2018
Document Title	Type	Year

Results 1–25 of 95

Publications

Tin as a nuclear spin qubit in silicon

Tin as a nuclear spin qubit in silicon

Quantum-dot-coupled Sn qubits in silicon: DFT analysis of coherent electronic shuttling

Verifying Quantum Phase Estimation using Prove-It

Dynamics of a nuclear spin bath within a quantum dot: short- and long-time behavior

Verifying Quantum Phase Estimation using Prove-It

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Long-Time Noise Properties of an Isotopically- Enriched Silicon Nuclear-Spin Bath

Modeling the electronic structure and dynamics of semiconductor quantum devices

Long-time noise characteristics of an isotopically-enriched silicon nuclear spin bath

Quantum Algorithm Verification Using Prove-It

Modeling the electronic structure and dynamics of semiconductor quantum devices

Quantum Circuit and Algorithm Validation with Prove-It

Optimization, Verification, and Engineered Reliability of Quantum Computers (OVER-QC)

Prove-It: A Powerful Theorem Prover

Towards a disorder model for the Si/SiO2 interface

Spin-Orbit Qubits in the Sandia Silicon MOS Multi-QD Platform

Spin-Orbit Qubits in a MOS Multi-QD Platform

Quantum Circuit and Algorithm Validation With Prove-It

Modeling of Low-Frequency Nuclear Magnetic Noise in Silicon Qubits

Controlled-phase gate for nuclear spins in a hybrid silicon dot-donor system

Prove-It: A Powerful Theorem-Proving System

For better or for worse: spin-orbit coupling and its physical manifestations in Si quantum dot qubits

Multielectron silicon spin qubits in multivalley quantum dot-donor systems