| Video manipulation techniques for the protection of privacy in remote presence systems A Hubers, E Andrulis, WD Smart, L Scott, T Stirrat, D Tran, R Zhang, ... Proceedings of the Tenth Annual ACM/IEEE International Conference on Human …, 2015 | 19 | 2015 |
| Using video manipulation to protect privacy in remote presence systems A Hubers, E Andrulis, L Scott, T Stirrat, R Zhang, R Sowell, M Rueben, ... Social Robotics: 7th International Conference, ICSR 2015, Paris, France …, 2015 | 12 | 2015 |
| A method for establishing correspondences between hand-drawn and sensor-generated maps L Bowen-Biggs, S Dazo, Y Zhang, A Hubers, M Rueben, R Sowell, ... Social Robotics: 8th International Conference, ICSR 2016, Kansas City, MO …, 2016 | 4 | 2016 |
| Sketched floor plans versus SLAM maps: A comparison L Bowen-Biggs, S Dazo, Y Zhang, A Hubers, M Rueben, R Sowell, ... arXiv preprint arXiv:1606.04836, 2016 | 3 | 2016 |
| A Type-Based Approach to Divide-and-Conquer Recursion in Coq P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023 | | 2023 |
| Partial type constructors in practice A Ingle, A Hubers, JG Morris Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 95-107, 2022 | | 2022 |
| Pure Functional Encodings of the Expression Problem A Hubers | | |
