Concepedia

Stephen F. Siegel

SF

Statistics

Publications

24

Citations

768

H-Index

16

Active since

1984

Affiliations

University of Delaware(Current)

University of Massachusetts Amherst

University of Utah

Brown University

Argonne National Laboratory

Stephen F. Siegel is an author at University of Delaware specializing in engineering, computer science, and parallel computing.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsParallel ComputingFormal VerificationParallel ProgrammingProgram AnalysisSoftware AnalysisComputer Engineering

Publications per year

1984–2017

24

Publications

24

The Hochschild Cohomology Ring of a Group Algebra

Stephen F. Siegel, Sarah Witherspoon · Proceedings of the London Mathematical Society · 1999 · 89 citations

Abstract Algebra, Representation Theory, Ring Theory +9

Stephen F. Siegel, Manchun Zheng, Ziqing Luo et al. · 2015 · 75 citations · Full text

Engineering, Verification, Concurrency Landscape +17

Combining symbolic execution with model checking to verify parallel numerical programs

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 75 citations

Program Checking, Engineering, Verification +19

Formal analysis of MPI-based parallel programs

Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel et al. · Communications of the ACM · 2011 · 69 citations · Full text

Biophysical Modeling, Engineering, Molecular Biology +22

Using model checking with symbolic execution to verify parallel numerical programs

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin et al. · 2006 · 65 citations

Program Checking, Engineering, Verification +18

1–5 of 24