Cited By
View all- Louie RGergle DZhang H(2022)Affinder: Expressing Concepts of Situations that Afford Activities using Context-DetectorsProceedings of the 2022 CHI Conference on Human Factors in Computing Systems10.1145/3491102.3501902(1-18)Online publication date: 29-Apr-2022
- Ivanov RJothimurugan KHsu SVaidya SAlur RBastani O(2021)Compositional Learning and Verification of Neural Network ControllersACM Transactions on Embedded Computing Systems10.1145/347702320:5s(1-26)Online publication date: 22-Sep-2021
- Chen ZLei HYang MLiao YQiao L(2021)A Hierarchical Hybrid Locking Protocol for Parallel Real-Time TasksACM Transactions on Embedded Computing Systems10.1145/347701720:5s(1-22)Online publication date: 22-Sep-2021
- Show More Cited By