k-Counting Automata. - Ulrich Ultes-Nitsche; Joël Allred (NCMA, 2011)

k-counting automata. - Joël Allred; Ulrich Ultes-Nitsche (RAIRO Theor. Informatics Appl., 2012)

A Simple and Optimal Complementation Algorithm for Büchi Automata. - Joël D. Allred; Ulrich Ultes-Nitsche (LICS, 2018)

Behavior-Driven Specification in Practice: An Experience Report. - Joël D. Allred; Simon Fraser; Alessandro Pezzoni (REFSQ, 2024)