Stein Krogdahl

	2009
18		Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen: A Collection Operator for Graph Transformation. ICMT 2009: 67-82
17		Stein Krogdahl, Birger Møller-Pedersen, Fredrik Sørensen: Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes. Journal of Object Technology 8(7): 59-85 (2009)
	2008
16		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		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		Olaf Owe, Stein Krogdahl, Tom Lyche: A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7
12		Olaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14
	2003
11		Stein Krogdahl: The Birth of Simula. History of Nordic Computing 2003: 261-275
	2002
10		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		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)

Coauthor Index

1	István Beck	[4] [5] [8]
2	Stein Gjessing	[6] [7]
3	Roy Grønmo	[15] [16] [18]
4	Tom Lyche	[12] [13] [14]
5	Olav Lysne	[9] [10]
6	Birger Møller-Pedersen	[15] [16] [17] [18]
7	Ellen Munthe-Kaas	[6] [7]
8	K. A. Olsen	[3]
9	Olaf Owe	[12] [13] [14]
10	Fredrik Sørensen	[15] [16] [17]

Colors in the list of coauthors