George S. Avrunin
From MaRDI portal
Person:1140719
Available identifiers
zbMath Open avrunin.george-sMaRDI QIDQ1140719
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 |
|---|---|---|
| Integer programming in the analysis of concurrent systems | 2024-04-29 | Paper |
| Model Checking Software | 2007-09-28 | Paper |
| Using integer programming to verify general safety and liveness properties | 1995-04-10 | Paper |
| Nilpotency Degree of Cohomology Rings in Characteristic Two | 1993-08-23 | Paper |
| Quillen stratification for modules | 1982-01-01 | Paper |
| A Quillen stratification theorem for modules | 1982-01-01 | Paper |
| Annihilators of cohomology modules | 1981-01-01 | Paper |
| Generic Cohomology for Twisted Groups | 1981-01-01 | Paper |
| The image of the restriction map on 2-cohomology | 1980-01-01 | Paper |
| 2-cohomology of some unitary groups | 1980-01-01 | Paper |
| A vanishing theorem for second degree cohomology | 1978-01-01 | Paper |
Research outcomes over time
This page was built for person: George S. Avrunin
