Andre Knispel

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Finite State Machines

Top Venues

Publications

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Fabrizio Genovese, Andre Knispel, Joshua Fitzgerald
Mapping finite state machines to zk-SNARKS Using Category Theory. CoRR (2019)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla
idris-ct: A Library to do Category Theory in Idris. ACT (2019)