Edit Profile (opens in new tab) Owe, Olaf Compute Distance To: Compute Author ID: owe.olaf Published as: Owe, Olaf Homepage: https://www.mn.uio.no/ifi/english/people/aca/olaf/ External Links: ORCID · dblp Documents Indexed: 38 Publications since 1987, including 1 Book 5 Contributions as Editor Co-Authors: 34 Co-Authors with 40 Joint Publications 378 Co-Co-Authors all top 5 Co-Authors 3 single-authored 20 Johnsen, Einar Broch 7 Dovland, Johan 7 Steffen, Martin 4 Din, Crystal Chang 4 Ramezanifarkhani, Toktam 3 Krogdahl, Stein 3 Lyche, Tom 2 Dahl, Ole-Johan 2 Fazeldehkordi, Elahe 2 Mai Thuong Tran, Thi 2 Telle, Jan Arne 2 Tokas, Shukun 2 Yu, Ingrid Chieh 1 Aredo, Demissie B. 1 Axelsen, Eyvind W. 1 Balasingham, Ilangko 1 Bastiansen, Tore J. 1 Bjørk, Joakim 1 Clarke, Dave 1 Elvang-Gøransson, Morten 1 Haveraaen, Magne 1 Johansen, Christian 1 Karami, Farzane 1 Kazemeyni, Fatemeh 1 Krieg-Brückner, Bernd 1 Kyas, Marcel 1 Luckham, David C. 1 McDowell, Charlie 1 Schlatte, Rudolf 1 Schneider, Gerado 1 Tapia Tarifa, Silvia Lizeth 1 Torjusen, Arild B. 1 von Henke, Friedrich Wilhelm 1 Zhang, Wenhui all top 5 Serials 8 Journal of Logical and Algebraic Methods in Programming 5 The Journal of Logic and Algebraic Programming 4 Formal Aspects of Computing 3 Lecture Notes in Computer Science 2 Theoretical Computer Science 2 Nordic Journal of Computing 1 Science of Computer Programming 1 Information and Computation 1 Proceedings of the Estonian Academy of Sciences. Physics, Mathematics 1 Fundamenta Informaticae Fields 40 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 106 times in 53 Documents Cited by ▼ Year ▼ Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh 24 2006 Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf 11 2012 Lazy behavioral subtyping. Zbl 1204.68072Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 2010 Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf 7 2008 Compositional reasoning about shared futures. Zbl 1315.68192Din, Crystal Chang; Dovland, Johan; Owe, Olaf 6 2012 Object-oriented specification and open distributed systems. Zbl 1278.68067Johnsen, Einar Broch; Owe, Olaf 5 2004 Partial logics reconsidered: A conservative approach. Zbl 0785.03013Owe, Olaf 5 1993 A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W. 5 2005 A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356Johnsen, Einar Broch; Owe, Olaf 4 2005 An evaluation of interaction paradigms for active objects. Zbl 1417.68023Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam 3 2019 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 3 2011 Compositional reasoning about active objects with shared futures. Zbl 1343.68166Din, Crystal Chang; Owe, Olaf 3 2015 A compositional formalism for object viewpoints. Zbl 1056.68103Johnsen, Einar Broch; Owe, Olaf 2 2002 An object-oriented component model for heterogeneous nets. Zbl 1209.68339Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel 2 2008 Incremental reasoning for multiple inheritance. Zbl 1211.68084Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 2 2009 Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth 2 2011 Concurrent objects à la carte. Zbl 1274.68058Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf 2 2010 Axiomatic treatment of processes with shared variables revisited. Zbl 0748.68040Owe, Olaf 2 1992 Generator induction in order sorted algebras. Zbl 0712.68068Owe, Olaf; Dahl, Ole-Johan 2 1991 A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190Din, Crystal Chang; Owe, Olaf 2 2014 A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun 2 2018 ANNA. A language for annotating Ada programs. Reference manual. Zbl 0624.68005Luckham, David C.; von Henke, Friedrich W.; Krieg-Brückner, Bernd; Owe, Olaf 1 1987 Subtyping and constructive specification. Zbl 0907.68123Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. 1 1998 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin 1 2012 Dynamic structural operational semantics. Zbl 1431.68061Johansen, Christian; Owe, Olaf 1 2019 An evaluation of interaction paradigms for active objects. Zbl 1417.68023Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam 3 2019 Dynamic structural operational semantics. Zbl 1431.68061Johansen, Christian; Owe, Olaf 1 2019 A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun 2 2018 Compositional reasoning about active objects with shared futures. Zbl 1343.68166Din, Crystal Chang; Owe, Olaf 3 2015 A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190Din, Crystal Chang; Owe, Olaf 2 2014 Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf 11 2012 Compositional reasoning about shared futures. Zbl 1315.68192Din, Crystal Chang; Dovland, Johan; Owe, Olaf 6 2012 Safe locking for multi-threaded Java. Zbl 1353.68029Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin 1 2012 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 3 2011 Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth 2 2011 Lazy behavioral subtyping. Zbl 1204.68072Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 2010 Concurrent objects à la carte. Zbl 1274.68058Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf 2 2010 Incremental reasoning for multiple inheritance. Zbl 1211.68084Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 2 2009 Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf 7 2008 An object-oriented component model for heterogeneous nets. Zbl 1209.68339Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel 2 2008 Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh 24 2006 A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W. 5 2005 A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356Johnsen, Einar Broch; Owe, Olaf 4 2005 Object-oriented specification and open distributed systems. Zbl 1278.68067Johnsen, Einar Broch; Owe, Olaf 5 2004 A compositional formalism for object viewpoints. Zbl 1056.68103Johnsen, Einar Broch; Owe, Olaf 2 2002 Subtyping and constructive specification. Zbl 0907.68123Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. 1 1998 Partial logics reconsidered: A conservative approach. Zbl 0785.03013Owe, Olaf 5 1993 Axiomatic treatment of processes with shared variables revisited. Zbl 0748.68040Owe, Olaf 2 1992 Generator induction in order sorted algebras. Zbl 0712.68068Owe, Olaf; Dahl, Ole-Johan 2 1991 ANNA. A language for annotating Ada programs. Reference manual. Zbl 0624.68005Luckham, David C.; von Henke, Friedrich W.; Krieg-Brückner, Bernd; Owe, Olaf 1 1987 all cited Publications top 5 cited Publications all top 5 Cited by 84 Authors 20 Owe, Olaf 14 Johnsen, Einar Broch 7 Dovland, Johan 7 Steffen, Martin 4 Din, Crystal Chang 4 Meseguer Guaita, José 3 Henrio, Ludovic 3 Ramezanifarkhani, Toktam 3 Roşu, Grigore 3 Yu, Ingrid Chieh 2 Ábrahám, Erika 2 Bubel, Richard 2 de Boer, Frank S. 2 Flores-Montoya, Antonio 2 Grabe, Immo 2 Hähnle, Reiner 2 Mai Thuong Tran, Thi 2 Tokas, Shukun 1 Abbasi, Rosa 1 Ahrendt, Wolfgang 1 Albert, Elvira 1 Ameur-Boulifa, Rabéa 1 Azadbakht, Keyvan 1 Balasingham, Ilangko 1 Barthe, Gilles 1 Basin, David A. 1 Bergstra, Jan A. 1 Bjørk, Joakim 1 Bravetti, Mario 1 Caromel, Denis 1 Clarke, Dave 1 Colvin, Robert J. 1 Damiani, Ferruccio 1 de Vink, Erik P. 1 Dylla, Maximilian 1 Elvang-Gøransson, Morten 1 Fazeldehkordi, Elahe 1 Genaim, Samir 1 Ghassemi, Fatemeh 1 Giachino, Elena 1 Grüner, Andreas 1 Hooman, Jozef Johannes Maria 1 Jacobs, Bart 1 Johansen, Christian 1 Kahrs, Stefan Michael 1 Kammüller, Florian 1 Karami, Farzane 1 Kazemeyni, Fatemeh 1 Khosravi, Ramtin 1 Klaedtke, Felix 1 Krogdahl, Stein 1 Kulankhina, O. 1 Kurnia, Ilham W. 1 Kyas, Marcel 1 Larsen, Kim Guldstrand 1 Laud, Peeter 1 Lienhardt, Michael 1 Liu, Xiaojian 1 Liu, Zhiming 1 Lutz, Bianca 1 Lysne, Olav 1 Madelaine, Eric 1 Marinovic, Srdjan 1 Martin-Martin, Enrique 1 McDowell, Charlie 1 Middelburg, Cornelis A. 1 Nikitchenko, Mykola S. 1 Piessens, Frank 1 Poetzsch-Heffter, Arnd 1 Qiu, Zongyan 1 Sannella, Donald T. 1 Schaefer, Ina 1 Schlatte, Rudolf 1 Schulte, Wolfram 1 Şerbănuţă, Traian Florin 1 Serpette, Bernard Paul 1 Smans, Jan 1 Srba, Jiří 1 Tapia Tarifa, Silvia Lizeth 1 Tarlecki, Andrzej 1 Tymofieiev, Valentyn G. 1 Verhoef, Marcel 1 Wong, Peter Y. H. 1 Zălinescu, Eugen all top 5 Cited in 12 Serials 12 Journal of Logical and Algebraic Methods in Programming 8 The Journal of Logic and Algebraic Programming 6 Formal Aspects of Computing 4 Information and Computation 3 Theoretical Computer Science 3 Science of Computer Programming 1 Acta Informatica 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Central European Journal of Computer Science Cited in 3 Fields 52 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Citations by Year