Stephen F. Siegel - Concepedia

Author

Stephen F. Siegel

Also Known As

S F Siegel, S. Siegel, S.F. Siegel, STEPHEN F. SIEGEL, Siegel, Stephen F., Stephen F Siegel, Stephen F. Siegel, Stephen Siegel

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

University of Delaware University of Massachusetts Amherst University of Utah Brown University Argonne National Laboratory

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	18	600
2	Management	3	3	70
3	Education	1	1	89
4	Health Sciences	1	1	17
5	Medicine	1	1	69

Stephen F. Siegel

Publications

768

Citations

H-Index

Page 1

	Year	Citations
The Hochschild Cohomology Ring of a Group Algebra Stephen F. Siegel, Sarah Witherspoon Proceedings of the London Mathematical Society Abstract AlgebraRepresentation TheoryRing TheoryLinear GroupsNon-commutative Algebra	1999	89
CIVL Stephen F. Siegel, Manchun Zheng, Ziqing Luo, EngineeringVerificationConcurrency LandscapeComputer ArchitectureSoftware Analysis	2015	75
Combining symbolic execution with model checking to verify parallel numerical programs Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, ACM Transactions on Software Engineering and Methodology Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2008	75
Formal analysis of MPI-based parallel programs Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Communications of the ACM Biophysical ModelingEngineeringMolecular BiologyParallel SoftwareProtein Folding	2011	69
Using model checking with symbolic execution to verify parallel numerical programs Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2006	65
Modeling wildcard-free MPI programs for verification Stephen F. Siegel, George S. Avrunin Mathematical ProgrammingProgram CheckingEngineeringVerificationComputer-aided Verification	2005	42
TASS: The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy K. Zirkel Mathematics in Computer Science EngineeringScientific Workflow SystemData ScienceScientific Data ManagementProgram Analysis	2011	40
Automatic formal verification of MPI-based parallel programs Stephen F. Siegel, Timothy K. Zirkel EngineeringVerificationSoftware SystemsComputer-aided VerificationHardware Systems	2011	33
Comparing Finite-State Verification Techniques for Concurrent Software George S. Avrunin, James C. Corbett, Matthew B. Dwyer,	1999	29
A test of the similarity rule model of temporal bisection Stephen F. Siegel Learning and Motivation EngineeringTemporal DynamicTemporal ComplexityTemporal Pattern RecognitionProbability Theory	1986	29

Page 1