Zeitschriftenartikel (21)
21.
Zeitschriftenartikel
1, 89 (2017)
Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages Buchkapitel (2)
22.
Buchkapitel
Timed Temporal Logics. In: Models, Algorithms, Logics and Tools, S. 211 - 230 (Hg. Aceto, L.; Bacci, G.; Bacci, G.; Ingólfsdóttir, A.; Legay, A. et al.). Springer, Berlin (2017)
23.
Buchkapitel
Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, S. 35 - 50 (Hg. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)
Konferenzband (3)
24.
Konferenzband
7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, 14. Mai 2017 - 19. Mai 2017. Schloss Dagstuhl, Wadern (2017), 13 S.
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 25.
Konferenzband
CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, 16. Januar 2017 - 17. Januar 2017. ACM, New York, NY (2017), VIII, 235 S.
26.
Konferenzband
7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, 12. März 2017 - 17. März 2017. Schloss Dagstuhl, Wadern (2017), 6 S.
Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, Konferenzbeitrag (68)
27.
Konferenzbeitrag
The Polytope-Collision Problem. In: 44th International Colloquium on Automata, Languages, and Programming, 24, S. 1 - 14 (Hg. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10. Juli 2017 - 14. Juli 2017. Schloss Dagstuhl, Wadern (2017)
28.
Konferenzbeitrag
Synthesis of Problems for Shaded Area Geometry Reasoning. In: Artificial Intelligence in Education, S. 455 - 458 (Hg. André, E.; Baker, R.). 18th International Conference on Artificial Intelligence in Education, Wuhan, China, 28. Juni 2017 - 01. Juli 2017. Springer, Berlin (2017)
29.
Konferenzbeitrag
Synthesis of Solutions for Shaded Area Geometry Problems. In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, S. 14 - 19. 30th International Florida Artificial Intelligence Research Society Conference, Marco Island, FL, USA, 22. Mai 2017 - 24. Mai 2017. AAAI (2017)
30.
Konferenzbeitrag
Infinite-Duration Bidding Games. In: 28th International Conference on Concurrency Theory, 21, S. 1 - 18 (Hg. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, 05. September 2017 - 08. September 2017. Schloss Dagstuhl, Wadern (2017)
31.
Konferenzbeitrag
Efficient and Flexible Discovery of PHP Application Vulnerabilities. In: 2nd IEEE European Symposium on Security and Privacy, S. 334 - 349. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 2017. IEEE, Piscataway, NJ (2017)
32.
Konferenzbeitrag
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. In: 2nd IEEE European Symposium on Security and Privacy, S. 76 - 91. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 2017. IEEE, Piscataway, NJ (2017)
33.
Konferenzbeitrag
ARTist: The Android Runtime Instrumentation and Security Toolkit. In: 2nd IEEE European Symposium on Security and Privacy, S. 481 - 495. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 2017. IEEE, Piscataway, NJ (2017)
34.
Konferenzbeitrag
Reconciling Privacy and Utility in Continuous-Time Diffusion Networks. In: IEEE 30th Computer Security Foundations Symposium, S. 292 - 304. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, 21. August 2017 - 25. August 2017. IEEE, Piscataway, NJ (2017)
35.
Konferenzbeitrag
WebPol: Fine-Grained Information Flow Policies for Web Browsers. In: Computer Security -- ESORICS 2017, S. 242 - 259 (Hg. Foley, S. N.; Gollmann, D.; Snekkenes, E.). 22nd European Symposium on Research in Computer Security, Oslo, Norway, 11. September 2017 - 15. September 2017. Springer, Berlin (2017)
36.
Konferenzbeitrag
Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities. In: CIKM'17, S. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, 06. November 2017 - 10. November 2017. ACM, New York, NY (2017)
37.
Konferenzbeitrag
Universal Ordinary Differential Equation. In: 44th International Colloquium on Automata, Languages, and Programming, 116, S. 1 - 14 (Hg. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10. Juli 2017 - 14. Juli 2017. Schloss Dagstuhl, Wadern (2017)
38.
Konferenzbeitrag
Formalizing the Concurrency Semantics of an LLVM Fragment. In: CGO'17, S. 100 - 110 (Hg. Reddi, V. J.; Smith, A.; Tang, L.). International Symposium on Code Generation and Optimization, Austin, TX, USA, 04. Februar 2017 - 08. Februar 2017. IEEE, Piscataway, NJ (2017)
39.
Konferenzbeitrag
Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. In: Proceedings of the Eleventh International AAAI Conference on Web and Social Media, S. 22 - 31. 11th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2017)
40.
Konferenzbeitrag
Optimizing the Recency-Relevancy Trade-off in Online News Recommendations. In: WWW'17, S. 837 - 846. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 2017. ACM, New York, NY (2017)