Andre Knispel
Orcid: 0000-0003-0068-3799
According to our database1,
Andre Knispel
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 5th International Workshop on Formal Methods for Blockchains, 2024
2019
Proceedings of the Proceedings Applied Category Theory 2019, 2019