David J. Pearce
- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
2023/03/01 by Franck Cassez, Joanne Fuller, Cassez, Franck +7 · 3 citations
Computer Science · Social Sciences · #Access Control and Trust #Advanced Data Storage Technologies #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Computing Tutte Polynomials
2010/09/01 by Gary Haggard, David J. Pearce, Gordon Royle · 1 citation
Mathematics · #Advanced Combinatorial Mathematics #Stochastic processes and statistical mechanics #Markov Chains and Monte Carlo Methods #Tutte polynomial #Chromatic polynomial #Potts model #Combinatorics #Mathematics #Discrete mathematics #Graph coloring #Bracket polynomial #Polynomial #Matrix polynomial #Graph #Voltage graph #Alternating polynomial #Line graph