Andre Knispel

According to our database, Andre Knispel authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

IntersectMBO/formal-ledger-specifications.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Dataset, November, 2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

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

2019

idris-ct: A Library to do Category Theory in Idris.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Mapping finite state machines to zk-SNARKS Using Category Theory.

Fabrizio Genovese, Andre Knispel, Joshua Brian Fitzgerald

CoRR, 2019