Derek Sorensen

Orcid: 0000-0003-4937-6984

According to our database¹, Derek Sorensen authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

(In)Correct Smart Contract Specifications.

[BibT_eX]

[DOI]

Derek Sorensen

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Global, robust and comparable digital carbon assets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq.

[BibT_eX]

[DOI]

Derek Sorensen

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Structured Pools for Tokenized Carbon Credits.

[BibT_eX]

[DOI]

Derek Sorensen

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2019

Establishing Standards for Consensus on Blockchains.

[BibT_eX]

[DOI]

Derek Sorensen

Proceedings of the Blockchain - ICBC 2019, 2019

2018

Casanova.

[BibT_eX]

[DOI]

Kyle Butt

Derek Sorensen

Michael Stay

CoRR, 2018

Derek Sorensen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...