Wissenschaftliche Publikationen
Zeitschriftenartikel (256)
1.
Zeitschriftenartikel
20 (2), 11, S. 1 - 32 (2024)
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Logcial Methods in Computer Science 2.
Zeitschriftenartikel
8 (POPL), 4, S. 90 - 114 (2024)
Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 3.
Zeitschriftenartikel
19 (4), 35, S. 1 - 19 (2024)
Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 4.
Zeitschriftenartikel
8 (POPL), 1, S. 1 - 32 (2024)
Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 5.
Zeitschriftenartikel
93 (347), S. 1333 - 1353 (2024)
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 6.
Zeitschriftenartikel
8 (PLDI), 192, S. 1115 - 1139 (2024)
RefinedRust: A Type System for High-Assurance Verification of Rust Programs. Proceedings of the ACM on Programming Languages 7.
Zeitschriftenartikel
8 (PLDI), 219, S. 1781 - 1803 (2024)
SPORE: Combining Symmetry and Partial Order Reduction. Proceedings of the ACM on Programming Languages 8.
Zeitschriftenartikel
Porous Invariants for Linear Systems. Formal Methods in System Design (2024)
9.
Zeitschriftenartikel
8 (PLDI), 184, S. 914 - 938 (2024)
Program Analysis for Adaptive Data Analysis. Proceedings of the ACM on Programming Languages 10.
Zeitschriftenartikel
8 (POPL), 37, S. 1089 - 1117 (2024)
Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 11.
Zeitschriftenartikel
511, 113114 (2024)
Deep learning of first-order nonlinear hyperbolic conservation law solvers. Journal of Computational Physics 12.
Zeitschriftenartikel
2024, S. 1 - 40 (2024)
Neural Task Synthesis for Visual Programming. Transactions on Machine Learning Research 13.
Zeitschriftenartikel
9 (93), 5052, S. 1 - 4 (2024)
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software 14.
Zeitschriftenartikel
2024, S. 1 - 30 (2024)
Understanding the Role of Invariance in Transfer Learning. Transactions on Machine Learning Research 15.
Zeitschriftenartikel
8 (PLDI), 183, S. 889 - 913 (2024)
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq. Proceedings of the ACM on Programming Languages 16.
Zeitschriftenartikel
71 (6), 40, S. 1 - 75 (2024)
A Logical Approach to Type Soundness. Journal of the ACM 17.
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 18.
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 19.
Zeitschriftenartikel
2023 (1), S. 1 - 44 (2023)
Defense Against Reward Poisoning Attacks in Reinforcement Learning. Transactions on Machine Learning Research 20.
Zeitschriftenartikel
7 (POPL), 73, S. 2141 - 2170 (2023)
Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages