Location Polling Algorithm for Alerting Service Based on Location. - Byung-Ik Ahn; Sung-Bong Yang; Heui-Chae Jin; Jin-Yul Lee (W2GIS, 2005)

OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems. - Sang-Min Choi; Jiho Park 002; Quan Hoang Nguyen 001; Andre Cronje; Ki-Young Jang; Hyunjoon Cheon; Yo-Sub Han; Byung-Ik Ahn (CoRR, 2018)