Konferenzbeitrag (45)
21.
Konferenzbeitrag
Countermodels from Sequent Calculi in Multi-Modal Logics. In: 27th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 315 - 324. LICS 2012, Dubrovnik, Croatia, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, California (2012)
22.
Konferenzbeitrag
New Modalities for Access Control Logics: Permission, Control and Ratification. In: Security and Trust Management: 7th International Workshop, S. 56 - 71 (Hg. Meadows, C.; Fernandez-Gago, C.). STM'11, Copenhagen, Denmark, 27. Juni 2011 - 28. Juni 2011. Springer, New York, NY (2012)
23.
Konferenzbeitrag
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. In: 2012 IEEE 25th Computer Security Foundations Symposium, S. 139 - 153. CSF'12, Cambridge, Mass., 25. Juni 2012 - 27. Juni 2012. IEEE, Piscataway, NJ (2012)
24.
Konferenzbeitrag
Cognos: Crowdsourcing Search for Topic Experts in Microblogs. In: SIGIR’12: the Proceedings of the International ACM SIGIR Conference on Research & Development in Information Retrieval, S. 575 - 590. SIGIR'12, Portland, Oregon, 12. August 2012 - 16. August 2012. ACM, New York, NY (2012)
25.
Konferenzbeitrag
Understanding and Combating Link Farming in the Twitter Social Network. In: WWW’12: Proceedings of the 21st Annual Conference on World Wide Web, S. 61 - 70. WWW'12, Lyon, France, 16. April 2012 - 20. April 2012. ACM, New York, NY (2012)
26.
Konferenzbeitrag
The marriage of bisimulations and Kripke logical relations. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 59 - 72. POPL'12, Philadelphia, PA, 22. Januar 2012 - 28. Januar 2012. ACM, New York, NY (2012)
27.
Konferenzbeitrag
All about Eve: Execute-Verify Replication for Multi-Core Servers. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), S. 237 - 250. OSDI'12, Hollywood, CA, 08. Oktober 2012 - 10. Oktober 2012. USENIX, Berkeley, CA (2012)
28.
Konferenzbeitrag
Predicting emerging social conventions in online social networks. In: CIKM’12: the Proceedings of the 21st ACM International Conference on Information and Knowledge Management, S. 445 - 454. CIKM'12, Maui, Hawaii, USA, 29. Oktober 2012 - 02. November 2012. ACM, New York, NY (2012)
29.
Konferenzbeitrag
The Emergence of Conventions in Online Social Networks. In: Proceedings of the Sixth International Conference on Weblogs and Social Media, S. 194 - 201. ICWSM'12, Dublin, Irleand, 04. Juni 2012 - 07. Juni 2012. AAAI, Palo Alto, California (2012)
30.
Konferenzbeitrag
Adding Equations to System F Types. In: Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, S. 417 - 435 (Hg. Seidl, H.). ESOP 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)
31.
Konferenzbeitrag
Higher-Order Functional Reactive Programming in Bounded Space. In: POPL’12: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 45 - 58. POPL'12, Philadelphia, PA, USA, 25. Januar 2012 - 27. Januar 2012. ACM, New York, NY (2012)
32.
Konferenzbeitrag
Superficially substructural types. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, S. 41 - 54. ICFP '12, Copenhagen, Denmark, 10. September 2012 - 12. September 2012. ACM, New York, Ny (2012)
33.
Konferenzbeitrag
Geographic Dissection of the Twitter Network. In: Proceedings of the Sixth International Conference on Weblogs and Social Media, S. 202 - 209. ICWSM'12, Dublin, Irleand, 04. Juni 2012 - 07. Juni 2012. AAAI, Palo Alto, California (2012)
34.
Konferenzbeitrag
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. In: Static Analysis: 19th International Symposium, SAS 2012, S. 5 - 23 (Hg. Miné, A.; Schmidt, D.). SAS 2012, Deauville, France, 11. September 2012 - 13. September 2012. Springer, New York, NY (2012)
35.
Konferenzbeitrag
Non-monotonic Self-Adjusting Computation. In: Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, S. 476 - 496 (Hg. Seidl, H.). ESOP 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)
36.
Konferenzbeitrag
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), S. 265 - 278. OSDI'12, Hollywood, CA, 08. Oktober 2012 - 10. Oktober 2012. USENIX, Berkeley, CA (2012)
37.
Konferenzbeitrag
Simplifying Friendlist Management. In: WWW’12: Proceedings of the 21st Annual Conference on World Wide Web, S. 385 - 388. WWW'12, Lyon, France, 16. April 2012 - 20. April 2012. ACM, New York, NY (2012)
38.
Konferenzbeitrag
Language-Theoretic Abstraction Refinement. In: Fundamental Approaches to Software Engineering, S. 363 - 376 (Hg. de Lara, J.; Zisman, A.). FASE 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)
39.
Konferenzbeitrag
Hybrid Type Systems. In: 10th International Winter School on Modeling and Verifying Parallel Processes (MOVEP 2012), S. 124 - 129 (Hg. Renyier, P.-A.). MOVEP 2012, Marseille, France, 03. Dezember 2012 - 07. Dezember 2012. (2012)
40.
Konferenzbeitrag
Synthesis of Minimal-Error Control Software. In: EMSOFT’12: Proceedings of the Tenth ACM International Conference on Embedded Software 2012, S. 123 - 132. EMSOFT'12, Tampere, Finland, 07. Oktober 2012 - 12. Oktober 2012. ACM, New York, NY (2012)