Scientific Publications
Journal Article (248)
1.
Journal Article
8 (POPL), 4, pp. 90 - 114 (2024)
Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 2.
Journal Article
19 (4), 35, pp. 1 - 19 (2024)
Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 3.
Journal Article
8 (POPL), 1, pp. 1 - 32 (2024)
Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 4.
Journal Article
93, pp. 1333 - 1353 (2024)
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 5.
Journal Article
Porous Invariants for Linear Systems. Formal Methods in System Design (2024)
6.
Journal Article
8 (POPL), 37, pp. 1089 - 1117 (2024)
Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 7.
Journal Article
9 (93), 5052, pp. 1 - 4 (2024)
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software 8.
Journal Article
35 (3), pp. 2875 - 286 (2023)
On the Fairness of Time-Critical Influence Maximization in Social Networks. IEEE Transactions on Knowledge and Data Engineering 9.
Journal Article
6 (4), 202, pp. 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 10.
Journal Article
2023 (1), pp. 1 - 44 (2023)
Defense Against Reward Poisoning Attacks in Reinforcement Learning. Transactions on Machine Learning Research 11.
Journal Article
7 (POPL), 73, pp. 2141 - 2170 (2023)
Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 12.
Journal Article
18 (4), pp. 1799 - 1819 (2023)
A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks. Networks and Heterogeneous Media 13.
Journal Article
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation (2023)
14.
Journal Article
7 (OOPSLA2), 281, pp. 1677 - 1804 (2023)
Stuttering for Free. Proceedings of the ACM on Programming Languages 15.
Journal Article
70 (4), 26, pp. 1 - 26 (2023)
On the Zeros of Exponential Polynomials. Journal of the ACM 16.
Journal Article
13 (1), pp. 1 - 40 (2023)
"I need a better description": An Investigation Into User Expectations For Differential Privacy. Journal of Privacy and Confidentiality 17.
Journal Article
7 (POPL), 26, pp. 748 - 774 (2023)
The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 18.
Journal Article
10 (3), pp. 1301 - 1313 (2023)
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems 19.
Journal Article
33 (3), pp. 617 - 639 (2023)
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. Algebra and Computation 20.
Journal Article
7 (OOPSLA2), 247, pp. 716 - 744 (2023)
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages