Concepedia

Vincent Nimal

VN

Statistics

Publications

3

Citations

88

H-Index

3

Active since

2010

Affiliations

University College London(Current)

University of Oxford

Vincent Nimal is an author at University College London specializing in computer science, engineering, and operating systems.

Top concepts

Publications per year

2010–2017

3

Publications

3

Don't sit on the fence: A static analysis approach to automatic fence insertion

Jade Alglave, Daniel Kroening, Vincent Nimal et al. · arXiv (Cornell University) · 2013 · 39 citations · Full text

Don’t Sit on the Fence

Jade Alglave, Daniel Kroening, Vincent Nimal et al. · ACM Transactions on Programming Languages and Systems · 2017 · 28 citations

, , +16

Statistical Approaches for Probabilistic Model Checking

Vincent Nimal · Oxford University Research Archive (ORA) (University of Oxford) · 2010 · 21 citations

, , +9

1–3 of 3