Randal Bryant

Randal Bryant

Carnegie Mellon University
在 cs.cmu.edu 的電子郵件地址已通過驗證
被引用 33201 次
Formal verification binary decision diagrams
Sean Reed

Sean Reed

Örebro University
在 oru.se 的電子郵件地址已通過驗證
被引用 439 次
Discrete event simulation Binary Decision Diagrams Digital Twins K-Terminal Network Reliability System & Survival Signatures
Stelios Neophytou

Stelios Neophytou

Associate Professor at Computer Engineering, University of Nicosia
在 unic.ac.cy 的電子郵件地址已通過驗證
被引用 322 次
VLSI Testing Binary Decision Diagrams Algorithms for Testing of Digital Integrated …
Marc Bury (né Gillé)

Marc Bury (né Gillé)

Universität Dortmund
在 tu-dortmund.de 的電子郵件地址已通過驗證
被引用 318 次
computational complexity Binary Decision Diagrams implicit algorithms streaming algorithms
Robert Meolic

Robert Meolic

Head of IT at Operato
在 meolic.com 的電子郵件地址已通過驗證
被引用 233 次
Binary Decision Diagrams Model checking Temporal logic Algorithms
Dr M Mohamed Raseen

Dr M Mohamed Raseen

被引用 136 次
Binary Decision Diagrams Genetic Algorithms Cryptography E-Health
Tobias Heß

Tobias Heß

PhD Student, University of Ulm
在 uni-ulm.de 的電子郵件地址已通過驗證
被引用 132 次
Binary Decision Diagrams SAT Software Product Lines
Graham David Price

Graham David Price

University of Colorado at Boulder
在 colorado.edu 的電子郵件地址已通過驗證
被引用 44 次
Binary Decision Diagrams Program Analysis Software Verification Data Analysis
Andrew Jackson

Andrew Jackson

Research Associate
被引用 17 次
Resilience Engineering Risk Assessment Methodologies Petri Nets Binary Decision Diagrams Fault