Wissenschaftliche Publikationen
Zeitschriftenartikel (40)
1.
Zeitschriftenartikel
27 (2), 10, S. 1 - 2 (2022)
Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 2.
Zeitschriftenartikel
23 (2), 9, S. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 3.
Zeitschriftenartikel
23 (2), 8, S. 1 - 39 (2022)
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic 4.
Zeitschriftenartikel
9 (3), S. 839 - 850 (2022)
Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. IEEE Transactions on Computational Social Systems 5.
Zeitschriftenartikel
2022 (7), S. 1 - 30 (2022)
Learning to Switch Among Agents in a Team. Transactions on Machine Learning Research 6.
Zeitschriftenartikel
2, 4, S. 1 - 83 (2022)
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 7.
Zeitschriftenartikel
6, POPL, 17, S. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
6 (CSCW2), 358, S. 1 - 39 (2022)
Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. Proceedings of the ACM on Human-Computer Interaction 9.
Zeitschriftenartikel
16 (2), 8, S. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 10.
Zeitschriftenartikel
15 (2), 8, S. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 11.
Zeitschriftenartikel
6, POPL, 41, S. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 12.
Zeitschriftenartikel
6 (OOPSLA2), 135, S. 289 - 314 (2022)
Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 13.
Zeitschriftenartikel
33 (2), S. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 14.
Zeitschriftenartikel
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 15.
Zeitschriftenartikel
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 16.
Zeitschriftenartikel
18 (1), 37, S. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 17.
Zeitschriftenartikel
18 (3), S. 427 - 442 (2022)
MaxSAT-based Temporal Logic Inference from Noisy Data. Innovations in Systems and Software Engineering 18.
Zeitschriftenartikel
6, POPL, 28, S. 1 - 31 (2022)
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 19.
Zeitschriftenartikel
40 (2), 22, S. 1 - 42 (2022)
The Network Visibility Problem. ACM Transactions on Information Systems 20.
Zeitschriftenartikel
2022 (4), S. 457 - 485 (2022)
Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021. Proceedings on Privacy Enhancing Technologies