Christopher Goes
According to our database1,
Christopher Goes
authored at least 4 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2024
2020
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
2019
Proceedings of the International Conference on Blockchain Economics, 2019