Jesse Wu

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Propositional Logic

Top Venues

Publications

Rajeev Goré, Jimmy Thomson, Jesse Wu
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR (2014)
Sathiamoorthy Manoharan, Jesse Wu
Software Licensing: A Classification and Case Study. ICDS (2007)
Weng-Long Chang, Minyi Guo, Jesse Wu
Solving the Independent-set Problem in a Dna-based Supercomputer Model. Parallel Process. Lett. 15 (4) (2005)
Weng-Long Chang, Minyi Guo, Jesse Wu
Is Cook's Theorem Correct for DNA-Based Computing? ISHPC (2003)
Shih-yu Shen, Jesse Wu, Hsin-Chuan Lin
An Acoustical Study of Syllables of Mandarin Speech. Int. J. Speech Technol. 3 (1) (1999)
Weng-Long Chang, Chih-Ping Chu, Jesse Wu
The Generalized Lambda Test. IPPS/SPDP (1998)
Eitan M. Gurari, Jesse Wu
A WYSIWYG literate programming system (preliminary report). ACM Conference on Computer Science (1991)