Items where Author is "Shukla, Ankit"

Article

Bhattacharyya, Arnab ; Gupta, Ashutosh ; Kuppusamy, Lakshmanan ; Mani, Somya ; Shukla, Ankit ; Srivas, Mandayam ; Thattai, Mukund (2019) A formal methods approach to predicting new features of the eukaryotic vesicle traffic system Acta Informatica, 58 (1-2). pp. 57-93. ISSN 0001-5903

Shukla, Ankit ; Bhattacharyya, Arnab ; Kuppusamy, Lakshmanan ; Srivas, Mandayam ; Thattai, Mukund (2017) Discovering vesicle traffic network constraints by model checking PLoS One, 12 (7). e0180692. ISSN 1932-6203