Expansions of the Real Field with Power Functions. - Christopher Lee Miller (Ann. Pure Appl. Log., 1994)

Geometric Categories, O-Minimal Structures and Control (Abstract). - Christopher Lee Miller (HSCC, 1999)

Uniform Reachability Algorithms. - Gerardo Lafferriere; Christopher Lee Miller (HSCC, 2000)

Expansions of Dense Linear Orders with The Intermediate Value Property. - Christopher Lee Miller (J. Symb. Log., 2001)

Pfaffian Differential Equations over Exponential O-Minimal Structures. - Christopher Lee Miller; Patrick Speissegger (J. Symb. Log., 2002)

Expansions of o-minimal structures by fast sequences. - Harvey Friedman; Chris Miller 001 (J. Symb. Log., 2005)

Expansions of the real field by open sets: definability versus interpretability. - Harvey Friedman; Krzysztof Kurdyka; Chris Miller 001; Patrick Speissegger (J. Symb. Log., 2010)

Extensions of ordered theories by generic predicates. - Alfred Dolich; Chris Miller 001; Charles Steinhorn (J. Symb. Log., 2013)

Expansions of o-minimal structures by dense independent sets. - Alfred Dolich; Chris Miller 001; Charles Steinhorn (Ann. Pure Appl. Log., 2016)

Connectedness in Structures on the Real numbers: O-Minimality and Undecidability. - Alfred Dolich; Chris Miller 001; Alex Savatovsky; Athipat Thamrongthanyalak (J. Symb. Log., 2022)