Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Einar Broch Johnsen

Implementing SOS With Active Objects: A Case Study of a Multicore Memory System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Translating Active Objects Into Colored Petri Nets for Communication Analysis

Science of Computer Programming
Software
2019English

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2013English

HyVar

Communications in Computer and Information Science
MathematicsComputer Science
2018English

Preparing HPC Applications for Exascale: Challenges and Recommendations

2015English

A Dynamic Class Construct for Asynchronous Concurrent Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy