pith. sign in

(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