Search the dblp DataBase

Publications of Author

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