Stein Krogdahl

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 From Object-Orientation to Formal Methods	2011-04-01	Paper
A Bibliography of Ole-Johan Dahl From Object-Orientation to Formal Methods	2011-04-01	Paper
On verification of parallel message-passing processes Formal Aspects of Computing	2002-12-01	Paper
Verifying a distributed list system: A case history Formal Aspects of Computing	1997-05-28	Paper
An inequality on paths in a grid Journal of Combinatorial Theory. Series A	1993-01-17	Paper
On log concave sequences Discrete Mathematics	1992-06-28	Paper
A select and insert sorting algorithm BIT	1988-01-01	Paper
scientific article; zbMATH DE number 3963174 (Why is no real title available?)	1986-01-01	Paper
Multiple inheritance in SIMULA-like languages BIT	1985-01-01	Paper
Verification of a class of link-level protocols BIT	1978-01-01	Paper
The dependence graph for bases in matroids Discrete Mathematics	1977-01-01	Paper
A dynamic storage allocation problem Information Processing Letters	1973-01-01	Paper

Research outcomes over time

This page was built for person: Stein Krogdahl