Olaf Owe

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	2281	363
h-index	25	10
i10-index	59	10

140

105

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 17 17 36 22 32 12 32 17 21 41 30 11 29 36 14 52 56 43 77 84 133 107 115 121 81 108 110 123 71 93 101 85 74 66 71 60 6

Nyilvános hozzáférés

Összes megtekintése

22 cikk

1 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	271	2007
An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Journal of Software and Systems Modeling 6 (1), 39–58, 0	271*
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	163	2006
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, 208-223, 1993	62	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
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	51	2005
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
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	38	2014
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	35	2011
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	34	2012
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	34	1998
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
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
Preliminary report on the specification and programming language ABEL OJ Dahl, DF Langmyhr, O Owe Institute of Informatics, University of Oslo, 1986	29	1986

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