| Congruence lattices of finite algebras WJ DeMeo arXiv preprint arXiv:1204.4305, 2012 | 9 | 2012 |
| The Agda Universal Algebra Library, Part 3: Identity W DeMeo CoRR, 2021 | 4* | 2021 |
| Polynomial-time tests for difference terms in idempotent varieties W DeMeo, R Freese, M Valeriote International Journal of Algebra and Computation 29 (06), 927-949, 2019 | 4 | 2019 |
| The Commutator as Least Fixed Point of a Closure Operator W DeMeo arXiv preprint arXiv:1703.02764, 2017 | 4 | 2017 |
| Expansions of finite algebras and their congruence lattices W DeMeo Algebra universalis 69 (3), 257-278, 2013 | 4 | 2013 |
| Bounded homomorphisms and finitely generated fiber products of lattices W DeMeo, P Mayr, N Ruškuc International Journal of Algebra and Computation 30 (04), 693-710, 2020 | 3 | 2020 |
| Formal specification of the Cardano blockchain ledger, mechanized in Agda A Knispel, O Melkonian, J Chapman, A Hill, J Jääger, W DeMeo, U Norell 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), 2024 | 2 | 2024 |
| Constraint satisfaction problems over finite structures L Barto, W DeMeo, A Mottet 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 2 | 2021 |
| The Agda Universal Algebra Library, Part 1: Foundation W DeMeo arXiv preprint arXiv:2103.05581, 2021 | 2 | 2021 |
| Interval enforceable properties of finite groups W DeMeo arXiv preprint arXiv:1205.1927, 2012 | 2 | 2012 |
| The Agda Universal Algebra Library, Part 2: Structure W DeMeo arXiv preprint arXiv:2103.09092, 2021 | 1 | 2021 |
| Characterizing musical signals with Wigner-Ville interferences WJ DeMeo Proceedings ICMC 2, 2.1, 2002 | 1 | 2002 |
| Universal Algebraic Methods for Constraint Satisfaction Problems C Bergman, W DeMeo Logical Methods in Computer Science 18, 2022 | | 2022 |
| A Machine-checked proof of Birkhoff's Variety Theorem in Martin-L\" of Type Theory W DeMeo, J Carette arXiv preprint arXiv:2101.10166, 2021 | | 2021 |
| The Complexity of the Homomorphism Problem for Boolean structures. L Barto, W DeMeo, A Mottet arXiv preprint arXiv:2010.04958, 2020 | | 2020 |
| Algebra Notes R Freese, W DeMeo | | 2015 |
| Isotopic algebras with non-isomorphic congruence lattices W DeMeo arXiv preprint arXiv:1301.7481, 2013 | | 2013 |
| Dedekind's Transposition Principle for lattices of equivalence relations W DeMeo arXiv preprint arXiv:1301.6788, 2013 | | 2013 |
| NOTES ON THE FINITE LATTICE REPRESENTATION PROBLEM WJ DEMEO | | 2011 |
| A BASIC QUESTION ABOUT SELF-NORMALIZING SUBGROUPS W DeMeo MathOverflow. URL: http://mathoverflow. net/questions/48678 (version: 2010 …, 2010 | | 2010 |
Ralph FreeseProfessor of Mathematics, University of Hawaii在 math.hawaii.edu 的电子邮件经过验证
