| 2023 | LICS | Deterministic stream-sampling for probabilistic programming: semantics and verification. | Fredrik Dahlqvist, Alexandra Silva, William Smith |
| 2020 | IROS | Heterogeneous Vehicle Routing and Teaming with Gaussian Distributed Energy Uncertainty. | Bo Fu, William Smith, Denise M. Rizzo, Matthew P. Castanier, Kira Barton |
| 2019 | ICCV | Orientation-Aware Semantic Segmentation on Icosahedron Spheres. | Chao Zhang, Stephan Liwicki, William Smith, Roberto Cipolla |
| 2018 | Mobisys | Geomagnetic Field based Human Search and Following for Autonomous Robots. | Sen Wang, Qingfeng Xia, William Smith |
| 2017 | CSIT | The vector rotor as instrument of image segmentation for sensors of automated system of technological control. | Mykola Fisun, William Smith, Alexander Trunov |
| 2016 | ICIP | Membrane segmentation via active learning with deep networks. | Utkarsh Gaur, Matthew Kourakis, Erin Newman-Smith, William Smith, B. S. Manjunath |
| 2013 | MICCAI | A Linear Program Formulation for the Segmentation of Ciona Membrane Volumes. | Diana L. Delibaltov, Pratim Ghosh, Volkan Rodoplu, Michael Veeman, William Smith, B. S. Manjunath |
| 2013 | PACT | Rigid Body Molecular Dynamics within the Domain Decomposition Framework of DL_POLY_4. | Ilian T. Todorov, Laurence Ellison, William Smith |
| 2011 | IROS | Fast computation of wheel-soil interactions for safe and efficient operation of mobile robots. | Zhenzhong Jia, William Smith, Huei Peng |
| 2007 | WSC | Using discrete event simulation to examine marine training at the Marine Corps Communication-Electronics school. | Jon Davenport, Charles Neu, William Smith, Susan Heath |
| 1989 | CBMS | Application of computers in development of a total artificial heart. | Stephen Himley, Kenneth Butler, Setsuo Takatani, William Smith, Yukihiko Nose |