Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. - Bruno Buchberger; Adrian Craciun (MKM Symposium, 2003)

Scheme-Based Systematic Exploration of Natural Numbers. - Madalina Hodorog; Adrian Craciun (SYNASC, 2006)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. - Adrian Craciun; Madalina Hodorog (SYNASC, 2007)

Factorizations of Regular Hedge Languages. - Mircea Marin; Adrian Craciun (SYNASC, 2009)

Type Inference for Regular Expression Pattern Matching. - Mircea Marin; Adrian Craciun (SYNASC, 2010)

Proof Complexity and the Kneser-Lovász Theorem. - Gabriel Istrate; Adrian Craciun (SAT, 2014)

Proof Complexity and the Kneser-Lovász Theorem (I). - Gabriel Istrate; Adrian Craciun (CoRR, 2014)

Short proofs of the Kneser-Lovász coloring principle. - James Aisenberg; Maria Luisa Bonet; Sam Buss; Adrian Craciun; Gabriel Istrate (Inf. Comput., 2018)

Gröbner Bases with Reduction Machines. - Georgiana Surlea; Adrian Craciun (FROM, 2019)

Kernelization, Proof Complexity and Social Choice. - Gabriel Istrate; Cosmin Bonchis; Adrian Craciun (ICALP, 2021)