Computational Fun with Sturdy and Flimsy Numbers. - Trevor Clokie; Thomas F. Lidbetter; Antonio Molina Lovett; Jeffrey O. Shallit; Leon Witzman (FUN, 2021)

Computational aspects of sturdy and flimsy numbers. - Trevor Clokie; Thomas F. Lidbetter; Antonio Molina Lovett; Jeffrey O. Shallit; Leon Witzman (Theor. Comput. Sci., 2022)

Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants. - Adrian Celestino; Kurusch Ebrahimi-Fard; Alexandru Nica; Daniel Perales; Leon Witzman (Adv. Appl. Math., 2023)

A Coalgebraic Approach to Reducing Finitary Automata. - Keri D'Angelo; Alexandra Silva 001; Gerco van Heerdt; Leon Witzman (CoRR, 2023)

Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards. - Xuan-Bach Le; Dominik Wagner 001; Leon Witzman; Alexander Rabinovich; Luke Ong (NeurIPS, 2024)

Classical Linear Logic in Perfect Banach Lattices. - Pedro H. Azevedo de Amorim; Leon Witzman; Dexter Kozen (CSL, 2025)