Zeitschriftenartikel (25)
21.
Zeitschriftenartikel
283, 103238 (2020)
How Do Fairness Definitions Fare? Testing Public Attitudes towards Three Algorithmic Definitions of Fairness in Loan Allocations. Artificial Intelligence 22.
Zeitschriftenartikel
30, S. 81 - 124 (2020)
On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 23.
Zeitschriftenartikel
53 (3), 51, S. 1 - 39 (2020)
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys 24.
Zeitschriftenartikel
4 (OOPSLA), 185, S. 1 - 30 (2020)
Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 25.
Zeitschriftenartikel
30 (1), S. 590 - 598 (2020)
Joint Inference of Reward Machines and Policies for Reinforcement Learning. Proceedings of the International Conference on Automated Planning and Scheduling Konferenzband (2)
26.
Konferenzband
12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, 20. Juli 2020 - 21. Juli 2020. Springer, Berlin (2020), XXVI, 239 S.
Software Verification (Lecture Notes in Computer Science, 27.
Konferenzband
11990). 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, LA, USA, 16. Januar 2020 - 21. Januar 2020. Springer, Berlin (2020), XIV, 470 S.
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, Konferenzbeitrag (68)
28.
Konferenzbeitrag
Trace-Relating Compiler Correctness and Secure Compilation. In: Programming Languages and Systems, S. 1 - 28 (Hg. Müller, P.). 29th European Symposium on Programming, Dublin, Ireland (Online Event), 25. April 2020 - 30. April 2020. Springer, Berlin (2020)
29.
Konferenzbeitrag
Synthesizing Tasks for Block-based Programming. In: Advances in Neural Information Processing Systems 33, S. 22349 - 22360 (Hg. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, 06. Dezember 2020 - 12. Dezember 2020. Curran Associates, Inc. (2020)
30.
Konferenzbeitrag
Invariants for Continuous Linear Dynamical Systems. In: 47th International Colloquium on Automata, Languages, and Programming, 107, S. 1 - 15 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)
31.
Konferenzbeitrag
Finding Safety in Numbers with Secure Allegation Escrows. In: Network and Distributed System Security Symposium. The Network and Distributed System Security Symposium , San Diego, CA, USA, 23. Februar 2020 - 26. Februar 2020. Internet Society, Reston, VA (2020)
32.
Konferenzbeitrag
Reachability in Dynamical Systems with Rounding. In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 36, S. 1 - 17 (Hg. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), 14. Dezember 2020 - 18. Dezember 2020. Schloss Dagstuhl, Wadern (2020)
33.
Konferenzbeitrag
Fair Enough: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: Proceedings of the Workshop on Artificial Intelligence Safety co-located with 34th AAAI Conference on Artificial Intelligence, S. 41 - 53 (Hg. Espinoza, H.; Hernández-Orallo, J.; Chen, X. C.; ÓhÉigeartaigh, S. S.; Huang, X. et al.). Artificial Intelligence Safety, New York, NY, USA, 07. Februar 2020. CEUR-WS.org (2020)
34.
Konferenzbeitrag
The Complexity of Bounded Context Switching with Dynamic Thread Creation. In: 47th International Colloquium on Automata, Languages, and Programming, 111, S. 1 - 16 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)
35.
Konferenzbeitrag
DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. In: Neural Information Processing, S. 324 - 332 (Hg. Yang, H.; Pasupa, K.; Leung, A. C.-S.; Kwok, J. T.; Chan, J. H. et al.). 27th International Conference on Neural Information Processing, Bangkok, Thailand (Virtual), 18. November 2020 - 22. November 2020. Springer, Berlin (2020)
36.
Konferenzbeitrag
Extensions of ω-Regular Languages. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 266 - 272. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), 08. Juli 2020 - 11. Juli 2020. ACM, New York, NY (2020)
37.
Konferenzbeitrag
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. In: 32nd Euromicro Conference on Real-Time Systems, 22, S. 1 - 24 (Hg. Völp, M.). 32nd Euromicro Conference on Real-Time Systems, Virtual Conference, 07. Juli 2020 - 10. Juli 2020. Schloss Dagstuhl, Wadern (2020)
38.
Konferenzbeitrag
Rational Subsets of Baumslag-Solitar Groups. In: 47th International Colloquium on Automata, Languages, and Programming, 116, S. 1 - 16 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)
39.
Konferenzbeitrag
Fairness in Algorithmic Decision Making. In: Proceedings of the 7th ACM IKDD CoDS and 25th COMAD, S. 367 - 368 (Hg. Bhattacharya, A.; Natarajan, S.; Saha Roy, R.). ACM India Joint International Conferenceon Data Science and Management of Data , Hyderabad, India, 05. Januar 2020 - 07. Januar 2020. ACM, New York, NY (2020)
40.
Konferenzbeitrag
An Approach to Regular Separability in Vector Addition Systems. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 341 - 354. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), 08. Juli 2020 - 11. Juli 2020. ACM, New York, NY (2020)