Konferenzbeitrag (938)
681.
Konferenzbeitrag
Learner-aware Teaching: Inverse Reinforcement Learning with Preferences and Constraints. In: Advances in Neural Information Processing Systems 32, S. 4145 - 4155 (Hg. Wallach, H.; Larochelle, H.; Beygelzimer, A.; d'Alché-Buc, F.; Fox, E. et al.). 33rd Conference on Neural Information Processing Systems, Vancouver, Canada, 08. Dezember 2019 - 14. Dezember 2019. Curran Associates, Inc. (2019)
682.
Konferenzbeitrag
On the Complexity of Opinions and Online Discussions. In: WSDM '19, S. 258 - 266. 12h ACM International Conference on Web Search and Data Mining, Melbourne, Australia, 11. Februar 2019 - 15. Februar 2019. ACM, New York, NY (2019)
683.
Konferenzbeitrag
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). In: Proceedings of the 28th USENIX Security Symposium, S. 1221 - 1238. 28th USENIX Security Symposium, Santa Clara, CA, USA, 14. August 2019 - 16. August 2019. USENIX (2019)
684.
Konferenzbeitrag
3, POPL, 76, (2019)
From Fine- to Coarse-grained Dynamic Information Flow Control and Back. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 685.
Konferenzbeitrag
Auditing Offline Data Brokers via Facebook's Advertising Platform. In: Proceedings of The World Wide Web Conference, S. 1920 - 1930. The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)
686.
Konferenzbeitrag
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. In: Proceedings of the 2019 Design, Automation & Test in Europe, S. 1228 - 1233. Design, Automation & Test in Europe Conference , Florence, Italy, 25. März 2019 - 29. März 2019. IEEE, Piscataway, NJ (2019)
687.
Konferenzbeitrag
Iterative Classroom Teaching. In: Proceedings of the AAAI Conference on Artificial Intelligence, S. 5684 - 5692. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, 27. Januar 2019 - 01. Februar 2019. AAAI Press, Palo Alto, CA (2019)
688.
Konferenzbeitrag
Finding and Understanding Bugs in Software Model Checkers. In: ESEC/FSE '19, S. 763 - 773 (Hg. Dumas, M.; Pfahl, D.; Apel, S.; Russo, A.). 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia, 26. August 2019 - 30. August 2019. ACM, New York, NY (2019)
689.
Konferenzbeitrag
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. In: Formal Methods - The Next 30 Years, S. 161 - 178 (Hg. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, 07. Oktober 2019 - 11. Oktober 2019. Springer, Cham (2019)
690.
Konferenzbeitrag
Special Session: Embedded Software for Robotics: Challenges and Future Directions. In: Proceedings of the International Conference on Embedded Software. International Conference on Embedded Software, Turin, Italy, 30. September 2018 - 05. Oktober 2018. IEEE, Piscataway, NJ (2018)
691.
Konferenzbeitrag
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In: Programming Languages and Systems, S. 214 - 241 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)
692.
Konferenzbeitrag
Effective Divergence Analysis for Linear Recurrence Sequences. In: 29th International Conference on Concurrency Theory, 42, S. 1 - 15 (Hg. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, 04. September 2018 - 07. September 2018. Schloss Dagstuhl, Wadern (2018)
693.
Konferenzbeitrag
O-Minimal Invariants for Linear Loops. In: 45th International Colloquium on Automata, Languages, and Programming, 114, S. 1 - 14 (Hg. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, 09. Juli 2018 - 13. Juli 2018. Schloss Dagstuhl, Wadern (2018)
694.
Konferenzbeitrag
Investigating Ad Transparency Mechanisms in Social Media: A Case Study of Facebooks Explanations. In: Network and Distributed Systems Security Symposium. Network and Distributed Systems Security Symposium
, San Diego, CA, UCA, 18. Februar 2018 - 21. Februar 2018. ndss-symposium.org (2018)
695.
Konferenzbeitrag
Verifying rLTL Formulas: Now Faster than Ever Before! In: IEEE Conference on Decision and Control, S. 1556 - 1561. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, 17. Dezember 2018 - 19. Dezember 2018. IEEE, Piscataway, NJ (2018)
696.
Konferenzbeitrag
Purple Feed: Identifying High Consensus News Posts on Social Media. In: AIES'18, S. 10 - 16. AAAI/ACM Conference on AI, Ethics, and Society, New Orleans, LA, USA, 02. Februar 2018 - 03. Februar 2018. ACM, New York, NY (2018)
697.
Konferenzbeitrag
Data-Driven Approach Towards a Personalized Curriculum. In: Proceedings of the 11th International Conference on Educational Data Mining, 31, S. 246 - 251 (Hg. Boyer, K. E.; Yudelson, M.). 11th International Conference on Educational Data Mining, Buffalo, NY, USA, 15. Juli 2018 - 18. Juli 2018. educationaldatamining.org (2018)
698.
Konferenzbeitrag
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, S. 1 - 10 (Hg. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, 30. Oktober 2018 - 02. November 2018. IEEE, Piscataway, NJ (2018)
699.
Konferenzbeitrag
Combining Tools for Optimization and Analysis of Floating-Point Computations. In: Formal Methods, S. 355 - 363 (Hg. Havelund, K.; Peleska, J.; Roscoe, B.; de Vink, E.). 22nd International Symposium on Formal Methods, Oxford, UK, 15. Juli 2018 - 17. Juli 2018. Springer, Berlin (2018)
700.
Konferenzbeitrag
Equity of Attention: Amortizing Individual Fairness in Rankings. In: SIGIR'18, S. 405 - 414. 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, Ann Arbor, MI, USA, 08. Juli 2018 - 12. Juli 2018. ACM, New York, NY (2018)