BibSonomy :: author  ::

bookmarks

publications

(6)

• Analyzing medical processes.
  Bin Chen and George S. Avrunin and Elizabeth A. Henneman and Lori A. Clarke and Leon J. Osterweil and Philip L. Henneman ICSE 623-632 (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
  Lori A. Clarke and Yao Chen and George S. Avrunin and Bin Chen and Rachel L. Cobleigh and Kim Frederick and Elizabeth A. Henneman and Leon J. Osterweil ISPW 347-359 (2005)
  to dblp by dblp on 2007-01-26 00:00:00
  | URL | BibTeX  
• Computer Proofs of Limit Theorems.
  W. W. Bledsoe and Robert S. Boyer and William H. Henneman Artif. Intell. 3 27-60 (1972)
  to dblp by dblp on 2003-11-19 00:00:00
  | URL | BibTeX  
• The NCR Human Interface Technology Center.
  Thomas J. MacTavish and Richard L. Henneman CHI Extended Abstracts 83-84 (1997)
  to dblp by dblp on 2003-08-25 00:00:00
  | URL | BibTeX  
• Evolution of a User Interface Design: NCR's Management Discovery Tool.
  James F. Knutson and Tej Anand and Richard L. Henneman CHI 526-533 (1997)
  to dblp by dblp on 2002-12-13 00:00:00
  | URL | BibTeX  
• Computer Proofs of Limit Theorems.
  W. W. Bledsoe and Robert S. Boyer and William H. Henneman IJCAI 586-600 (1971)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX