% Generated from bibliography.json by scripts/python/gen_publications.py.
% Do not edit: `make publications` regenerates it.  See ADR-006.
%
% Encoded in UTF-8, so it wants biber/biblatex or inputenc with utf8.
% Titles are double-braced: they were checked against the publishers,
% and a .bst case-folding "Agda" or "Birkhoff" would undo that.

@inproceedings{demeo2024cardano,
  author    = {Knispel, Andre and Melkonian, Orestis and Chapman, James and Hill, Alasdair and Jääger, Joosep and DeMeo, William and Norell, Ulf},
  title     = {{Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda}},
  booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)},
  series    = {OASIcs},
  volume    = {118},
  pages     = {2:1--2:18},
  year      = {2024},
  month     = {may},
  doi       = {10.4230/OASIcs.FMBC.2024.2}
}

@article{bergman2022universal,
  author        = {Bergman, Clifford and DeMeo, William},
  title         = {{Universal algebraic methods for constraint satisfaction problems}},
  journal       = {Logical Methods in Computer Science},
  volume        = {18},
  number        = {1},
  year          = {2022},
  month         = {jan},
  doi           = {10.46298/lmcs-18(1:12)2022},
  eprint        = {1611.02867},
  archivePrefix = {arXiv},
  url           = {https://lmcs.episciences.org/8975}
}

@inproceedings{demeo2022birkhoff,
  author        = {DeMeo, William and Carette, Jacques},
  title         = {{A machine-checked proof of Birkhoff's variety theorem in Martin-Löf type theory}},
  booktitle     = {27th International Conference on Types for Proofs and Programs (TYPES 2021)},
  series        = {LIPIcs},
  volume        = {239},
  pages         = {4:1--4:21},
  year          = {2022},
  month         = {aug},
  doi           = {10.4230/LIPIcs.TYPES.2021.4},
  eprint        = {2101.10166},
  archivePrefix = {arXiv}
}

@inproceedings{barto2021csp,
  author        = {Barto, Libor and DeMeo, William and Mottet, Antoine},
  title         = {{Constraint satisfaction problems over finite structures}},
  booktitle     = {36th ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)},
  pages         = {1--13},
  year          = {2021},
  month         = {jun},
  address       = {Rome, Italy},
  doi           = {10.1109/LICS52264.2021.9470670},
  eprint        = {2010.04958},
  archivePrefix = {arXiv}
}

@misc{demeo2021birkhoff,
  author        = {DeMeo, William and Carette, Jacques},
  title         = {{A machine-checked proof of Birkhoff's variety theorem in Martin-Löf type theory}},
  year          = {2021},
  month         = {jan},
  eprint        = {2101.10166},
  archivePrefix = {arXiv},
  note          = {Unabridged 35-page version}
}

@article{demeo2020bounded,
  author        = {DeMeo, William and Mayr, Peter and Ruškuc, Nik},
  title         = {{Bounded homomorphisms and finitely generated fiber products of lattices}},
  journal       = {International Journal of Algebra and Computation},
  volume        = {30},
  number        = {4},
  pages         = {693--710},
  year          = {2020},
  month         = {jun},
  doi           = {10.1142/S0218196720500174},
  eprint        = {1907.08046},
  archivePrefix = {arXiv}
}

@article{demeo2019difference,
  author        = {DeMeo, William and Freese, Ralph and Valeriote, Matthew},
  title         = {{Polynomial-time tests for difference terms in idempotent varieties}},
  journal       = {International Journal of Algebra and Computation},
  volume        = {29},
  number        = {6},
  pages         = {927--949},
  year          = {2019},
  month         = {sep},
  doi           = {10.1142/S021819671950036X},
  eprint        = {2011.07879},
  archivePrefix = {arXiv}
}

@book{adaricheva2018alh,
  author = {Adaricheva, Kira and DeMeo, William and Hyndman, Jennifer},
  title  = {{Proceedings of Algebras and Lattices in Hawaii 2018}},
  year   = {2018}
}

@article{demeo2014isotopic,
  author        = {DeMeo, William},
  title         = {{Isotopic algebras with nonisomorphic congruence lattices}},
  journal       = {Algebra universalis},
  volume        = {72},
  number        = {3},
  pages         = {295--298},
  year          = {2014},
  month         = {nov},
  doi           = {10.1007/s00012-014-0301-4},
  eprint        = {1301.7481},
  archivePrefix = {arXiv}
}

@misc{demeo2013dedekind,
  author        = {DeMeo, William},
  title         = {{Dedekind's Transposition Principle for lattices of equivalence relations}},
  year          = {2013},
  month         = {jan},
  eprint        = {1301.6788},
  archivePrefix = {arXiv}
}

@article{demeo2013expansions,
  author        = {DeMeo, William},
  title         = {{Expansions of finite algebras and their congruence lattices}},
  journal       = {Algebra universalis},
  volume        = {69},
  number        = {3},
  pages         = {257--278},
  year          = {2013},
  month         = {may},
  doi           = {10.1007/s00012-013-0226-3},
  eprint        = {1205.1106},
  archivePrefix = {arXiv}
}

@misc{demeo2012interval,
  author        = {DeMeo, William},
  title         = {{Interval enforceable properties of finite groups}},
  year          = {2012},
  month         = {may},
  eprint        = {1205.1927},
  archivePrefix = {arXiv}
}

@phdthesis{demeo2012thesis,
  author        = {DeMeo, William J.},
  title         = {{Congruence lattices of finite algebras}},
  school        = {University of Hawaii at Manoa},
  year          = {2012},
  eprint        = {1204.4305},
  archivePrefix = {arXiv}
}

@inproceedings{demeo2004isma,
  author    = {DeMeo, William},
  title     = {{Topics in nonabelian harmonic analysis and DSP applications}},
  booktitle = {Proceedings of the International Symposium on Musical Acoustics (ISMA 2004)},
  year      = {2004},
  address   = {Nara, Japan},
  url       = {https://github.com/williamdemeo/ISMA2004/raw/master/DeMeo-ISMA2004-FinalPaper.pdf},
  note      = {Best paper award}
}

@inproceedings{demeo2002icmc,
  author    = {DeMeo, William},
  title     = {{Characterizing musical signals with Wigner-Ville interferences}},
  booktitle = {Proceedings of the International Computer Music Conference (ICMC 2002)},
  year      = {2002},
  address   = {Gothenburg, Sweden}
}

@inproceedings{demeo1998eigenvalues,
  author    = {DeMeo, William},
  title     = {{Approximating eigenvalues of large stochastic matrices}},
  booktitle = {Proceedings of the 8th Copper Mountain Conference on Iterative Methods},
  year      = {1998},
  address   = {Copper Mountain, Colorado},
  url       = {https://williamdemeo.github.io/MSThesis}
}