Concepedia

Olaf Owe

OO

Statistics

Publications

22

Citations

722

H-Index

15

Active since

1991

Affiliations

University of Oslo(Current)

Olaf Owe is an author at University of Oslo specializing in computing, computer science, and distributed systems.

Publications per year

1991–2021

22

Publications

22

An Asynchronous Communication Model for Distributed Concurrent Objects

Einar Broch Johnsen, Olaf Owe · Software & Systems Modeling · 2006 · 169 citations

Computing, Computer Engineering, Computer Science +13

Creol: A type-safe object-oriented model for distributed concurrent systems

Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu · Theoretical Computer Science · 2006 · 121 citations

Computing, Computer Science, Computer Systems +13

Partial logics reconsidered: A conservative approach

Olaf Owe · Formal Aspects of Computing · 1993 · 36 citations

Humanities, Philosophy, Formal Methods +9

Compositional reasoning about active objects with shared futures

Crystal Chang Din, Olaf Owe · Formal Aspects of Computing · 2014 · 36 citations · Full text

Computing, Computer Science, Formal Methods +10

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls

Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen · Electronic Notes in Theoretical Computer Science · 2005 · 34 citations · Full text

Computing, Computer Engineering, Computer Science +16

1–5 of 22