Concepedia

Eilif Hjelseth

EH

12

Publications

419

Citations

12

H-Index

2010

Active since

Affiliations

Norwegian University of Science and Technology(Current)

Norwegian University of Life Sciences

OsloMet – Oslo Metropolitan University

Eilif Hjelseth is an author at Norwegian University of Science and Technology specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringDesignData Modeling

Publications per year

2010–2024

12

Publications

12

Incremental Digital Twin Conceptualisations Targeting Data-Driven Circular Construction

P. Mêda, Diego Calvetti, Eilif Hjelseth et al. · Buildings · 2021 · 93 citations · Full text

Construction Project Management, Engineering, Digital Twinning +26

Capturing normative constraints by use of the semantic mark-up RASE methodology

Eilif Hjelseth, Norway Nick Nisbet · 2011 · 79 citations

Artificial Intelligence, Engineering, Aec Industry +31

Exchange of Relevant Information in BIM Objects Defined by the Role- and Life-Cycle Information Model

Eilif Hjelseth · Architectural Engineering and Design Management · 2010 · 44 citations

EXPLORING SEMANTIC BASED MODEL CHECKING

Eilif Hjelseth, Nicholas Nisbet · 2010 · 36 citations

Engineering, Verification, Software Systems +19

Classification of BIM-based model checking concepts

Eilif Hjelseth · Duo Research Archive (University of Oslo) · 2016 · 34 citations · Full text

Rows per page

1–5 of 12