Jesse Wu

According to our database, Jesse Wu authored at least 7 papers between 1991 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description.

Rajeev Goré, Jimmy Thomson, Jesse Wu

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2007

Software Licensing: A Classification and Case Study.

Sathiamoorthy Manoharan, Jesse Wu

Proceedings of the First International Conference on the Digital Society (ICDS 2007), 2007

2005

Solving the Independent-set Problem in a Dna-based Supercomputer Model.

Weng-Long Chang, Minyi Guo, Jesse Wu

Parallel Process. Lett., 2005

2003

Is Cook's Theorem Correct for DNA-Based Computing?

Weng-Long Chang, Minyi Guo, Jesse Wu

Proceedings of the High Performance Computing, 5th International Symposium, 2003

1999

An Acoustical Study of Syllables of Mandarin Speech.

Shih-yu Shen, Jesse Wu, Hsin-Chuan Lin

Int. J. Speech Technol., 1999

1998

The Generalized Lambda Test.

Weng-Long Chang, Chih-Ping Chu, Jesse Wu

Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

1991

A WYSIWYG literate programming system (preliminary report).

Eitan M. Gurari, Jesse Wu

Proceedings of the 19th annual conference on Computer Science, 1991