dblp.uni-trier.dewww.uni-trier.de

Stein Krogdahl Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EERoy Grønmo, Stein Krogdahl, Birger Møller-Pedersen: A Collection Operator for Graph Transformation. ICMT 2009: 67-82
2008
16EERoy 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
15EERoy 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
13EEOlaf Owe, Stein Krogdahl, Tom Lyche: A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7
12EEOlaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14
2003
11EEStein Krogdahl: The Birth of Simula. History of Nordic Computing 2003: 261-275
2002
10EEStein 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
7EEStein 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
5EEIstvá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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)