Ankit Shukla

Identifiers

No identifiers captured yet.

Papers (2)

1. Synthesis for Vesicle Traffic Systems q-bio.SC · 2018 · author #3
2. SMT Solving for Vesicle Traffic Systems in Cells cs.OH · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Gupta 2 shared papers
• Mandyam Srivas 1 shared papers
• Mukund Thattai 1 shared papers
• Somya Mani 1 shared papers