Scholar

Scott A. Smolka

Google Scholar ID: 4q-QenMAAAAJ

Professor of Computer Science, Stony Brook University

Model CheckingRuntime VerificationComputational Biology

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,294

H-index

25

i10-index

61

Publications

20

Co-authors

0

Contact