Language-based analysis of communicating finite state machines. - Jan Huus; Hasan Ural (ICNP, 1993)

HawkEars: A regional, high-performance avian acoustic classifier. - Jan Huus; Kevin G. Kelly; Erin M. Bayne; Elly C. Knight (Ecol. Informatics, 2025)