Jesse Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2007–2014
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. | Rajeev Gor, Jimmy Thomson, Jesse Wu |
| 2007 | ICDS | Software Licensing: A Classification and Case Study. | Sathiamoorthy Manoharan, Jesse Wu |