Concepedia

Scott A. Smolka

SA

Statistics

Publications

2

Citations

54

H-Index

2

Active since

1992

Scott A. Smolka is an author specializing in automated reasoning, formal verification, and parallel programming.

Top concepts

Publications per year

1992–2005

2

Publications

2

Efficient Modeling of Excitable Cells Using Hybrid Automata

Pei Ye, Emilia Entcheva, Radu Grosu et al. · 2005 · 44 citations

Towards efficient parallelization of equivalence checking algorithms

Shipei Zhang, Scott A. Smolka · Formal Techniques for (Networked and) Distributed Systems · 1992 · 10 citations

, , +10

1–2 of 2