Search results for: Nishant Sinha
Bipolar Disorders > 23 > 1 > 41 - 48
Journal of Hardware and Systems Security > 2019 > 3 > 1 > 64-77
NeuroImage: Clinical > 2018 > 18 > C > 202-214
BMC Neuroscience > 2017 > 18 > 1 > 1-82
Lecture Notes in Computer Science > Computer Aided Verification > Applications of Learning > 534-547
International Journal of Hydrogen Energy > 2016 > 41 > 18 > 7631-7640
Lecture Notes in Computer Science > Computer Aided Verification > Session I: Compositionality > 39-54
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Model Checking > 243-258