Ole Eriksen

Publication Activity (10 Years)

Years Active: 1982-2006
Publications (10 Years): 0

Publications

Jens Bennedsen, Ole Eriksen
Categorizing Pedagogical patterns by teaching activities and Pedagogical values. Comput. Sci. Educ. 16 (2) (2006)
Ole Eriksen
A Termination Detection Protocol and Its Formal Verification. J. Parallel Distributed Comput. 5 (1) (1988)
Ole Eriksen, Jørgen Staunstrup
Concurrent Algorithms for Root Searching. Acta Informatica 18 (1982)