Shetal Shah

Identifiers

• name variant Shetal Shah 0.60 · backfill

Papers (4)

1. What's hard about Boolean Functional Synthesis cs.LO · 2018 · author #5
2. Towards Parallel Boolean Functional Synthesis cs.LO · 2017 · author #4
3. Skolem Functions for Factored Formulas cs.LO · 2015 · author #2
4. Data Generation for Testing and Grading SQL Queries cs.DB · 2014 · author #5

Mentions

• 1508.05497 #2 · backfill · confidence 0.70 Shetal Shah
• 1411.6704 #5 · backfill · confidence 0.70 Shetal Shah

Frequent Coauthors

• S. Akshay 3 shared papers
• Supratik Chakraborty 3 shared papers
• Ajith K. John 2 shared papers
• Ashutosh Trivedi 1 shared papers
• Bhupesh Chawda 1 shared papers
• Bikash Chandra 1 shared papers
• Biplab Kar 1 shared papers
• K. V. Maheshwara Reddy 1 shared papers
• Shubham Goel 1 shared papers
• S. Sudarshan 1 shared papers
• Sumith Kulal 1 shared papers