| 2008 |
|---|
| 16 | EE | Roy Grønmo,
Fredrik Sørensen,
Birger Møller-Pedersen,
Stein Krogdahl:
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol.
ECMDA-FA 2008: 262-277 |
| 15 | EE | Roy Grønmo,
Fredrik Sørensen,
Birger Møller-Pedersen,
Stein Krogdahl:
Semantics-Based Weaving of UML Sequence Diagrams.
ICMT 2008: 122-136 |
| 2004 |
|---|
| 14 | | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Springer 2004 |
| 13 | EE | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
A Biography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl 2004: 1-7 |
| 12 | EE | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
A Bibliography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl 2004: 8-14 |
| 2003 |
|---|
| 11 | EE | Stein Krogdahl:
The Birth of Simula.
History of Nordic Computing 2003: 261-275 |
| 2002 |
|---|
| 10 | EE | Stein Krogdahl,
Olav Lysne:
On Verification of Parallel Message-Passing Processes.
Formal Asp. Comput. 13(6): 471-492 (2002) |
| 1997 |
|---|
| 9 | | Stein Krogdahl,
Olav Lysne:
Verifying a Distributed List System: A Case History.
Formal Asp. Comput. 9(1): 98-118 (1997) |
| 1992 |
|---|
| 8 | | István Beck,
Stein Krogdahl:
An Inequality on Paths in a Grid.
J. Comb. Theory, Ser. A 61(2): 295-301 (1992) |
| 1991 |
|---|
| 7 | | Stein Gjessing,
Stein Krogdahl,
Ellen Munthe-Kaas:
A Top Down Approach to the Formal Specification of SCI Cache Coherence.
CAV 1991: 83-91 |
| 6 | | Stein Gjessing,
Stein Krogdahl,
Ellen Munthe-Kaas:
A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
IPPS 1991: 324-329 |
| 5 | EE | István Beck,
Stein Krogdahl:
On log concave sequences.
Discrete Mathematics 94(2): 141-145 (1991) |
| 1988 |
|---|
| 4 | | István Beck,
Stein Krogdahl:
A Select and Insert Sorting Algorithm.
BIT 28(4): 726-735 (1988) |
| 1986 |
|---|
| 3 | | Stein Krogdahl,
K. A. Olsen:
Ada, as Seen from Simula.
Softw., Pract. Exper. 16(8): 689-700 (1986) |
| 1985 |
|---|
| 2 | | Stein Krogdahl:
Multiple Inheritance in SIMULA-like Languages.
BIT 25(2): 318-326 (1985) |
| 1973 |
|---|
| 1 | | Stein Krogdahl:
A Dynamic Storage Allocation Problem.
Inf. Process. Lett. 2(4): 96-99 (1973) |
