Wissenschaftliche Publikationen
Zeitschriftenartikel (10)
1.
Zeitschriftenartikel
2, e87 (2016)
OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 2.
Zeitschriftenartikel
41 (2), S. 16 - 21 (2016)
Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 3.
Zeitschriftenartikel
39 (1), S. 81 - 92 (2016)
Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 4.
Zeitschriftenartikel
63 (1), 10 (2016)
Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 5.
Zeitschriftenartikel
34 (2), 9, S. 1 - 33 (2016)
Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 6.
Zeitschriftenartikel
17, 90, S. 1 - 29 (2016)
Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 7.
Zeitschriftenartikel
2016 (4), S. 436 - 453 (2016)
Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 8.
Zeitschriftenartikel
26 (1), S. 5 - 32 (2016)
Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 9.
Zeitschriftenartikel
38 (9), S. 1816 - 1828 (2016)
Infinite Factorial Unbounded-State Hidden Markov Model. IEEE Transactions on Pattern Analysis and Machine Intelligence 10.
Zeitschriftenartikel
28 (2), S. 354 - 381 (2016)
Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation Buchkapitel (1)
11.
Buchkapitel
From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, S. 87 - 138 (Hg. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)
Konferenzband (1)
12.
Konferenzband
POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2015 - 22. Januar 2015. ACM, New York, NY (2016), XVI, 817 S.
Konferenzbeitrag (73)
13.
Konferenzbeitrag
Explaining Relaxed Memory Models with Program Transformations. In: FM 2016: Formal Methods, S. 479 - 495 (Hg. Fitzgerald, J.; Heitmeyer, C.; Gnesi, S.; Philippou, A.). 21st International Symposium on Formal Methods, Limassol, Cyprus, 02. November 2016 - 11. November 2016. Springer, Berlin (2016)
14.
Konferenzbeitrag
Reasoning about Fences and Relaxed Atomics. In: PDP 2016, S. 520 - 527. 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Heraklion Crete, Greece, 17. Februar 2016 - 19. Februar 2016. IEEE, Piscataway, NJ (2016)
15.
Konferenzbeitrag
SoK: Lessons Learned From Android Security Research For Appified Software Platforms. In: IEEE Symposium on Security and Privacy, S. 433 - 451. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)
16.
Konferenzbeitrag
You Get Where You're Looking for: The Impact of Information Sources on Code Security. In: IEEE Symposium on Security and Privacy, S. 289 - 305. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)
17.
Konferenzbeitrag
I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, S. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)
18.
Konferenzbeitrag
On the Efficiency of the Information Networks in Social Media. In: WSDM'16, S. 82 - 93. 9th ACM International Conference on Web Search and Data Mining, San Francisco, CA, USA, 22. Februar 2016 - 25. Februar 2016. ACM, New York, NY (2016)
19.
Konferenzbeitrag
Simulating the Large-Scale Erosion of Genomic Privacy Over Time. In: Proceedings of the 3rd International Workshop on Genome Privacy and Security. 3rd International Workshop on Genome Privacy and Security, Chicago, IL, USA, 12. November 2016. (2016)
20.
Konferenzbeitrag
Membership Privacy in MicroRNA-based Studies. In: CCS'16, S. 319 - 330. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)