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
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
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