( en | de | ru )

 

Disambiguation of "de Rougemont, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.

, , , , and . LICS, page 30-39. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michel de Roo

Michel de Roo

Michel Georg Michel

Michel Ghazal

Prognostische Relevanz der Schildwächterlymphknotenbiopsie beim malignen Melanom. MedH Hannover, (2009)

Amal Dé

 

Other publications of authors with the same name

Logic and complexity., and . Discrete mathematics and theoretical computer science Springer, (2004)Fixed-point semantics and the representation of algorithms on large data.. VLDB, page 264-272. Morgan Kaufmann, (1988)The Reliability of Queries.. PODS, page 286-291. ACM Press, (1995)A Detailed Analysis of the SpaceSaving± Family of Algorithms with Bounded Deletions., , , , , and . CoRR, (2023)A Model of Uncertainty for Near-Duplicates in Document Reference Networks., and . ECDL, volume 4675 of Lecture Notes in Computer Science, page 449-453. Springer, (2007)Approximate Satisfiability and Equivalence., , and . LICS, page 421-430. IEEE Computer Society, (2006)Uniform Definability on Finite Structures with Successor. STOC, page 409-417. ACM, (1984)On the Interactive Complexity of Graph Reliability., , , and . FSTTCS, volume 880 of Lecture Notes in Computer Science, page 12-23. Springer, (1994)On the Quantification of Knowledge.. AIMSA, page 245-253. North-Holland, (1986)Property Testing of Regular Tree Languages., and . Algorithmica, 49 (2): 127-146 (2007)