Teisseyre, P.; Zufferey, D.; Słomka, M.: Cost-sensitive Classifier Chains: Selecting Low-cost Features in Multi-label Classification. Pattern Recognition 86, S. 290 - 319 (2019)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.: Fairness Constraints: A Flexible Approach for Fair Classification. Journal of Machine Learning Research 20, 75 (2019)

Zamani, M.; Zufferey, D. (Hg.): Numerical Software Verification (Lecture Notes in Computer Science, 11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, 13. Juli 2019 - 14. Juli 2019. Springer, Berlin (2019), XV, 145 S.

Abate, C.; Blanco, R.; Garg, D.; Hritcu, C.; Patrignani, M.; Thibault., J.: Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In: CSF 2019, S. 256 - 271. 32nd Computer Security Foundations Symposium, Hoboken, NJ, USA, 25. Juni 2019 - 28. Juni 2019. IEEE, Piscataway, NJ (2019)

Ali, J.; Zafar, M. B.; Singla, A.; Gummadi, K.: Loss-Aversively Fair Classification. In: AIES'19, S. 211 - 218. AAAI/ACM Conference on AI, Ethics, and Society, Honolulu, HI, USA, 27. Januar 2019 - 28. Januar 2019. ACM, New York, NY (2019)

Almagor, S.; Ouaknine, J.; Worrell, J.: The Semialgebraic Orbit Problem. In: 36th Symposium on Theoretical Aspects of Computer Science, 6, S. 1 - 15 (Hg. Niedermeier, R.; Paul, C.). 36th Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13. März 2019 - 16. März 2019. Schloss Dagstuhl, Wadern (2019)

Anevlavis, T.; Neider, D.; Phillipe, M.; Tabuada, P.: Evrostos: the rLTL verifier. In: HSCC '19, S. 218 - 223. 22nd ACM International Conference on Hybrid Systems, Montreal Quebec Canada, 2019-04. ACM, New York, NY (2019)

Babaei, M.; Chakraborty, A.; Kulshrestha, J.; Redmiles, E. M.; Cha, M.; Gummadi, K.: Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 139 - 139. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)

Banusić, G. B.; Majumdar, R.; Pirron, M.; Schmuck, A.-K.; Zufferey, D.: PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics. In: ICCPS'19, S. 57 - 66. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)

Bard, J.; Becker, H.; Darulova, E.: Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. In: Formal Methods - The Next 30 Years, S. 38 - 44 (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)

Becker, H.; Darulova, E.; Myreen, M. O.; Tatlock, Z.: Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. In: Computer Aided Verification, S. 155 - 173 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer Aided Verification, New York City, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Garg, D.; Lal, A.; Rastogi, A.; Nemati, H.; Panda, A.; Bhatu, P.: ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. In: Proceedings of the Fourteenth EuroSys Conference 2019, 4. Fourteenth EuroSys Conference, Dresden, Germany, 25. März 2019 - 28. März 2019. ACM, New York, NY (2019)

Brandenburg, B.: The Case for an Opinionated, Theory-Oriented Real-Time Operating System. In: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems. 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, Montreal, Canada, 15. April 2019. (2019)

Casini, D.; Blaß, T.; Lütkebohle, I.; Brandenburg, B.: Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling. In: 31st Euromicro Conference on Real-Time Systems, 6, S. 1 - 23 (Hg. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Chakraborty, S.; Vafeiadis, V.: Grounding Thin-Air Reads with Event Structures. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 3, POPL, 70, (2019)

Chakraborty, A.; Mota, N.; Biega, A. J.; Gummadi, K.; Heidari, H.: On the Impact of Choice Architectures on Inequality in Online Donation Platforms. In: Proceedings of The World Wide Web Conference, S. 2623 - 2629 (Hg. McAuley, J.). The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)

Chakraborty, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Loiseau, P.: Equality of Voice: Towards Fair Representation in Crowdsourced Top-K Recommendations. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 129 - 138. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)

Christakis, M.; Heizmann, M.; Mansur, M. N.; Schilling, C.; Wüstholz, V.: Semantic Fault Localization and Suspiciousness Ranking. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 226 - 243 (Hg. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 06. April 2019 - 11. April 2019. Springer, New York, NY (2019)

Çiçek, E.; Qu, W.; Barthe, G.; Gaboardi, M.; Garg, D.: Bidirectional Type Checking for Relational Properties. In: PLDI'19, S. 533 - 547 (Hg. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , 22. Juni 2019 - 26. Juni 2019. ACM, New York, NY (2019)

Colcombet, T.; Ouaknine, J.; Semukhin, P.; Worrell, J.: On Reachability Problems for Low-Dimensional Matrix Semigroups. In: 46th International Colloquium on Automata, Languages, and Programming, 44 (Hg. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)