Liudong Xing

Liudong Xing

Professor, UMass Dartmouth
在 umassd.edu 的电子邮件经过验证
被引用次数：11061
Reliability Resilience Wireless Sensor Network IoT Decision Diagram
Chuan Jiang

Chuan Jiang

Department of Computer Science, Iowa State University
在 iastate.edu 的电子邮件经过验证
被引用次数：52
Formal method Model checking Satisfiability Decision diagram
Yu Nakahata

Yu Nakahata

Nara Institute of Science and Technology
在 is.naist.jp 的电子邮件经过验证
被引用次数：47
graph algorithm decision diagram enumeration problem combinatorial reconfiguration