Jessica Herring

According to our database¹, Jessica Herring authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

A Pilot Investigation of Human Preference for Robot Arm Visual Form.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024