المؤلفون: Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1208.4630v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/cd36f873e136444da5ca7fa67382bf1c

المؤلفون: Olaf Owe, Einar Broch Johnsen, Joakim Bjørk, Rudolf Schlatte

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 67-81 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1009.4262v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/f089872e5fbb4b19b3ac18ea30696c0e

المؤلفون: Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider

المصدر: Information Sciences. 616:558-576

مصطلحات موضوعية: Information Systems and Management, Artificial Intelligence, Control and Systems Engineering, Software, Computer Science Applications, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7acd5a01d3289ebb5ab0e982f3321db0
https://doi.org/10.1016/j.ins.2022.10.132

المؤلفون: Chinmayi Baramashetru, Nils Gruschka, Silvia Lizeth Tapia Tarifa, Olaf Owe

المصدر: Lecture Notes in Computer Science ISBN: 9783031077265

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a08a46b522f67e84328ec9395c033ccd
https://doi.org/10.1007/978-3-031-07727-2_16

المؤلفون: Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse

المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783031086786

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b2377715e2c2127b6b572b8741d426e
https://doi.org/10.1007/978-3-031-08679-3_2

المؤلفون: Hamed Arshad, Christian Johansen, Olaf Owe

المصدر: Journal of Systems Architecture. 129:102625

مصطلحات موضوعية: Hardware and Architecture, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a376e84e261fbf526df52f5cc9dbe0f4
https://doi.org/10.1016/j.sysarc.2022.102625

المؤلفون: Olaf Owe, Elahe Fazeldehkordi

المصدر: Journal of Logical and Algebraic Methods in Programming. 127:100772

مصطلحات موضوعية: Computational Theory and Mathematics, Logic, Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5e4ee64a854c2f362d47d8d8a9872df5
https://doi.org/10.1016/j.jlamp.2022.100772

المؤلفون: Farzane Karami, Toktam Ramezanifarkhani, Olaf Owe

المصدر: Journal of Logical and Algebraic Methods in Programming. 103:154-183

مصطلحات موضوعية: Logic, Computer science, Semantics (computer science), Concurrency, Message passing, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematics, 010201 computation theory & mathematics, Human–computer interaction, Asynchronous communication, Synchronization (computer science), Programming paradigm, Futures contract, Software, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::66029b589b4ceea1968874bb2e95d418
https://doi.org/10.1016/j.jlamp.2018.11.008

المؤلفون: Olaf Owe, Farzane Karami, Gerardo Schneider

المصدر: Secure IT Systems ISBN: 9783030708511
NordSec

مصطلحات موضوعية: Language-based security, Computer science, Concurrency, Component (UML), Information flow (information theory), Language model, Computer security, computer.software_genre, Object (computer science), Active object, Asynchronous method invocation, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec8aead8da9c8449b74a2ef89b1929ee
https://doi.org/10.1007/978-3-030-70852-8_5

المؤلفون: Olaf Owe, Shukun Tokas, Toktam Ramezanifarkhani

المصدر: Journal of Logical and Algebraic Methods in Programming. 125:100733

مصطلحات موضوعية: Logic, Computer science, business.industry, Modeling language, Privacy policy, Information technology, Specification language, Computer security, computer.software_genre, Theoretical Computer Science, Computational Theory and Mathematics, General Data Protection Regulation, media_common.cataloged_instance, Data Protection Act 1998, European union, business, computer, Personally identifiable information, Software, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5e902f326ac3c1ae6c4d29da7ba9cfc
https://doi.org/10.1016/j.jlamp.2021.100733