Helen Xu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j1		Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie: Combining Model Checking and Discrete-Event Supervisor Synthesis. ECEASST 46 (2011)
	2010
c1		Helen Xu, Andras Lasso, Siddharth Vikal, Peter Guion, Axel Krieger, Aradhana Kaushal, Louis L. Whitcomb, Gabor Fichtinger: MRI-Guided Robotic Prostate Biopsy: A Clinical Accuracy Validation. MICCAI (3) 2010: 383-391

Coauthor Index

Last update Tue May 21 04:22:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page