Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Einar Broch Johnsen
Map detail
Einar Broch Johnsen16 visible / 16 total nodes / 37 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipAuthorshipEinar Broch JohnsenAEinar Broch JohnsenResearcherAttribution-based Explanations for Markov Decision ProcessesWAttribution-based Expla...preprint / 2026Andrea PferscherAAndrea PferscherResearcherErika ÁbrahámAErika ÁbrahámResearcherPaul KobialkaAPaul KobialkaResearcherFrancesco LeofanteAFrancesco LeofanteResearcherSilvia Lizeth Tapia TarifaASilvia Lizeth Tapia TarifaResearcherModeling Deployment Decisions for Elastic Services with ABSWModeling Deployment Dec...preprint / 2016Artificial IntelligenceTArtificial Intelligence22915 worksA Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)WA Specification Logic f...preprint / 2022Lightweight Time Modeling in Timed CreolWLightweight Time Modeli...preprint / 2010Time complexity of concurrent programsWTime complexity of conc...preprint / 2015Lazy Product Discovery in Huge Configuration SpacesWLazy Product Discovery ...preprint / 2020A Type-Safe Model of Adaptive Object GroupsWA Type-Safe Model of Ad...preprint / 2012LAGC Semantics of Concurrent Programming LanguagesWLAGC Semantics of Concu...preprint / 2022Challenges and Recommendations for Preparing HPC Applications for ExascaleWChallenges and Recommen...preprint / 2015
Person15 links

Einar Broch Johnsen

Researcher