Liudong Xing

Liudong Xing

Professor, UMass Dartmouth
Verified email at umassd.edu
Cited by 11133
Reliability Resilience Wireless Sensor Network IoT Decision Diagram
Chuan Jiang

Chuan Jiang

Department of Computer Science, Iowa State University
Verified email at iastate.edu
Cited by 52
Formal method Model checking Satisfiability Decision diagram
Yu Nakahata

Yu Nakahata

Nara Institute of Science and Technology
Verified email at is.naist.jp
Cited by 46
graph algorithm decision diagram enumeration problem combinatorial reconfiguration