Stephen F. Siegel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
What's wrong with on-the-fly partial order reduction Computer Aided Verification	2024-02-16	Paper
Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed	2024-01-12	Paper
Verifying properties of differentiable programs Static Analysis	2023-05-26	Paper
Action-based model checking: logic, automata, and reduction	2021-02-09	Paper
TASS: the toolkit for accurate scientific software Mathematics in Computer Science	2013-05-16	Paper
FEVS: a functional equivalence verification suite for high-performance scientific computing Mathematics in Computer Science	2013-05-16	Paper
Transparent partial order reduction Formal Methods in System Design	2012-09-27	Paper
Loop invariant symbolic execution for parallel programs Lecture Notes in Computer Science	2012-06-15	Paper
Collective assertions Lecture Notes in Computer Science	2011-02-15	Paper
Model Checking Nonblocking MPI Programs Lecture Notes in Computer Science	2008-04-04	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2005-12-06	Paper
The cohomology of split extensions of elementary Abelian \(2\)-groups and Totaro's example Journal of Pure and Applied Algebra	2000-09-05	Paper
The Hochschild Cohomology Ring of a Group Algebra Proceedings of the London Mathematical Society	2000-06-22	Paper
The Hochschild cohomology ring of a cyclic block Proceedings of the American Mathematical Society	2000-03-15	Paper
The cohomology of the Morava stabilizer group 𝕊₂ at the prime 3 Proceedings of the American Mathematical Society	1998-03-26	Paper
The spectral sequence of a split extension and the cohomology of an extraspecial group of order \(p^ 3\) and exponent \(p\) Journal of Pure and Applied Algebra	1997-04-16	Paper
On the cohomology of split extensions of finite groups Transactions of the American Mathematical Society	1997-04-08	Paper
Generalized Benson-Carlson duality Journal of Algebra	1996-10-27	Paper
Projective modules for A₉in characteristic three Communications in Algebra	1992-06-28	Paper

Research outcomes over time

This page was built for person: Stephen F. Siegel