Concepedia

Justin Whitehouse

JW

Statistics

Publications

4

Citations

594

H-Index

4

Active since

2013

Affiliations

Columbia University(Current)

University of Edinburgh

Justin Whitehouse is an author at Columbia University specializing in deductive verification, computer science, and computing.

Publications per year

2013–2018

4

Publications

4

Efficient Formal Safety Analysis of Neural Networks

Shiqi Wang, Kexin Pei, Justin Whitehouse et al. · arXiv (Cornell University) · 2018 · 188 citations · Full text

Computing, Computer Science, Systems Engineering +15

Formal Security Analysis of Neural Networks using Symbolic Intervals

Shiqi Wang, Kexin Pei, Justin Whitehouse et al. · arXiv (Cornell University) · 2018 · 166 citations · Full text

Computing, Computer Engineering, Computer Science +15

Formal Security Analysis of Neural Networks using Symbolic Intervals

Shiqi Wang, Kexin Pei, Justin Whitehouse et al. · arXiv (Cornell University) · 2018 · 153 citations · Full text

Computing, Computer Engineering, Computer Science +15

Effect of partial absorption on diffusion with resetting

Justin Whitehouse, M. R. Evans, Satya N. Majumdar · Physical Review E · 2013 · 87 citations · Full text

Engineering, Mathematics, Physics +16

1–4 of 4