Characterizing Musical Signals with Wigner-Ville Interfaces. - William J. DeMeo (ICMC, 2002)

Polynomial-time tests for difference terms in idempotent varieties. - William J. DeMeo; Ralph Freese; Matthew Valeriote (Int. J. Algebra Comput., 2019)

The Complexity of the Homomorphism Problem for Boolean structures. - Libor Barto; William J. DeMeo; Antoine Mottet (CoRR, 2020)

Bounded homomorphisms and finitely generated fiber products of lattices. - William J. DeMeo; Peter Mayr 001; Nik Ruskuc (Int. J. Algebra Comput., 2020)

Constraint Satisfaction Problems over Finite Structures. - Libor Barto; William J. DeMeo; Antoine Mottet (LICS, 2021)

A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. - William J. DeMeo; Jacques Carette (TYPES, 2021)

The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory. - William J. DeMeo (CoRR, 2021)

The Agda Universal Algebra Library, Part 1: Foundation. - William J. DeMeo (CoRR, 2021)

The Agda Universal Algebra Library, Part 2: Structure. - William J. DeMeo (CoRR, 2021)

Universal Algebraic Methods for Constraint Satisfaction Problems. - Clifford Bergman; William J. DeMeo (Log. Methods Comput. Sci., 2022)

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (FMBC@CAV, 2024)

IntersectMBO/formal-ledger-specifications. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (DROPS Artifacts, 2024)