Concepedia

Steve King

SK

11

Publications

399

Citations

11

H-Index

1995

Active since

Affiliations

UNSW Sydney(Current)

University of York

National University of Malaysia

The University of Sydney

Steve King is an author at UNSW Sydney specializing in engineering, formal methods, and energy management.

Top concepts

EngineeringDesignFormal MethodsComputer ScienceProgram AnalysisEnergy ManagementSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

1995–2016

11

Publications

11

Revisiting thermal comfort models in Iranian classrooms during the warm season

Shamila Haddad, Paul Osmond, Steve King · Building Research & Information · 2016 · 83 citations · Full text

Engineering, Education, Early Childhood Education +16

Jagun Kwon, Andy Wellings, Steve King · 2002 · 65 citations

Software Maintenance, Engineering, Object-oriented Modeling +20

Application of adaptive thermal comfort methods for Iranian schoolchildren

Shamila Haddad, Paul Osmond, Steve King · Building Research & Information · 2016 · 59 citations

Ravenscar‐Java: a high‐integrity profile for real‐time Java

Jagun Kwon, Andy Wellings, Steve King · Concurrency and Computation Practice and Experience · 2005 · 47 citations

Engineering, Object-oriented Modeling, Software Systems +20

Overcoming problems in house energy ratings in temperate climates: A proposed new rating framework

Maria Kordjamshidi, Steve King · Energy and Buildings · 2008 · 34 citations · Full text

New Rating Framework, Engineering, Low-energy House +8

Rows per page

1–5 of 11