| |
| 2008 | ||
|---|---|---|
| 5 | EE | Sylvain Bernard, Serge Muller, Jon Onativia: Computer-Aided Microcalcification Detection on Digital Breast Tomosynthesis Data: A Preliminary Evaluation. Digital Mammography / IWDM 2008: 151-157 |
| 2006 | ||
| 4 | EE | Bénédicte Grosjean, Serge Muller: Impact of Textured Background on Scoring of Simulated CDMAM Phantom. Digital Mammography / IWDM 2006: 460-467 |
| 1999 | ||
| 3 | Andreas Rick, Serge Muller, Sylvie Bothorel, Michel Grimaud: Quantitative Modelling of Microcalcification Detection in Digital Mammography. MICCAI 1999: 32-41 | |
| 1998 | ||
| 2 | Jacques Chazarain, Serge Muller: Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. J. Autom. Reasoning 21(2): 233-275 (1998) | |
| 1995 | ||
| 1 | Jacques Chazarain, Serge Muller: LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. RTA 1995: 420-425 | |
| 1 | Sylvain Bernard | [5] |
| 2 | Sylvie Bothorel | [3] |
| 3 | Jacques Chazarain | [1] [2] |
| 4 | Michel Grimaud | [3] |
| 5 | Bénédicte Grosjean | [4] |
| 6 | Jon Onativia | [5] |
| 7 | Andreas Rick | [3] |