Concepedia

Richard DeFrancisco

RD

Statistics

Publications

2

Citations

53

H-Index

2

Active since

2014

Affiliations

Stony Brook University(Current)

Richard DeFrancisco is an author at Stony Brook University specializing in computing, computer science, and parallel computing.

Publications per year

2014–2020

2

Publications

2

Towards a GPGPU-parallel SPIN model checker

Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka · 2014 · 30 citations

Computing, Computer Science, High-performance Computing +17

Swarm model checking on the GPU

Richard DeFrancisco, Shenghsun Cho, Michael Ferdman et al. · International Journal on Software Tools for Technology Transfer · 2020 · 23 citations

Computing, Computer Engineering, Computer Science +12

1–2 of 2