Search results for: K. Lahiri
Journal of Food Processing and Preservation > 46 > 12 > n/a - n/a
Molecular Neurobiology > 2019 > 56 > 10 > 7173-7187
Journal of Neurochemistry > 147 > 6 > 831 - 848
Formal Methods in System Design > 2019 > 54 > 1 > 4-26
European Journal of Inorganic Chemistry > 2018 > 26 > 3126 - 3130
Journal of Electrocardiology > 2018 > 51 > 1 > 135-137
Formal Methods in System Design > 2018 > 53 > 1 > 33-53
Journal of Automated Reasoning > 2018 > 60 > 1 > 23-42
Journal of Psychiatric Research > 2017 > 84 > C > 153-160
Molecular Neurobiology > 2017 > 54 > 10 > 8063-8070
Current Hypotheses and Research Milestones in Alzheimer's Disease > General Aspects of AD Pathogenesis > 205-214
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 231-246
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 348-362