Scott Wesley

Orcid: 0000-0002-6708-2122

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

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

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...