Joseph Sanchez

According to our database, Joseph Sanchez authored at least 3 papers between 2020 and 2025.

Collaborative distances:

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

2025

High Quality Embeddings for Horn Logic Reasoning.

Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin

Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

2021

Understanding Bounding Functions in Safety-Critical UAV Software.

Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Exploration of Coral Reefs in Hawai'i through Virtual Reality: Hawaiian Coral Reef Museum VR.

Francis Ray Cristobal, Michael Dodge II, Briana Noll, Nickolas Rosenberg, John H. R. Burns, Joseph Sanchez, Drew Gotshalk, Kailey H. Pascoe, Alexandra Runyan

Proceedings of the PEARC '20: Practice and Experience in Advanced Research Computing, 2020