Christopher Lee Miller

According to our database, Christopher Lee Miller authored at least 10 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Connectedness in Structures on the Real numbers: O-Minimality and Undecidability.

Alfred Dolich, Chris Miller, Alex Savatovsky, Athipat Thamrongthanyalak

J. Symb. Log., 2022

2016

Expansions of o-minimal structures by dense independent sets.

Alfred Dolich, Chris Miller, Charles Steinhorn

Ann. Pure Appl. Log., 2016

2013

Extensions of ordered theories by generic predicates.

Alfred Dolich, Chris Miller, Charles Steinhorn

J. Symb. Log., 2013

2010

Expansions of the real field by open sets: definability versus interpretability.

Harvey Friedman, Krzysztof Kurdyka, Chris Miller, Patrick Speissegger

J. Symb. Log., 2010

2005

Expansions of o-minimal structures by fast sequences.

Harvey Friedman, Chris Miller

J. Symb. Log., 2005

2002

Pfaffian Differential Equations over Exponential O-Minimal Structures.

Christopher Lee Miller, Patrick Speissegger

J. Symb. Log., 2002

2001

Expansions of Dense Linear Orders with The Intermediate Value Property.

Christopher Lee Miller

J. Symb. Log., 2001

2000

Uniform Reachability Algorithms.

Gerardo Lafferriere, Christopher Lee Miller

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Geometric Categories, O-Minimal Structures and Control (Abstract).

Christopher Lee Miller

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1994

Expansions of the Real Field with Power Functions.

Christopher Lee Miller

Ann. Pure Appl. Log., 1994