IIT Database Group

2011
[3] Smile: Enabling Easy and Fast Development of Domain-Specific Scheduling Protocols (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), In Proceedings of the 28th British National Conference on Databases (BNCOD), 2011. [bibtex] [pdf]
[2] Declarative Serializable Snapshot Isolation (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), In Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS), 2011. [bibtex] [pdf]
2010
[1] Correctness Proof of the Declarative SS2PL Protocol Implementation (Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne), Technical report, University of Zurich, 2010. [bibtex] [pdf]