Statistics
Publications
2.1K
Citations
64.2K
Authors
172
Location
Sunnyvale, United States
2.1K
Richard Chow, Philippe Golle, Markus Jakobsson et al. · 2009 · 805 citations
Symbolic model checking using SAT procedures instead of BDDs
Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations
Attacks against process control systems
Álvaro A. Cárdenas, Saurabh Amin, Zong-Syun Lin et al. · 2011 · 693 citations
MATE: MPLS adaptive traffic engineering
A. Elwalid, Chengzhi Jin, Steven H. Low et al. · 2002 · 499 citations
1–5 of 2.1K
172
25
h-index
25
h-index
22
h-index
22
h-index
22
h-index
1–5 of 172