Joshua D. Wilson

According to our database, Joshua D. Wilson authored at least 3 papers between 2003 and 2018.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2018

Modeling Microseism Generation by Inhomogeneous Ocean Surface Waves in Hurricane Bonnie Using the Non-Linear Wave Equation.

Joshua D. Wilson

Remote. Sens., 2018

2003

Studying program correctness in ProVIDE.

Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

Studying program correctness by constructing contracts.

Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003