Christian Michaux - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2009

Cell decomposition and dimension function in the theory of closed ordered differential fieldsThomas Brihaye, Christian Michaux, Cédric Rivière. APAL, 159(1-2):111-128, 2009. [doi]

2006

Corrigendum to On the expressiveness and decidability of o-minimal hybrid systems [J. Complexity 21 (2005) 447-478]Thomas Brihaye, Christian Michaux. jc, 22(3):431-434, 2006. [doi]

2005

On the expressiveness and decidability of o-minimal hybrid systemsThomas Brihaye, Christian Michaux. jc, 21(4):447-478, 2005. [doi]

2004

On O-Minimal Hybrid SystemsThomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler. hybrid 2004: 219-233 [doi]

2001

PrefaceCatherine Finet, Christian Michaux. APAL, 111(1-2):1-2, 2001.

2000

A Note on Non-complete Problems in NPImageShai Ben-David, Klaus Meer, Christian Michaux. jc, 16(1):324-332, 2000. [doi]

Isomorphism theorem for BSS recursively enumerable sets over real closed fieldsChristian Michaux, Christophe Troestler. TCS, 231(2):253-273, 2000. [doi]

1998

Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed FieldsChristian Michaux, Christophe Troestler. mcu 1998: 116-139

1996

Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham s and Semenov s TheoremsChristian Michaux, Roger Villemaire. APAL, 77(3):251-277, 1996.

1994

P != NP over the Nonstandard Reals Implies P != NP over RChristian Michaux. TCS, 133(1):95-104, 1994.

1993

Cobham s Ttheorem seen through Büchi s TheoremChristian Michaux, Roger Villemaire. icalp 1993: 325-334

1991

Stochastic Automata and Length Distributions of Rational LanguagesGeorges Hansel, Daniel Krob, Christian Michaux. mfcs 1991: 181-190

1983

MIDOC: A Microcomputer System for the Management of Structured DocumentsIrene Kowarski, Christian Michaux. ifip 1983: 567-572

1973

Une information sur les matrices de covariance : la liaison-informationChristian Michaux. PhD thesis, Joseph Fourier University, Grenoble, France, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL