William J. DeMeo

13 papers A* 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.
FMBC@CAV
Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
2022 J jnl
Universal Algebraic Methods for Constraint Satisfaction Problems.
Log. Methods Comput. Sci.
Clifford Bergman, William J. DeMeo
2021 — conf
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.
TYPES
William J. DeMeo, Jacques Carette
2021 A* conf
Constraint Satisfaction Problems over Finite Structures.
LICS
Libor Barto, William J. DeMeo, Antoine Mottet
2021 J jnl
The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory.
CoRR
William J. DeMeo
2021 J jnl
The Agda Universal Algebra Library, Part 1: Foundation.
CoRR
William J. DeMeo
2021 J jnl
The Agda Universal Algebra Library, Part 2: Structure.
CoRR
William J. DeMeo
2020 J jnl
Bounded homomorphisms and finitely generated fiber products of lattices.
Int. J. Algebra Comput.
William J. DeMeo, Peter Mayr, Nik Ruskuc
2020 J jnl
Polynomial-time Tests for Difference Terms in Idempotent Varieties.
CoRR
William J. DeMeo, Ralph Freese, Matthew Valeriote
2020 J jnl
The Complexity of the Homomorphism Problem for Boolean structures.
CoRR
Libor Barto, William J. DeMeo, Antoine Mottet
2019 J jnl
Polynomial-time tests for difference terms in idempotent varieties.
Int. J. Algebra Comput.
William J. DeMeo, Ralph Freese, Matthew Valeriote
2016 J jnl
Universal Algebraic Methods for Constraint Satisfaction Problems.
CoRR
Clifford Bergman, William J. DeMeo
2002 — conf
Characterizing Musical Signals with Wigner-Ville Interfaces.
ICMC
William J. DeMeo