Login / Signup
Kjeld Svidt
ORCID
Publication Activity (10 Years)
Years Active: 2004-2022
Publications (10 Years): 3
Top Topics
Artifact Centric
Finite State
Model Checking
Temporal Logic
Top Venues
CDVE
J. Inf. Technol. Constr.
</>
Publications
</>
Peter Nørkjær Gade
,
Rasmus Lund Jensen
,
Kjeld Svidt
Business-Based Rule Translation for Building Information Modelling-Based Checking.
CDVE
(2022)
Peter Nørkjær Gade
,
Rasmus Lund Jensen
,
Kjeld Svidt
Practitioner Experiences and Requirements for Rule Translation Used for Building Information Model-Based Model Checking.
CDVE
(2021)
Peter Nørkjær Gade
,
Kjeld Svidt
Exploration of practitioner experiences of flexibility and transparency to improve BIM-based model checking systems.
J. Inf. Technol. Constr.
26 (2021)
Per Christiansson
,
Kjeld Svidt
,
Kristian Birch Pedersen
,
Ulrik Dybro
User participation in the building process.
J. Inf. Technol. Constr.
16 (2011)
Kristian Birch Sørensen
,
Per Christiansson
,
Kjeld Svidt
Ontologies to Support RFID-Based Link between Virtual Models and Construction Components.
Comput. Aided Civ. Infrastructure Eng.
25 (4) (2010)
Kristian Birch Sørensen
,
Per Christiansson
,
Kjeld Svidt
Prototype development of an ICT system to support construction management based on virtual models and RFID.
J. Inf. Technol. Constr.
14 (2009)
Per Christiansson
,
Kjeld Svidt
,
Kristian Birch Sørensen
Future integrated design environments.
J. Inf. Technol. Constr.
14 (2009)
Henrik Brohus
,
Kjeld Svidt
Application of ICT supported learning in fluid mechanics.
J. Inf. Technol. Constr.
9 (2004)