SkiAR: Wearable Augmented Reality System for Sharing Personalized Content on Ski Resort Maps. - Anton Fedosov; Ivan Elhart; Evangelos Niforatos; Alexander North; Marc Langheinrich (AH, 2016)

Multi-Process Runtime Verification for Android. - Haiyang Sun 003; Alexander North; Walter Binder (APSEC, 2017)