Verifying a medical protocol with temporal graphs: The case of a nosocomial disease

Artificial intelligence: a modern approach

Choice Reviews Online · 1995 · 22.2K citations · Full text

Computing, Computer Science, Artificial Intelligence +13

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

The Semantic Web Revisited

Nigel Shadbolt, Tim Berners‐Lee, Wendy Hall · IEEE Intelligent Systems · 2006 · 1.8K citations

Computing, Computer Science, Information Systems +12

Prevention of hospital acquired infections: a practical guide.

G Ducel, J. Fabry, Lindsay E. Nicolle · 2002 · 580 citations

Medicine, Infectious Disease Control, Infectious Diseases +12

Advanced Engineering Informatics

John Kunz, Ian F. C. Smith, Tetsuo Tomiyama · Advanced Engineering Informatics · 2007 · 555 citations