Concepedia

V.D. Dimitriadis

VD

Statistics

Publications

5

Citations

270

H-Index

5

Active since

1995

Affiliations

Imperial College London(Current)

V.D. Dimitriadis is an author at Imperial College London specializing in engineering, systems engineering, and process control.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsProcess SafetyProcess ControlFormal VerificationSafety ScienceComputer ScienceBiostatistics

Publications per year

1995–1998

5

Publications

5

Flexibility Analysis of Dynamic Systems

V.D. Dimitriadis, Efstratios N. Pistikopoulos · Industrial & Engineering Chemistry Research · 1995 · 174 citations

Engineering, Media Standards, Databases +19

Modeling and safety verification of discrete/continuous processing systems

V.D. Dimitriadis, Nilay Shah, C.C. Pantelides · AIChE Journal · 1997 · 46 citations

Engineering, Verification, Model Checking +21

A case study in hybrid process safety verification

V.D. Dimitriadis, J. Hackenberg, Nilay Shah et al. · Computers & Chemical Engineering · 1996 · 24 citations

Safety-critical System, Reliability Engineering, Engineering +12

Integrating knowledge-based and mathematical programming approaches for process safety verification

Rajagopalan Srinivasan, V.D. Dimitriadis, Nilay Shah et al. · Computers & Chemical Engineering · 1997 · 13 citations

Safety Engineering, Process Safety Verification, Safety-critical System +15

Safety verification using a hybrid knowledge‐based mathematical programming framework

Rajagopalan Srinivasan, V.D. Dimitriadis, Nilay Shah et al. · AIChE Journal · 1998 · 13 citations

Engineering, Verification, Safety Science +24

1–5 of 5