Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. - Reed Oei; Dun Ma; Christian Schulz 013; Philipp Hieronymi (CoRR, 2021)

K-Division Framework Enhances GNNs' Expressive Power. - Dun Ma; Suixiang Gao; Wenguo Yang (COCOON (2), 2024)

Toward a Holistic Performance Evaluation of Large Language Models Across Diverse AI Accelerators. - Murali Emani; Sam Foreman; Varuni Sastry; Zhen Xie; Siddhisanket Raskar; William Arnold; Rajeev Thakur; Venkatram Vishwanath; Michael E. Papka; Sanjif Shanmugavelu; Darshan Gandhi; Hengyu Zhao; et al. (IPDPS (Workshops), 2024)

Decidability for Sturmian words. - Philipp Hieronymi; Dun Ma; Reed Oei; Luke Schaeffer; Christian Schulz 013; Jeffrey O. Shallit (Log. Methods Comput. Sci., 2024)