Statistics
Publications
19
Citations
632
H-Index
14
Active since
1978
Denis A. Nicole is an author at University of Southampton specializing in engineering, computer engineering, and computer science.
Publications per year
1978–2018
19
19
ESBMC 5.0: an industrial-strength C model checker
Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse et al. · 2018 · 99 citations
Program Checking, Engineering, Hardware Verification Language +23
Solitons with non-vanishing Hopf index
Denis A. Nicole · Journal of Physics G Nuclear Physics · 1978 · 73 citations
Classical paths and quantum mechanics
Robert D. Carlitz, Denis A. Nicole · Annals of Physics · 1985 · 43 citations
1–5 of 19