UIC Database Group

Header bar

Oshiya

Collaborators

  • Carl-Christian Kanne - Platfora
  • Christian Tilgner
  • Michael H. Böhlen - University of Zurich

Publications

  1. Smile: Enabling Easy and Fast Development of Domain-Specific Scheduling Protocols
    Christian Tilgner, Boris Glavic, Michael H. Böhlen and Carl-Christian Kanne
    Proceedings of the 28th British National Conference on Databases (2011), pp. 128–131.
    details
  2. Declarative Serializable Snapshot Isolation
    Christian Tilgner, Boris Glavic, Michael H. Böhlen and Carl-Christian Kanne
    Proceedings of the 15th International Conference on Advances in Database and Information Systems (2011), pp. 170–184.
    details
  3. Correctness Proof of the Declarative SS2PL Protocol Implementation
    Christian Tilgner, Boris Glavic, Michael H. Böhlen and Carl-Christian Kanne
    University of Zurich.
    details