Olaf Owe

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	2257	452
h-index	25	10
i10-index	58	12

140

105

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 4 4 7 18 17 36 23 30 13 34 16 21 41 29 11 29 36 14 53 55 42 77 84 133 103 117 120 80 109 107 122 71 93 95 82 76 67 74 55

Nyilvános hozzáférés

Összes megtekintése

22 cikk

2 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Einar Broch JohnsenProfessor, University of OsloE-mail megerősítve itt: ifi.uio.no
Crystal Chang DinDepartment of Informatics, University of Bergen, NorwayE-mail megerősítve itt: uib.no
Martin SteffenUniversity of OsloE-mail megerősítve itt: ifi.uio.no
Ingrid Chieh YuAssociate Professor, University of OsloE-mail megerősítve itt: ifi.uio.no
Toktam RamezanifarkhaniKristiania University College - University of OsloE-mail megerősítve itt: kristiania.no
Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mail megerősítve itt: cse.gu.se
Shukun TokasResearch Scientist, SINTEFE-mail megerősítve itt: sintef.no
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)E-mail megerősítve itt: medisin.uio.no
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloE-mail megerősítve itt: ifi.uio.no
Christian JohansenProfessor at NTNU - Norwegian University of Science and TechnologyE-mail megerősítve itt: ntnu.no
Jia-Chun LinAssociate professor at NTNU, NorwayE-mail megerősítve itt: ntnu.no
Josef NollProfessor, Digital Transformation & Societal Security, University of OsloE-mail megerősítve itt: its.uio.no
Richard BubelDepartment of Computer Science, TU DarmstadtE-mail megerősítve itt: cs.tu-darmstadt.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail megerősítve itt: ifi.lmu.de
Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mail megerősítve itt: kit.edu
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoE-mail megerősítve itt: di.unito.it
Marcel KyasAssistant Professor, Reykjavik UniversityE-mail megerősítve itt: ru.is
Anders P. RavnAalborg UniversityE-mail megerősítve itt: cs.aau.dk
Jüri VainDept. Computer Science, Tallinn University of TechnologyE-mail megerősítve itt: ioc.ee
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mail megerősítve itt: cs.tu-darmstadt.de

Követés

Olaf Owe

Professor, Department of Informatics, University of Oslo

E-mail megerősítve itt: ifi.uio.no - Kezdőlap

formal methods semantics and verification executable modeling language-based security and privacy active objects


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39–58, 2007	270	2007
An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Journal of Software and Systems Modeling 6 (1), 39–58, 0	270*
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	159	2006
ANNA A Language for Annotating Ada Programs DC Luckham, FW von Henke, B Krieg-Brückner, O Owe Springer Berlin Heidelberg, 1987	142	1987
Partial logics reconsidered: A conservative approach O Owe Formal Aspects of Computing 5, 208-223, 1993	60	1993
Formal development with ABEL OJ Dahl, O Owe International Symposium of VDM Europe, 320-362, 1991	53	1991
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, 551-572, 2015	50	2015
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	50	2012
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	50	2005
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	47	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	37	2014
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	35	2011
Object-oriented specification and open distributed systems EB Johnsen, O Owe From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan …, 2004	35	2004
Formal methods and the RM-ODP OJ Dahl, O Owe Research Report 261, Dept. of informatics, Univ. of Oslo, 1998	34	1998
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	33	2012
Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010	33	2010
A compositional formalism for object viewpoints EB Johnsen, O Owe Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002	30	2002
Preliminary report on the specification and programming language ABEL OJ Dahl, DF Langmyhr, O Owe Institute of Informatics, University of Oslo, 1986	30	1986
Dynamic resource reallocation between deployment components EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa International Conference on Formal Engineering Methods, 646-661, 2010	29	2010

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők