David Zhao

Identifiers

No identifiers captured yet.

Papers (3)

1. Provenance for Large-scale Datalog cs.PL · 2019 · author #1
2. SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation cs.CR · 2018 · author #4
3. Coloring graphs with crossings math.CO · 2005 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander Jordan 1 shared papers
• Behnaz Hassanshahi 1 shared papers
• Bernhard Scholz 1 shared papers
• Bogdan Oporowski 1 shared papers
• Fran\c{c}ois Gauthier 1 shared papers
• Pavle Subotic 1 shared papers