dblp.uni-trier.dewww.uni-trier.de

Christian Michaux Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
13EEThomas Brihaye, Christian Michaux, Cédric Rivière: Cell decomposition and dimension function in the theory of closed ordered differential fields. Ann. Pure Appl. Logic 159(1-2): 111-128 (2009)
2006
12EEThomas Brihaye, Christian Michaux: Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]. J. Complexity 22(3): 431-434 (2006)
2005
11EEThomas Brihaye, Christian Michaux: On the expressiveness and decidability of o-minimal hybrid systems. J. Complexity 21(4): 447-478 (2005)
2004
10EEThomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler: On O-Minimal Hybrid Systems. HSCC 2004: 219-233
2001
9 Catherine Finet, Christian Michaux: Preface. Ann. Pure Appl. Logic 111(1-2): 1-2 (2001)
2000
8EEShai Ben-David, Klaus Meer, Christian Michaux: A Note on Non-complete Problems in NPImage. J. Complexity 16(1): 324-332 (2000)
7EEChristian Michaux, Christophe Troestler: Isomorphism theorem for BSS recursively enumerable sets over real closed fields. Theor. Comput. Sci. 231(2): 253-273 (2000)
1998
6 Christian Michaux, Christophe Troestler: Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields. MCU (1) 1998: 116-139
1996
5 Christian Michaux, Roger Villemaire: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Ann. Pure Appl. Logic 77(3): 251-277 (1996)
1994
4 Christian Michaux: P != NP over the Nonstandard Reals Implies P != NP over R. Theor. Comput. Sci. 133(1): 95-104 (1994)
1993
3EEChristian Michaux, Roger Villemaire: Cobham's Ttheorem seen through Büchi's Theorem. ICALP 1993: 325-334
1991
2EEGeorges Hansel, Daniel Krob, Christian Michaux: Stochastic Automata and Length Distributions of Rational Languages. MFCS 1991: 181-190
1983
1 Irene Kowarski, Christian Michaux: MIDOC: A Microcomputer System for the Management of Structured Documents. IFIP Congress 1983: 567-572

Coauthor Index

1Shai Ben-David [8]
2Thomas Brihaye [10] [11] [12] [13]
3Catherine Finet [9]
4Georges Hansel [2]
5Irene Kowarski [1]
6Daniel Krob [2]
7Klaus Meer [8]
8Cédric Rivière [10] [13]
9Christophe Troestler [6] [7] [10]
10Roger Villemaire [3] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)