Follow
Alex Hubers
Alex Hubers
Verified email at uiowa.edu
Title
Cited by
Cited by
Year
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
202015
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
132015
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
42016
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
42016
Generic programming with extensible data types: Or, making ad hoc extensible data types less ad hoc
A Hubers, JG Morris
Proceedings of the ACM on Programming Languages 7 (ICFP), 356-384, 2023
32023
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
22023
Partial type constructors in practice
A Ingle, A Hubers, JG Morris
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 95-107, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–7