Wissenschaftliche Publikationen
Zeitschriftenartikel (8)
1.
Zeitschriftenartikel
3 (1), 27 (2014)
Fast Filtering and Animation of Large Dynamic Networks. EPJ Data Science 2.
Zeitschriftenartikel
3 (1), 8 (2014)
Characterization of Online Groups Along Space, Time, and Social Dimensions. EPJ Data Science 3.
Zeitschriftenartikel
9 (3), e92196 (2014)
Entangling Mobility and Interactions in Social Media. PLoS ONE 4.
Zeitschriftenartikel
1 (2), 01, S. 1 - 22 (2014)
Blocking Optimality in Distributed Real-time Locking Protocols. Leibniz Transactions on Embedded Systems 5.
Zeitschriftenartikel
132 (1), S. 63 - 77 (2014)
Certificates of Non-membership for Classes of Read-once Functions. Fundamenta Informaticae 6.
Zeitschriftenartikel
24 (5), S. 529 - 607 (2014)
F-ing Modules. Journal of Functional Programming 7.
Zeitschriftenartikel
59 (12), S. 3151 - 3163 (2014)
Towards Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control 8.
Zeitschriftenartikel
59 (12), S. 3135 - 3150 (2014)
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Transactions on Automatic Control Konferenzband (2)
9.
Konferenzband
4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, 16. März 2014 - 21. März 2014. Schloss Dagstuhl, Wadern (2014), 18 S.
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 10.
Konferenzband
COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, 01. Oktober 2014 - 02. Oktober 2014. ACM, New York, NY (2014), 278 S.
Konferenzbeitrag (46)
11.
Konferenzbeitrag
Notes on Counting with Finite Machines. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, S. 339 - 350 (Hg. Raman, V.; Suresh, S. P.). 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, New Delhi, India, 15. Dezember 2014 - 17. Dezember 2014. Schloß Dagstuhl, Wadern (2014)
12.
Konferenzbeitrag
Brave New World: Privacy Risks for Mobile Users. In: SPME'14, S. 7 - 11. ACM MobiCom Workshop on Security and Privacy in Mobile Environments, Maui, HI, USA, 11. September 2014. ACM, New York, NY (2014)
13.
Konferenzbeitrag
EnCore: Private, Context-based Communication for Mobile Social Apps. In: MobiSys'14, S. 135 - 148. 12th Annual International Conference on Mobile Systems, Applications, and Services, Bretton Woods, NH, USA, 16. Juni 2014 - 19. Juni 2014. ACM, New York, NY (2014)
14.
Konferenzbeitrag
Synthesis of Geometry Proof Problems. In: AAAI'14, S. 245 - 252. Twenty-Eighth AAAI Conference on Artificial Intelligence, Québec City, Québec, Canada, 27. Juli 2014 - 31. Juli 2014. ACM, New York, NY (2014)
15.
Konferenzbeitrag
BackRef: Accountability in Anonymous Communication Networks. In: Applied Cryptography and Network Security, S. 380 - 400 (Hg. Boureanu, I.; Owesarski, P.). 12th International Conference on Applied Cryptography and Network Security, Lausanne, Switzerland, 10. Juni 2014 - 13. Juni 2014. Springer, Berlin (2014)
16.
Konferenzbeitrag
Deep Twitter diving: Exploring Topical Groups in Microblogs at Scale. In: Computer Supported Cooperative Work, S. 197 - 210. 17th ACM conference on Computer Supported Cooperative Work, Baltimore, MD, USA, 15. Februar 2014 - 19. Februar 2014. ACM, New York, NY (2014)
17.
Konferenzbeitrag
Inferring User interests in the Twitter Social Network. In: RecSys '14, S. 357 - 360. Eighth ACM Conference on Recommender Systems, Foster City, Silicon Valley, CA, USA , 06. Oktober 2014 - 10. Oktober 2014. ACM, New York, NY (2014)
18.
Konferenzbeitrag
Generalizing Permissive-upgrade in Dynamic Information Flow Analysis. In: PLAS'14, 15, S. 15 - 24. ACM Ninth Workshop on Programming Languages and Analysis for Security, Uppsala, Sweden, 28. Juli 2014 - 01. August 2014. ACM, New York, NY (2014)
19.
Konferenzbeitrag
Information Flow Control in WebKit’s JavaScript Bytecode. In: Principles of Security and Trust, S. 159 - 178 (Hg. Abadi, M.; Kremer, S.). 3rd Conference on Principles of Security and Trust, Grenoble, France, 05. April 2014 - 13. April 2014. Springer, Berlin (2014)
20.
Konferenzbeitrag
A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-criticality Systems. In: IEEE 35th Real-Time Systems Symposium, S. 196 - 206. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)