Concepedia

Nicholas Nisbet

NN

8

Publications

276

Citations

8

H-Index

2010

Active since

Affiliations

University College London(Current)

Polytechnic University of Timişoara

University of Ljubljana

Norwegian University of Life Sciences

University College of Northern Denmark

Nicholas Nisbet is an author at University College London specializing in engineering, design, and software engineering.

Top concepts

EngineeringDesignVerificationFormal MethodsSoftware DesignSoftware AnalysisFormal VerificationSoftware EngineeringComputer ScienceSoftware Testing

Publications per year

2010–2024

8

Publications

8

Facility Management Handover Model View

E. William East, Nicholas Nisbet, Thomas Liebich · Journal of Computing in Civil Engineering · 2012 · 126 citations

Facility Planning, Handover Documents, Engineering +19

EXPLORING SEMANTIC BASED MODEL CHECKING

Eilif Hjelseth, Nicholas Nisbet · 2010 · 36 citations

Engineering, Verification, Software Systems +19

OVERVIEW OF CONCEPTS FOR MODEL CHECKING

Eilif Hjelseth, Nicholas Nisbet · 2010 · 24 citations

Engineering, Verification, Software Systems +17

Capabilities of rule representations for automated compliance checking in healthcare buildings

Zijing Zhang, Nicholas Nisbet, Ling Ma et al. · Automation in Construction · 2022 · 21 citations · Full text

Engineering, Verification, Software Engineering +28

Digital approaches to construction compliance checking: Validating the suitability of an ecosystem approach to compliance checking

Thomas Beach, Jonathan Yeung, Nicholas Nisbet et al. · Advanced Engineering Informatics · 2023 · 21 citations · Full text

Rows per page

1–5 of 8