Author Info
Name
Affiliation
Papers
ASHUTOSH GUPTA
TIFR, India and IST Austria
6
Collaborators
Citations 
PageRank 
17
5
2.11
Referers 
Referees 
References 
19
94
32
Title
Citations
PageRank
Year
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system00.342021
SMT Solving for Vesicle Traffic Systems in Cells.00.342018
Model checking the evolution of gene regulatory networks.30.392017
Verifying Array Manipulating Programs by Tiling.10.352017
Matching Multiplications In Bit-Vector Formulas10.352017
Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology00.342015