1. Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. Proc. of the Intl. Workshop on ContextOriented Programming. COP'15 . ACM, 2015 , 8 : 1-8 :7. isbn: 978-1-4503- 3654 - 3653 . Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. Proc. of the Intl. Workshop on ContextOriented Programming. COP'15. ACM, 2015, 8 : 1-8 :7. isbn: 978-1-4503-3654-3.
2. Programming language implementations for context-oriented self-adaptive systems
3. Satish Chandra and Thomas Reps . Physical type checking for C . Proc. of the Workshop on Program analysis for software tools and engineering. 1999 , pp. 66 - 75 . Satish Chandra and Thomas Reps. Physical type checking for C. Proc. of the Workshop on Program analysis for software tools and engineering. 1999, pp. 66-75.
4. Conf. on Aspect-Oriented Software Development . AOSD'13 . Conf. on Aspect-Oriented Software Development. AOSD'13.
5. ACM 2013 pp. 209-220. isbn: 978-1-4503-1766-5. doi: 10. ACM 2013 pp. 209-220. isbn: 978-1-4503-1766-5. doi: 10.