Wissenschaftliche Publikationen
Zeitschriftenartikel (7)
1.
Zeitschriftenartikel
8 (POPL), 4, S. 90 - 114 (2024)
Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 2.
Zeitschriftenartikel
19 (4), 35, S. 1 - 19 (2024)
Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 3.
Zeitschriftenartikel
8 (POPL), 1, S. 1 - 32 (2024)
Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 4.
Zeitschriftenartikel
93, S. 1333 - 1353 (2024)
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 5.
Zeitschriftenartikel
Porous Invariants for Linear Systems. Formal Methods in System Design (2024)
6.
Zeitschriftenartikel
8 (POPL), 37, S. 1089 - 1117 (2024)
Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 7.
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 Konferenzbeitrag (9)
8.
Konferenzbeitrag
Nonnegativity Problems for Matrix Semigroups. In: 41st International Symposium on Theoretical Aspects of Computer Science, 27, S. 1 - 16 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)
9.
Konferenzbeitrag
Fixed-Parameter Debordering of Waring Rank. In: 41st International Symposium on Theoretical Aspects of Computer Science, 30, S. 1 - 15 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)
10.
Konferenzbeitrag
Directed Regular and Context-Free Languages. In: 41st International Symposium on Theoretical Aspects of Computer Science, 36, S. 1 - 20 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 2024. Schloss Dagstuhl, Wadern (2024)
11.
Konferenzbeitrag
Analyzing-Evaluating-Creating: Assessing Computational Thinking and Problem Solving in Visual Programming Domains. In: SIGCSE 2024, S. 387 - 393 (Hg. Stephenson, B.; Stone, J. A.; Battestilli, L.; Rebelsky, S. A.; Shoop, L.). 55th ACM Technical Symposium on Computer Science Education, Portland, OR, USA, 20. März 2024 - 24. März 2024. ACM, New York, NY (2024)
12.
Konferenzbeitrag
Enhancing GenMC's Usability and Performance. In: Tools and Algorithms for the Construction and Analysis of Systems. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. Springer, Berlin (angenommen)
13.
Konferenzbeitrag
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. In: LAK24 Conference Proceedings, S. 12 - 23. The Fourteenth International Conference on Learning Analytics & Knowledge, Kyoto, Japan, 18. März 2024 - 22. März 2024. ACM, New York, NY (2024)
14.
Konferenzbeitrag
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. In: Verification, Model Checking, and Abstract Interpretation, S. 264 - 288 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 2024. Springer, Berlin (2024)
15.
Konferenzbeitrag
Solving Two-Player Games Under Progress Assumptions. In: Verification, Model Checking, and Abstract Interpretation, S. 208 - 231 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 2024. Springer, Berlin (2024)
16.
Konferenzbeitrag
Specifying and Verifying Persistent Libraries. In: Programming Languages and Systems. 33rd European Symposium on Programming, Luxembourg City, Luxembourg , 06. April 2024 - 11. April 2024. (angenommen)
Forschungspapier (4)
17.
Forschungspapier
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 S.
18.
Forschungspapier
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 S.
19.
Forschungspapier
Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 S.
20.
Forschungspapier
Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 S.