George S. Avrunin
From MaRDI portal
Person:1140719
Available identifiers
zbMath Open avrunin.george-sMaRDI QIDQ1140719
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: George S. Avrunin
