Wissenschaftliche Publikationen
Zeitschriftenartikel (219)
1.
Zeitschriftenartikel
35 (3), S. 2875 - 286 (2023)
On the Fairness of Time-Critical Influence Maximization in Social Networks. IEEE Transactions on Knowledge and Data Engineering 2.
Zeitschriftenartikel
7 (POPL), 73, S. 2141 - 2170 (2023)
Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 3.
Zeitschriftenartikel
7 (POPL), 26, S. 748 - 774 (2023)
The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 4.
Zeitschriftenartikel
7 (POPL), 19, S. 544 - 572 (2023)
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 5.
Zeitschriftenartikel
21 (2), S. 48 - 52 (2023)
Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy 6.
Zeitschriftenartikel
7 (POPL), 27, S. 775 - 805 (2023)
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 7.
Zeitschriftenartikel
7 (POPL), 39, S. 1121 - 1151 (2023)
Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
27 (2), 10, S. 1 - 2 (2022)
Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 9.
Zeitschriftenartikel
23 (2), 9, S. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 10.
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 11.
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 12.
Zeitschriftenartikel
6, POPL, 17, S. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 13.
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 14.
Zeitschriftenartikel
16 (2), 8, S. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 15.
Zeitschriftenartikel
15 (2), 8, S. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 16.
Zeitschriftenartikel
6, POPL, 41, S. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 17.
Zeitschriftenartikel
6 (OOPSLA2), 135, S. 289 - 314 (2022)
Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 18.
Zeitschriftenartikel
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems (2022)
19.
Zeitschriftenartikel
33 (2), S. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 20.
Zeitschriftenartikel
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming