A Myhill-Nerode theorem for automata with advice - Alex Kruckman; Sasha Rubin; John Sheridan; Ben Zax (GandALF, 2012)

Actions Arising from Intersection and Union. - Alex Kruckman; Lawrence Valby (J. Log. Lang. Inf., 2016)

Model-theoretic dividing lines in least fixed-point logic over finite structures. - Siddharth Bhaskar; Alex Kruckman (CoRR, 2017)

Generic expansion and Skolemization in NSOP1 theories. - Alex Kruckman; Nicholas Ramsey (Ann. Pure Appl. Log., 2018)

Independence in Generic incidence Structures. - Gabriel Conant; Alex Kruckman (J. Symb. Log., 2019)

Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories. - Alex Kruckman (Notre Dame J. Formal Log., 2019)

Logics for Sizes with Union or Intersection. - Caleb Kisby; Saúl A. Blanco; Alex Kruckman; Lawrence S. Moss (AAAI, 2020)

Interpolative fusions. - Alex Kruckman; Chieu-Minh Tran; Erik Walsberg (J. Math. Log., 2021)

Tameness in least fixed-point logic and McColm's conjecture. - Siddharth Bhaskar; Alex Kruckman (Log. Methods Comput. Sci., 2021)

Exploring the Landscape of Relational Syllogistic Logics. - Alex Kruckman; Lawrence S. Moss (Rev. Symb. Log., 2021)

Examples of weak amalgamation classes. - Adam Krawczyk; Alex Kruckman; Wieslaw Kubis; Aristotelis Panagiotopoulos (Math. Log. Q., 2022)

Invariant measures in simple and in small theories. - Artem Chernikov; Ehud Hrushovski; Alex Kruckman; Krzysztof Krupinski; Slavko Moconja; Anand Pillay; Nicholas Ramsey (J. Math. Log., 2023)