Konferenzbeitrag (45)
41.
Konferenzbeitrag
Verifying Read-copy-update in a Logic for Weak Memory. In: PLDI'15, S. 110 - 120 (Hg. Grove, D.; Blackburn, S.). 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 13. Juni 2015 - 17. Juni 2015. ACM, New York, NY (2015)
42.
Konferenzbeitrag
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. In: POPL'15, S. 209 - 220. 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15. Januar 2015 - 17. Januar 2015. ACM, New York, NY (2015)
43.
Konferenzbeitrag
Guardat: Enforcing Data Policies at the Storage Layer. In: EuroSys 2015, 13. Tenth European Conference on Computer Systems, Bordeaux, France, 21. April 2015 - 24. April 2015. ACM, New York, NY (2015)
44.
Konferenzbeitrag
Modeling Adoption and Usage of Competing Products. In: 15th IEEE International Conference on Data Mining, S. 409 - 418 (Hg. Aggarwal, C.; Zhou, Z.-H.; Tuzhilin, A.; Xiong, H.; Wu, X.). 15th International Conference on Data Mining, Atlantic City, NJ, USA, 14. November 2015 - 17. November 2015. IEEE, Piscataway, NJ (2015)
45.
Konferenzbeitrag
Infinite Factorial Dynamical Model. In: Advances in Neural Information Processing Systems 29, S. 1657 - 1665 (Hg. Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. et al.). Twenty-ninth Annual Conference on Neural Information Processing Systems, Montréal, Canada, 07. Dezember 2015 - 12. Dezember 2015. Curran, New York, NY (2015)
46.
Konferenzbeitrag
A Bayesian Nonparametric Approach for Blind Multiuser Channel Estimation. In: 23rd European Signal Processing Conference, S. 2766 - 2770. 23rd European Signal Processing Conference, Nice, France, 31. August 2015 - 04. September 2015. IEEE, Piscataway, NJ (2015)
47.
Konferenzbeitrag
Strength in Numbers: Robust Tamper Detection in Crowd Computations. In: COSN'15, S. 113 - 124. 3rd ACM Conference on Social Networks, Palo Alto, CA, USA, 02. November 2015 - 03. November 2015. ACM, New York, NY (2015)
48.
Konferenzbeitrag
Global Real-time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. In: IEEE 36th Real-Time Systems Symposium, S. 1 - 12. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, 01. Dezember 2015 - 04. Dezember 2015. IEEE Computer Society, Los Alamitos, CA (2015)
49.
Konferenzbeitrag
Fairness Constraints: A Mechanism for Fair Classification. In: 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning. 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning, Lille, France, 11. Juli 2015. (2015)
50.
Konferenzbeitrag
Refinement Types for Incremental Computational Complexity. In: Programming Languages and Systems, S. 406 - 431 (Hg. Vitek, J.). 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
Poster (1)
51.
Poster
Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)
Hochschulschrift - Doktorarbeit (4)
52.
Hochschulschrift - Doktorarbeit
Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 S., Universität des Saarlandes, Saarbrücken (2015)
53.
Hochschulschrift - Doktorarbeit
Incremental Parallel and Distributed Systems. Dissertation, 193 S., Universität des Saarlandes, Saarbrücken (2015)
54.
Hochschulschrift - Doktorarbeit
Effective Testing for Concurrency Bugs. Dissertation, 152 S., Universität des Saarlandes, Saarbrücken (2015)
55.
Hochschulschrift - Doktorarbeit
Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 S., Universität des Saarlandes, Saarbrücken (2015)
Forschungspapier (1)
56.
Forschungspapier
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 S.