1. Alagić, S., Royer, M.: Genericity in Java: Persistent and database system implications. The VLDB Journal (2007), http://www.springerlink.com/content/a067l813x8p28724/
2. Alagić, S., Royer, M., Crews, D.: Temporal verification of Java-like classes. In: Proceedings of FTfJP 2006 (2006), http://www.disi.unige.it/person/AnconaD/FTfJP06/
3. Alagić, S., Royer, M., Briggs, D.: Program verification techniques for XML Schema-based technologies. In: Proceedings of ICSOFT, vol. 2, pp. 86–93 (2006)
4. Alagić, S., Royer, M.: Next generation of virtual platforms, http://www.odbms.org/experts.aspx#article4
5. Lecture Notes in Computer Science;S. Alagić,2004