13 citations · 23 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
q-bio.SC2018★ 1 cited
Synthesis for Vesicle Traffic Systems
Ashutosh Gupta, Somya Mani, Ankit Shukla
Vesicle Traffic Systems (VTSs) are the material transport mechanisms among the compartments inside the biological cells. The compartments are viewed as nodes that are labeled with…
cs.OH2018★ 1 cited
SMT Solving for Vesicle Traffic Systems in Cells
Ashutosh Gupta, Ankit Shukla, Mandyam Srivas +1
In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to e…