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] |