Cristin-person-ID: 21099
Person

Einar Broch Johnsen

  • Stilling:
    Professor
    ved Institutt for informatikk ved Universitetet i Oslo
  • Stilling:
    Professor
    ved Institutt for fysikk og teknologi ved UiT Norges arktiske universitet
  • Stilling:
    Professor
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Stilling:
    Førsteamanuensis
    ved Institutt for informasjons- og kommunikasjonsteknologi ved Universitetet i Agder

Klassifisering

Vitenskapsdisipliner

Teoretisk databehandling, programmeringsspråk og -teori • Sikkerhet og sårbarhet • Logikk

Emneord

Objektorientering • Termomskrivingssystemer • Program spesifikasjon • Programmeringsspråk • Databehandling • Bevissystemer • Objektorientert modellering/programmering • Åpne distribuerte systemer • Teoretisk databehandling • Formelle metoder • Parallelle systemer

Resultater Resultater

Digital Twins for Autonomic Cloud Application Management.

Horn, Geir; Schlatte, Rudolf; Johnsen, Einar Broch. 2022, Springer Nature. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Designing Distributed Control with Hybrid Active Objects.

Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, Springer. TUD, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Smart Journey Mining for Improved Service Quality.

Halvorsrud, Ragnhild; Mannhardt, Felix; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, IEEE. TUE, SINTEF, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth. 2021, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel

Programming and Debugging with Semantically Lifted States (Full Paper).

Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch; Giese, Martin. 2021, UIORapport
1 - 5 av 234 | Neste | Siste »