( en | de | ru )

 

Disambiguation of "Owe, Olaf"

Author of the publication

copydeleteadd this publication to your clipboard
PDS: Deduce Elder Privacy from Smart Homes.

, , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Piening

 

Other publications of authors with the same name

Security Wrappers for Information-Flow Control in Active Object Languages with Futures., , and . CoRR, (2020)A Type-Safe Model of Adaptive Object Groups, , , and . FOCLASA, volume 91 of EPTCS, page 1-15. (2012)A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects., and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 274-295. Springer, (2004)A Dynamic Class Construct for Asynchronous Concurrent Objects., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 15-30. Springer, (2005)A lightweight approach to smart contracts supporting safety, security, and privacy., and . J. Log. Algebraic Methods Program., (2022)A secrecy-preserving language for distributed and object-oriented systems., , and . J. Log. Algebraic Methods Program., (2018)A sound and complete reasoning system for asynchronous communication with shared futures., and . J. Log. Algebraic Methods Program., 83 (5-6): 360-383 (2014)Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis., , , and . IRI, page 504-511. IEEE Computer Society, (2013)Verification of Concurrent Objects with Asynchronous Method Calls., , and . SwSTE, page 141-150. IEEE Computer Society, (2005)Validating Timed Models of Deployment Components with Parametric Concurrency., , , and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)