Wissenschaftliche Publikationen
Zeitschriftenartikel (197)
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
6, POPL, 17, S. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 5.
Zeitschriftenartikel
16 (2), 8, S. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 6.
Zeitschriftenartikel
15 (2), 8, S. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 7.
Zeitschriftenartikel
6, POPL, 41, S. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems (2022)
9.
Zeitschriftenartikel
33 (2), S. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 10.
Zeitschriftenartikel
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 11.
Zeitschriftenartikel
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 12.
Zeitschriftenartikel
18 (1), 37, S. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 13.
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 14.
Zeitschriftenartikel
40 (2), 22, S. 1 - 42 (2022)
The Network Visibility Problem. ACM Transactions on Information Systems 15.
Zeitschriftenartikel
6, POPL, 23, S. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 16.
Zeitschriftenartikel
What's Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, S. 1 - 25 (2022)
17.
Zeitschriftenartikel
6, POPL, 49, S. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 18.
Zeitschriftenartikel
6, POPL, 27, S. 1 - 30 (2022)
Isolation Without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Proceedings of the ACM on Programming Languages 19.
Zeitschriftenartikel
6 (OOPSLA1), 81, S. 1 - 27 (2022)
Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 20.
Zeitschriftenartikel
6, POPL, 20, S. 1 - 32 (2022)
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages