(2) University of Iowa)

Identifiers

No identifiers captured yet.

Papers (3)

1. Towards Multi-Stakeholder Vulnerability Notifications in the Ad-Tech Supply Chain cs.CR · 2024 · author #5
2. Knots Connected by Wide Ribbons math.GT · 2018 · author #4
3. SyGuS Techniques in the Core of an SMT Solver cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Reynolds (1) 1 shared papers
• Cesare Tinelli (2) ((1) University of Iowa 1 shared papers
• Davis 1 shared papers
• Jonathan Simon (2) ((1) Western Illinois University - Quad Cities 1 shared papers
• Oguz Durumeric (2) 1 shared papers
• Rishab Nithyanand (2) 1 shared papers
• Susan C. Brooks (1) 1 shared papers
• Yash Vekaria (1) 1 shared papers
• Zubair Shafiq (1) ((1) University of California 1 shared papers