Concepedia

Scott A. Smolka

SA

Statistics

Publications

76

Citations

3.6K

H-Index

29

Active since

1983

Affiliations

Stony Brook University(Current)

State University of New York

Brown University

Aristotle University of Thessaloniki

Scott A. Smolka is an author at Stony Brook University specializing in computer science, computing, and formal methods.

Publications per year

1983–2023

76

Publications

76

CCS expressions, finite state processes, and three problems of equivalence

Paris C. Kanellakis, Scott A. Smolka · Information and Computation · 1990 · 535 citations

Computing, Computer Science, Computer Systems +12

Reactive, Generative, and Stratified Models of Probabilistic Processes

R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 350 citations

Computing, Computer Science, Formal Methods +16

Algebraic Reasoning for Probabilistic Concurrent Systems.

Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka · 1990 · 231 citations

Computing, Computer Science, Formal Methods +11

Reactive, generative, and stratified models of probabilistic processes

Rob van Glabbeek, Scott A. Smolka, Bernhard Steffen et al. · 2002 · 164 citations · Full text

Computing, Computer Science, Formal Methods +16

CCS expressions, finite state processes, and three problems of equivalence

Paris C. Kanellakis, Scott A. Smolka · 1983 · 125 citations · Full text

Computing, Computer Science, Computer Systems +12

1–5 of 76