PAT Industries (United States)

The Clementine Mission to the Moon: Scientific Overview

S. Nozette, P. L. Rustan, L. Pleasance et al. · Science · 1994 · 440 citations

Geophysics, Lunar Crust, Space Mission +11

A Linear Logical Framework

Iliano Cervesato, Frank Pfenning · Information and Computation · 2002 · 130 citations

Linear Logical Framework, Engineering, Automated Reasoning +6

Differential-output<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>B</mml:mi></mml:math>-dot and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>D</mml:mi></mml:math>-dot monitors for current and voltage measurements on a 20-MA, 3-MV pulsed-power accelerator

T. C. Wagoner, W. A. Stygar, H.C. Ives et al. · Physical Review Special Topics - Accelerators and Beams · 2008 · 119 citations · Full text

Engineering, Measurement, Magnetic Flux +17

Relating strands and multiset rewriting for security protocol analysis

Iliano Cervesato, Nancy Durgin, John C. Mitchell et al. · 2002 · 88 citations

Parametric Strands, Formal Specification, Engineering +15

A Perceptual Matching Technique for Depth Judgments in Optical, See-Through Augmented Reality

J. Edward Swan, Mark Livingston, H. S. Smallman et al. · 2006 · 87 citations

Machine Vision, Engineering, 3D Vision +14