Ole Eriksen

Concurrent algorithms for root searching

Jørgen Staunstrup, Ole Eriksen, 2004, Acta Informatica.

A termination detection protocol and its formal verification

Ole Eriksen, 1988 .

Concurrent Algorithms for Root Searching

Jørgen Staunstrup, Ole Eriksen, 1982 .

Categorizing Pedagogical patterns by teaching activities and Pedagogical values

Jens Bennedsen, Ole Eriksen, 2006, Comput. Sci. Educ..

A Termination Detection Protocol and Its Formal Verification

Ole Eriksen, 1988, J. Parallel Distributed Comput..