Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16636, pp. 2248 - 2256. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Hrushovski, E.; Ouaknine, J.; Pouly, A.; Worrell, J.: Polynomial Invariants for Affine Programs. In: LICS'18, pp. 530 - 539. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, July 09, 2018 - July 12, 2018. ACM, New York, NY (2018)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Lazy Abstraction-Based Control for Safety Specifications. In: IEEE Conference on Decision and Control, pp. 4902 - 4907. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, December 17, 2018 - December 19, 2018. IEEE, Piscataway, NJ (2018)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. In: HSCC 2018, pp. 120 - 129. 21st International Conference on Hybrid Systems: Computation and Control , Porto, Portugal, April 11, 2018 - April 13, 2018. ACM, New York, NY (2018)

Kilbertus, N.; Gascon, A.; Kusner, M.; Veale, M.; Gummadi, K. P.; Weller, A.: Blind Justice: Fairness with Encrypted Sensitive Attributes. In: Proceedings of the 35th International Conference on Machine Learning, pp. 2630 - 2639 (Eds. Dy, J.; Krause, A.). 35th International Conference on Machine Learning, Stockholm, Sweden, July 10, 2018 - July 15, 2018. PMLR (2018)

Kim, J.; Tabibian, B.; Oh, A.; Schölkopf, B.; Gomez Rodriguez, M.: Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. In: WSDM'18, pp. 324 - 332. 11th ACM International Conference on Web Search and Data Mining, Marina Del Rey, CA, USA, February 05, 2018 - February 09, 2018. ACM, New York, NY (2018)

Krahn, R.; Trach, B.; Vahldiek-Oberwagner, A.; Knauth, T.; Bhatotia, P.; Fetzer, C.: Pesos: Policy Enhanced Secure Object Store. In: EuroSys'18, 25. Thirteenth EuroSys Conference, Porto, Portugal , April 23, 2018 - April 26, 2018. ACM, New York, NY (2018)

Kusmierczyk, T.; Gomez Rodriguez, M.: On the Causal Effect of Badges. In: Proceedings of The World Wide Web Conference, pp. 659 - 668 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Las-Casas, P.; Mace, J.; Guedes, D.; Fonseca, R.: Weighted Sampling of Execution Traces: Capturing More Needles and Less Hay. In: SoCC'18, pp. 326 - 332. ACM Symposium on Cloud Computing, Carlsbad, CA, USA, October 11, 2018 - October 13, 2018. ACM, New York, NY (2018)

Lentz, M.; Sen, R.; Druschel, P.; Bhattacharjee, B.: SeCloak: ARM Trustzone-based Mobile Peripheral Control. In: MobiSys'18, pp. 1 - 13. 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, June 10, 2018 - June 15, 2018. ACM, New York, NY (2018)

Lin, A. W.; Majumdar, R.: Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. In: Automated Technology for Verification and Analysis, pp. 352 - 369 (Eds. Lahiri, S. K.; Wang, C.). 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA, October 07, 2018 - October 10, 2018. Springer, Berlin (2018)

Mace, J.; Fonseca, R.: Universal Context Propagation for Distributed System Instrumentation. In: EuroSys'18, 8, pp. 1 - 18. Thirteenth EuroSys Conference, Porto, Portugal, April 23, 2018 - April 26, 2018. ACM, New York, NY (2018)

Majumdar, R.: Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 1, p. 1 - 1 (Eds. Ganguly, S.; Pandya, P.). 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, December 11, 2018 - December 13, 2018. Schloss Dagstuhl, Wadern (2018)

Mathur, A. S.; Ozkan, B. K.; Majumdar, R.: iDeA: An Immersive Debugger for Actors. In: Erlang'18, pp. 1 - 12 (Eds. Chechina, N.; Francalanza, A.). 17th ACM SIGPLAN International Workshop on Erlang, St. Louis, MO, USA, September 20, 2018 - September 29, 2018. ACM, New York, NY (2018)

Meyer, R.; Muskalla, S.; Zetzsche, G.: Bounded Context Switching for Valence Systems. In: 29th International Conference on Concurrency Theory, 12, pp. 1 - 18 (Eds. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, September 04, 2018 - September 07, 2018. Schloss Dagstuhl, Wadern (2018)

Munz, R.; Eigner, F.; Maffei, M.; Francis, P.; Garg, D.: UniTraX: Protecting Data Privacy with Discoverable Biases. In: Principles of Security and Trust, pp. 278 - 299 (Eds. Bauer, L.; Küsters, R.). 7th Conference on Principles of Security and Trust, Thessaloniki, Greece, April 16, 2018 - April 17, 2018. Springer, Berlin (2018)

Nasri, M.; Nelissen, G.; Brandenburg, B.: A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling. In: 30th Euromicro Conference on Real-Time Systems, 9, pp. 1 - 23 (Ed. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, July 03, 2018 - July 06, 2018. Schloss Dagstuhl, Wadern (2018)

Nasri, M.; Davis, R. I.; Brandenburg, B.: FIFO with Offsets: High Schedulability with Low Overheads. In: 24th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 271 - 282. 24th IEEE Real-Time and Embedded Technology and Applications Symposium , Porto, Portugal, April 11, 2018 - April 13, 2018. IEEE, Piscataway, NJ (2018)

Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. In: Computer Science Logic 2018, 34, pp. 1 - 17 (Eds. Ghica, D.; Jung, A.). 27th Annual EACSL Conference Computer Science Logic , Birmingham, UK, September 04, 2018 - September 08, 2018. Schloss Dagstuhl, Wadern (2018)

Neider, D.; Gavran, I.: Learning Linear Temporal Properties. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, pp. 1 - 10 (Eds. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, October 30, 2018 - November 02, 2018. IEEE, Piscataway, NJ (2018)