Stein Krogdahl
From MaRDI portal
Person:1059389
Available identifiers
zbMath Open krogdahl.steinMaRDI QIDQ1059389
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 |
|---|---|---|
| A top down approach to the formal specification of SCI cache coherence | 2024-04-29 | Paper |
| A biography of Ole-Johan Dahl | 2011-04-01 | Paper |
| A Bibliography of Ole-Johan Dahl | 2011-04-01 | Paper |
| On verification of parallel message-passing processes | 2002-12-01 | Paper |
| Verifying a distributed list system: A case history | 1997-05-28 | Paper |
| An inequality on paths in a grid | 1993-01-17 | Paper |
| On log concave sequences | 1992-06-28 | Paper |
| A select and insert sorting algorithm | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731014 | 1986-01-01 | Paper |
| Multiple inheritance in SIMULA-like languages | 1985-01-01 | Paper |
| Verification of a class of link-level protocols | 1978-01-01 | Paper |
| The dependence graph for bases in matroids | 1977-01-01 | Paper |
| A dynamic storage allocation problem | 1973-01-01 | Paper |
Research outcomes over time
This page was built for person: Stein Krogdahl
