Conference Paper (73)
81.
Conference Paper
Strengthening Weak Identities Through Inter-Domain Trust Transfer. In: WWW'16, pp. 1249 - 1259. 25th International Conference on World Wide Web , Montréal, Canada, May 11, 2016 - May 15, 2016. ACM, New York, NY (2016)
82.
Conference Paper
SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion. In: Research in Attacks, Intrusions, and Defenses, pp. 165 - 187 (Eds. Monrose, F.; Dacier, M.; Blanc, G.; Garcia-Alfaro, J.). 19th International Symposium on Research in Attacks, Intrusions, and Defenses, Paris, France, September 19, 2016 - September 21, 2016. Springer, Berlin (2016)
83.
Conference Paper
On the Wisdom of Experts vs. Crowds: Discovering Trustworthy Topical News in Microblogs. In: CSCW '16, pp. 438 - 451. 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing, San Francisco, CA, USA, February 27, 2016 - March 02, 2016. ACM, New York, NY (2016)
84.
Conference Paper
Message Impartiality in Social Media Discussions. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 466 - 475. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)
85.
Conference Paper
A Type Theory for Incremental Computational Complexity with Control Flow Changes. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programmin, pp. 132 - 145. 21th ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, September 18, 2016 - September 22, 2016. ACM, New York, NY (2016)
Thesis - PhD (3)
86.
Thesis - PhD
Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
87.
Thesis - PhD
Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
88.
Thesis - PhD
Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
Working Paper (16)
89.
Working Paper
On the Efficiency of the Information Networks in Social Media. (2016), 10 pp.
90.
Working Paper
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 pp.
91.
Working Paper
Hitting Families of Schedules for Asynchronous Programs. (2016), 28 pp.
92.
Working Paper
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. (2016), 45 pp.
93.
Working Paper
The Case for Temporal Transparency: Detecting Policy Change Events in Black-Box Decision Making Systems. Fairness, Accountability, and Transparency in Machine Learning (2016), 7 pp.
94.
Working Paper
The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 pp.
95.
Working Paper
Sparsity Preserving Algorithms for Octagons. (2016), 14 pp.
96.
Working Paper
Smart Broadcasting: Do you Want to Be Seen? (2016), 17 pp.
97.
Working Paper
Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.
98.
Working Paper
Computing Distances between Reach Flowpipes. (2016), 12 pp.
99.
Working Paper
Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.
100.
Working Paper
A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.