Wissenschaftliche Publikationen
Zeitschriftenartikel (24)
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
6 (4), 202, S. 1 - 26 (2023)
Not Only for Contact Tracing: Use of Belgium's Contact Tracing App among Young Adults. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 3.
Zeitschriftenartikel
2023 (1), S. 1 - 44 (2023)
Defense Against Reward Poisoning Attacks in Reinforcement Learning. Transactions on Machine Learning Research 4.
Zeitschriftenartikel
7 (POPL), 73, S. 2141 - 2170 (2023)
Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 5.
Zeitschriftenartikel
18 (4), S. 1799 - 1819 (2023)
A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks. Networks and Heterogeneous Media 6.
Zeitschriftenartikel
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation (2023)
7.
Zeitschriftenartikel
7 (OOPSLA2), 281, S. 1677 - 1804 (2023)
Stuttering for Free. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
70 (4), 26, S. 1 - 26 (2023)
On the Zeros of Exponential Polynomials. Journal of the ACM 9.
Zeitschriftenartikel
13 (1), S. 1 - 40 (2023)
"I need a better description": An Investigation Into User Expectations For Differential Privacy. Journal of Privacy and Confidentiality 10.
Zeitschriftenartikel
7 (POPL), 26, S. 748 - 774 (2023)
The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 11.
Zeitschriftenartikel
10 (3), S. 1301 - 1313 (2023)
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems 12.
Zeitschriftenartikel
33 (3), S. 617 - 639 (2023)
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. Algebra and Computation 13.
Zeitschriftenartikel
7 (OOPSLA2), 247, S. 716 - 744 (2023)
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages 14.
Zeitschriftenartikel
70 (5), 29, S. 1 - 22 (2023)
On Strongest Algebraic Program Invariants. Journal of the ACM 15.
Zeitschriftenartikel
25, S. 341 - 354 (2023)
Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models. International Journal on Software Tools for Technology Transfer 16.
Zeitschriftenartikel
7 (POPL), 19, S. 544 - 572 (2023)
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 17.
Zeitschriftenartikel
22 (5s), 136, S. 1 - 26 (2023)
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Transactions on Embedded Computing Systems 18.
Zeitschriftenartikel
68 (1), S. 385 - 392 (2023)
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Transactions on Automatic Control 19.
Zeitschriftenartikel
7 (OOPSLA1), 89, S. 406 - 433 (2023)
Compositional Security Definitions for Higher-Order Where Declassification. Proceedings of the ACM on Programming Languages 20.
Zeitschriftenartikel
21 (2), S. 48 - 52 (2023)
Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy