Correctness proof of the declarative SS2PL protocol implementation(techreport)Michael H. Böhlen, Boris Glavic, Carl-Christian Kanne, Christian Tilgner IFI-2010.0008, University of Zurich, Department of Informatics, 09, Zürich, Switzerland, 2010 | ||||||||||||||||||||||||||
LiveShift: mesh-pull P2P live and time-shifted video streaming(techreport)Thomas Bocek, Richard G. Clegg, David Hausheer, Fabio Hecht, Raul Landa, Burkhard Stiller IFI-2010.0009, University of Zurich, Department of Informatics, 09, 2010 | ||||||||||||||||||||||||||
Discourse representation structures for ACE 6.6(techreport)Norbert E. Fuchs University of Zurich, Department of Informatics, 11, IFI-2010.0010, 2010 | ||||||||||||||||||||||||||
Displaying centre of pressure location by electrotactile stimulation using phantom sensation(conference)S Pfeifer, O Çaldıran, H Vallery, R Riener, A Hernandez Arieta Proceedings of the 10th Vienna International Workshop on Functional Electrical Stimulation and 15th IFESS Annual Conference, 71–73, 2010 | ||||||||||||||||||||||||||
Controlled Legal German 1.0: Einführung und Spezifikation(techreport)IFI-2010.0011, University of Zurich, Department of Informatics, 08, 2010 |
E-Glossary - Das Glossar als wissensvermittelndes Element in einem eLearning System(mastersthesis)Roman Sebastian Haag Helmut Schauer and Florian Gnägi(Eds.) Zurich, Switzerland, January, University of Zurich, ee, 2009 | ||||||||||||||||||||||||||
Change Analysis with Evolizer and ChangeDistiller(article)Harald C. Gall, Beat Fluri, Martin Pinzger , IEEE Software, January/February, 1, 26--33, 26, s.e.a.l., 2009 | ||||||||||||||||||||||||||
Collaborative Work in 3D Virtual Environments: A Research Agenda and Operational Framework(inproceedings)Béatrice S. Hasler, Thierry Bücheler, Rolf Pfeifer July, 13th international conference on Human-Computer Interaction (HCII), San Diego, USA, ailab, 2009 | ||||||||||||||||||||||||||
Perm: Processing provenance and data on the same data model through query rewriting(inproceedings)Boris Glavic, Gustavo Alonso ICDE '09: Proceedings of the 25th International Conference on Data Engineering, query optimization, dbtg, 2009 | ||||||||||||||||||||||||||
Provenance for Nested Subqueries(inproceedings)Boris Glavic, Gustavo Alonso EDBT '09: Proceedings of the 12th International Conference on Extending Database Technology, dbtg, 2009 |
