Statistics
Publications
12
Citations
461
H-Index
11
Active since
2007
Hossein Hojjat is an author at Cornell University specializing in formal verification, formal methods, and engineering.
Publications per year
2007–2018
12
12
Hossein Hojjat, Philipp Rümmer · 2018 · 122 citations · Full text
Mathematical Programming, Eldarica Version 2, Engineering +19
Efficient synthesis of network updates
Jedidiah McClurg, Hossein Hojjat, Pavol Černý et al. · 2015 · 99 citations · Full text
Sudip Roy, Gabriel Bender, Bailu Ding et al. · 2015 · 58 citations · Full text
Strong Consistency Properties, Engineering, Homeostatic Mechanism +17
Event-driven network programming
Jedidiah McClurg, Hossein Hojjat, Nate Foster et al. · 2016 · 35 citations · Full text
Event-driven Architecture, Engineering, Network Analysis +18
Efficient synthesis of network updates
Jedidiah McClurg, Hossein Hojjat, Pavol Černý et al. · ACM SIGPLAN Notices · 2015 · 35 citations
Rows per page
1–5 of 12