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

Serge Muller

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

2008
5EESylvain Bernard, Serge Muller, Jon Onativia: Computer-Aided Microcalcification Detection on Digital Breast Tomosynthesis Data: A Preliminary Evaluation. Digital Mammography / IWDM 2008: 151-157
2006
4EEBé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

Coauthor Index

1Sylvain Bernard [5]
2Sylvie Bothorel [3]
3Jacques Chazarain [1] [2]
4Michel Grimaud [3]
5Bénédicte Grosjean [4]
6Jon Onativia [5]
7Andreas Rick [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)