Wissenschaftliche Publikationen
Zeitschriftenartikel (7)
1.
Zeitschriftenartikel
12, S. 3147 - 3186 (2011)
Adaptive exact inference in graphical models. Journal of Machine Learning Research 2.
Zeitschriftenartikel
Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', S. 1 - 37 (2011)
3.
Zeitschriftenartikel
34 (1), S. 137 - 150 (2011)
Peer-to-peer multipoint video conferencing with layered video. Journal of Network and Computer Applications 4.
Zeitschriftenartikel
Online First, S. 1 - 46 (2011)
The Locally Nameless Representation. Journal of Automated Reasoning 5.
Zeitschriftenartikel
21, S. 1301 - 1337 (2011)
Provenance as dependency analysis. Mathematical Structures in Computer Science 6.
Zeitschriftenartikel
2011, 895398, S. 1 - 17 (2011)
VCG with Communities on Random Ad Hoc Networks. International Journal of Distributed Sensor Networks 7.
Zeitschriftenartikel
Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, S. 497 - 562 (2011)
Konferenzband (1)
8.
Konferenzband
TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation
, Austin, TX, USA, 25. Januar 2011. (2011)
Konferenzbeitrag (36)
9.
Konferenzbeitrag
Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA '11, Portland, OR, 22. Oktober 2011 - 27. Oktober 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, S. 499 - 518 (2011)
10.
Konferenzbeitrag
Parallelism in dynamic well-spaced point sets. In: SPAA’11: proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, S. 33 - 42. SPAA '11, San Jose, CA, 04. Juni 2011 - 06. Juni 2011. ACM, New York, NY (2011)
11.
Konferenzbeitrag
Kinetic mesh refinement in 2D. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry (SCG’11), S. 341 - 350. SCG '11, Paris, France, 13. Juni 2011 - 14. Juni 2011. ACM, New York, NY (2011)
12.
Konferenzbeitrag
Media Landscape in Twitter: A World of New Conventions and Political Diversity. In: Proceedings of the Fifth International Conference on Weblogs and Social Media, S. 18 - 25. ICWSM 2011, Barcelona, Spain, 17. Juli 2011 - 21. Juli 2011. AAAI, Menlo Park, CA (2011)
13.
Konferenzbeitrag
Large-scale incremental data processing with change propagation. In: 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '11), S. 1 - 5. HotCloud '11, Portland, OR, 14. Juni 2011 - 15. Juni 2011. USENIX, Berkeley, CA (2011)
14.
Konferenzbeitrag
Incoop: MapReduce for incremental computations. In: Proceedings of the Second ACM Symposium on Cloud Computing: SOCC 2011, 7, S. 7:1 - 7:14. SOCC 2011, Cascais, Portugal, 26. Oktober 2011 - 28. Oktober 2011. ACM, New York, NY (2011)
15.
Konferenzbeitrag
Characteristic formulae for the verification of imperative programs. In: ICFP’11: Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, S. 418 - 430. ICFP'11, Tokyo, Japan, 19. September 2011 - 21. September 2011. ACM, New York, NY (2011)
16.
Konferenzbeitrag
Minimum Attention Controller Synthesis for Omega-Regular Objectives. In: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, S. 145 - 159 (Hg. Fahrenberg, U.; Tripakis, S.). FORMATS 2011, Aalborg, Denmark, 21. September 2011 - 23. September 2011. Springer, Berlin (2011)
17.
Konferenzbeitrag
Bring Order to Online Social Networks. In: 2011 Proceedings IEEE INFOCOM, S. 541 - 545. INFOCOM 2011, Shanghai, China, 10. April 2011 - 15. April 2011. IEEE, Piscataway, NJ (2011)
18.
Konferenzbeitrag
Finding complex concurrency bugs in large multi-threaded applications. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, S. 215 - 228. EuroSys '11, Salzburg, Austria, 10. April 2011 - 13. April 2011. ACM, New York, NY (2011)
19.
Konferenzbeitrag
Efficient middleware for Byzantine fault tolerant database replication. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, S. 107 - 122. EuroSys '11, Salzburg, Austria, 10. April 2011 - 13. April 2011. ACM, New York, NY (2011)
20.
Konferenzbeitrag
How to Make Ad Hoc Proof Automation Less Ad Hoc. In: ICFP’11: proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, S. 163 - 175. ICFP’11, Tokyo, Japan, 19. September 2011 - 21. September 2011. ACM, New York, NY (2011)