ashwini kumar

ashwini kumar

在 igidr.ac.in 的电子邮件经过验证
被引用次数：8039
Formal Method CCS Cryptography ECC Cloud Computing
Sandeep Shukla

Sandeep Shukla

Professor of Computer Science and Engineering
在 cse.iitk.ac.in 的电子邮件经过验证
被引用次数：7292
cyber security Blockchain cyber physical systems Formal Method
Lijun Zhang

Lijun Zhang

Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese
在 ios.ac.cn 的电子邮件经过验证
被引用次数：2572
formal method probabilistic model checking hybrid system
Yu-Fang Chen

Yu-Fang Chen

Research Fellow/Professor, Academia Sinica
在 iis.sinica.edu.tw 的电子邮件经过验证
被引用次数：1851
Program Verification Formal Method Model Checking Theory of Computation
Jianwei Niu

Jianwei Niu

Professor of Computer Science, UTSA
在 utsa.edu 的电子邮件经过验证
被引用次数：1650
Cyber Security Privacy Formal Method Software Engineering
Han Liu

Han Liu

University College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.
在 tbtl.com 的电子邮件经过验证
被引用次数：1343
Blockchain RegTech System security Formal method
Dr. Hussam Al-Hamadi

Dr. Hussam Al-Hamadi

Assistant Professor | Director of the MSCS Program, University of Dubai
在 ud.ac.ae 的电子邮件经过验证
被引用次数：1262
Cyber Security AI IoT Formal Method
Luan Viet Nguyen

Luan Viet Nguyen

Assistant Professor, University of Dayton
在 udayton.edu 的电子邮件经过验证
被引用次数：1111
Cyber-physical Systems Distributed Systems Formal Method and Control Theory
Wei Ke

Wei Ke

Macao Polytechnic University
在 mpu.edu.mo 的电子邮件经过验证
被引用次数：920
software engineering programming language formal method computer vision machine learning
Jianqi SHI

Jianqi SHI

National Trustworthy Embedded Software Research Center, East China Normal University
在 sei.ecnu.edu.cn 的电子邮件经过验证
被引用次数：699
Formal Method Industry Software Binary Analysis
1 - 10