Onur Demir

A hierarchical clustering and routing procedure for large scale disaster relief logistics planning

Linet Özdamar, Onur Demir · Transportation Research Part E Logistics and Transportation Review · 2011 · 253 citations

Management, Disaster Planning, Emergency Planning +15

Design of a Centrifugal Blood Pump: Heart Turcica Centrifugal

Onur Demir, Emre Biyikli, İsmail Lazoğlu et al. · Artificial Organs · 2011 · 17 citations

Engineering, Cardiology, Cardiothoracic Surgery +14

SecChisel Framework for Security Verification of Secure Processor Architectures

Shuwen Deng, Doğuhan Gümüşoğlu, Wenjie Xiong et al. · 2019 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +17

Survey of Approaches and Techniques for Security Verification of Computer Systems

Ferhat Erata, Shuwen Deng, Faisal Zaghloul et al. · ACM Journal on Emerging Technologies in Computing Systems · 2022 · 12 citations · Full text

Computing, Computer Science, Computer Systems +16

Survey of Approaches for Security Verification of Hardware/Software Systems.

Onur Demir, Wenjie Xiong, Faisal Zaghloul et al. · IACR Cryptology ePrint Archive · 2016 · 11 citations

Computing, Computer Engineering, Computer Science +14