BibSonomy :: author  ::

bookmarks

publications

(265)

• An implementation of three algorithms for timing verification based on automata emptiness.
  Rajeev Alur and Costas Courcoubetis and David L. Dill and Nicolas Halbwachs and Howard Wong-Toi IEEE Real-Time Systems Symposium 157-166 (1992)
  to dblp by dblp on 2008-09-10 00:00:00
  | URL | BibTeX  
• A Retrospective on Murphi.
  David L. Dill 25 Years of Model Checking 77-88 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• A Pilot Study of CZTalk: A Graphical Tool for Collaborative Knowledge Work.
  Heidi Lam and Brian D. Fisher and John Dill HICSS (2005)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Causes of depth perception errors in stereo displays.
  Reynald Hoskinson and Caitlin Akai and Brian D. Fisher and John Dill and Barry A. Po APGV 164 (2004)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Self-timed logic using Current-Sensing Completion Detection (CSCD).
  Mark E. Dean and David L. Dill and Mark Horowitz VLSI Signal Processing 7 7-16 (1994)
  to dblp by dblp on 2008-08-07 00:00:00
  | URL | BibTeX  
• The Mechanism of Hydrophobic Solvation Depends on Solute Radius
  N. T. Southall and {K. A. Dill} J. Phys. Chem. B 104 1326--1331 (2000)
  to hydrophobic by magdusia on 2008-07-25 23:13:48
  | BibTeX  
• One Fish, Two Fish, Butterfish, Trumpeter: Recognizing Fish in Underwater Video.
  Andrew Rova and Greg Mori and Lawrence M. Dill MVA 404-407 (2007)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Observations of visual and audio coaching methods in a virtual laparoscopic training environment.
  Mavis Chan and John Dill and Shahram Payandeh APGV 173 (2004)
  to dblp by dblp on 2008-06-26 00:00:00
  | URL | BibTeX  
• Visual analytics science and technology.
  William Ribarsky and John Dill Information Visualization 7 1-2 (2008)
  to dblp by dblp on 2008-06-20 00:00:00
  | URL | BibTeX  
• Genetic programming and its applications to the synthesis of digital logic
  Karen M. Dill and James H. Herzog and Marek A. Perkowski Communications, Computers and Signal Processing, PACRIM 1997 823--826 (1997)
  to CAD, algorithms, applicability, arbitrary circuits, complete coverage, criterion, designed digital equations, experimental expressions, function functions, gates, genetic input logic optimization population problem programming, randomly recognition results, set sets, size, sizes, small synthesis, test training variables, by brazovayeye on 2008-06-19 17:35:00
  | BibTeX