Counting Candy Crush configurations. - Adam Hamilton; Giang T. Nguyen 003; Matthew Roughan (Discret. Appl. Math., 2021)

Boolean Expressions in Firewall Analysis. - Adam Hamilton; Matthew Roughan; Giang T. Nguyen 003 (CoRR, 2022)