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 Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Using integer programming to verify general safety and liveness properties Formal Methods in System Design | 1995-04-10 | Paper |
| Nilpotency Degree of Cohomology Rings in Characteristic Two | 1993-08-23 | Paper |
| Quillen stratification for modules Inventiones Mathematicae | 1982-01-01 | Paper |
| A Quillen stratification theorem for modules Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
| Annihilators of cohomology modules Journal of Algebra | 1981-01-01 | Paper |
| Generic Cohomology for Twisted Groups | 1981-01-01 | Paper |
| The image of the restriction map on 2-cohomology Archiv der Mathematik | 1980-01-01 | Paper |
| 2-cohomology of some unitary groups Illinois Journal of Mathematics | 1980-01-01 | Paper |
| A vanishing theorem for second degree cohomology Journal of Algebra | 1978-01-01 | Paper |
Research outcomes over time
This page was built for person: George S. Avrunin
