Search results for: Lei Bu
Journal of Software: Evolution and Process > 36 > 4 > n/a - n/a
Natural Hazards > 2018 > 94 > 3 > 1255-1276
Pacing and Clinical Electrophysiology > 41 > 8 > 1036 - 1042
Current Opinion in Biotechnology > 2017 > 47 > C > 30-35
IEEE Transactions on Computers > 2017 > 66 > 3 > 416 - 430
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Timed and Hybrid Automata > 155-169
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 78-94
KSCE Journal of Civil Engineering > 2016 > 20 > 3 > 997-1005
IEEE Transactions on Parallel and Distributed Systems > 2015 > 26 > 10 > 2630 - 2642
Cell Reports > 2014 > 9 > 3 > 810-820
IEEE Transactions on Parallel and Distributed Systems > 2014 > 25 > 3 > 642 - 652
Formal Methods in System Design > 2014 > 45 > 1 > 42-62