Scott Wesley

Orcid: 0000-0002-6708-2122

According to our database¹, Scott Wesley authored at least 9 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits.

[BibT_eX]

[DOI]

Matthew Amy

Neil J. Ross

Scott Wesley

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Inductive Predicate Synthesis Modulo Programs (Extended).

[BibT_eX]

[DOI]

CoRR, 2024

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended).

[BibT_eX]

[DOI]

Scott Wesley

CoRR, 2024

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.

[BibT_eX]

[DOI]

Scott Wesley

Proceedings of the Reversible Computation - 16th International Conference, 2024

Inductive Predicate Synthesis Modulo Programs.

[BibT_eX]

[DOI]

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).

[BibT_eX]

[DOI]

CoRR, 2021

Compositional Verification of Smart Contracts Through Communication Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

2017

Empathy, Design and Human Factors.

[BibT_eX]

[DOI]

Proceedings of the Advances in Usability and User Experience, 2017

Scott Wesley

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...