| An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39–58, 2007 | 282 | 2007 |
| An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Journal of Software and Systems Modeling 6 (1), 39–58, 0 | 282* | |
| Creol: A type-safe object-oriented model for distributed concurrent systems EB Johnsen, O Owe, IC Yu Theoretical Computer Science 365 (1-2), 23-66, 2006 | 168 | 2006 |
| Internet of things GM Lee, N Crespi, JK Choi, M Boussard Evolution of telecommunication services: the convergence of telecom and …, 2013 | 157 | 2013 |
| ANNA A Language for Annotating Ada Programs DC Luckham, FW von Henke, B Krieg-Brückner, O Owe Springer Berlin Heidelberg, 1987 | 145 | 1987 |
| Partial logics reconsidered: A conservative approach O Owe Formal Aspects of Computing 5 (3), 208-223, 1993 | 64 | 1993 |
| An approach to program reasoning based on a first order logic for partial functions O Owe University of Oslo, Institute of Informatics, 1985 | 52 | 1985 |
| Compositional reasoning about active objects with shared futures CC Din, O Owe Formal Aspects of Computing 27 (3), 551-572, 2015 | 51 | 2015 |
| A run-time environment for concurrent objects with asynchronous method calls EB Johnsen, O Owe, EW Axelsen Electronic Notes in Theoretical Computer Science 117, 375-392, 2005 | 51 | 2005 |
| Formal development with ABEL OJ Dahl, O Owe International Symposium of VDM Europe, 320-362, 1991 | 51 | 1991 |
| Observable behavior of distributed systems: Component reasoning for concurrent objects CC Din, J Dovland, EB Johnsen, O Owe The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012 | 49 | 2012 |
| Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005 | 49 | 2005 |
| A sound and complete reasoning system for asynchronous communication with shared futures CC Din, O Owe Journal of Logical and Algebraic Methods in Programming 83 (5-6), 360-383, 2014 | 38 | 2014 |
| A transformational proof system for delta-oriented programming F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu Proceedings of the 16th International Software Product Line Conference …, 2012 | 36 | 2012 |
| Object-oriented specification and open distributed systems EB Johnsen, O Owe From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan …, 2004 | 36 | 2004 |
| Group selection by nodes in wireless sensor networks using coalitional game theory F Kazemeyni, EB Johnsen, O Owe, I Balasingham 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 34 | 2011 |
| Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010 | 34 | 2010 |
| Formal methods and the RM-ODP OJ Dahl, O Owe Research Report 261, Dept. of informatics, Univ. of Oslo, 1998 | 33 | 1998 |
| Combining active and reactive behavior in concurrent objects EB Johnsen, O Owe, M Arnestad Proc. of the Norwegian Informatics Conference (NIK’03), 193-204, 2003 | 32 | 2003 |
| Security and privacy in IoT systems: a case study of healthcare products E Fazeldehkordi, O Owe, J Noll 2019 13th International Symposium on Medical Information and Communication …, 2019 | 31 | 2019 |
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
