D'Costa, J.; Ouaknine, J.; Worrell, J.: 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)

Dutta, P.; Gesmundo, F.; Ikenmeyer, C.; Jindal, G.; Lysikov, V.: 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)

Ganardi, M.; Sağlam, I.; Zetzsche, G.: 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)

Ghosh, A.; Malva, L.; Singla, A.: 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)

Kokologiannakis, M.; Majumdar, R.; Vafeiadis, V.: 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)

Phung, T.; Padurean, V. A.; Singh, A.; Brooks, C.; Cambronero, J.; Gulwani, S.; Singla, A.; Soares, G.: 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)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.; Pérez, G. A.: 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)

Schmuck, A.-K.; Thejaswini, K. S.; Sağlam, I.; Nayak, S. P.: 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)

Stefanesco, L.; Raad, A.; Vafeiadis, V.: 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)

Ali, M.; Goetzen, A.; Mislove, A.; Redmiles, E. M.; Sapiezynski, P.: Problematic Advertising and its Disparate Exposure on Facebook. In: 32nd USENIX Security Symposium, S. 5665 - 5682. 32nd USENIX Security Symposium, Anaheim, CA, 09. August 2023 - 11. August 2023. USENIX (2023)

Alzayat, M.; Mace, J.; Druschel, P.; Garg, D.: Groundhog: Efficient Request Isolation in FaaS. In: EuroSys '23, S. 398 - 415 (Hg. Di Luna, G. A.; Querzoni, L.; Fedorova, A.; Narayanan, D.). Eighteenth European Conference on Computer Systems, Rome, Italy, 08. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Anand, A.; Mallik, K.; Nayak, S. P.; Schmuck, A.-K.: Computing Adequately Permissive Assumptions for Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 211 - 228 (Hg. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Poster Abstract: Permissiveness for Strategy Adaptation. In: HSCC 2023, 29, S. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Synthesizing Permissive Winning Strategy Templates for Parity Games. In: Computer Aided Verification, S. 436 - 458 (Hg. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, 17. Juli 2023 - 22. Juli 2023. Springer, Berlin (2023)

Anand, A.; Zetzsche, G.: Priority Downward Closures. In: 34th International Conference on Concurrency Theory, 39, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 2023. Schloss Dagstuhl, Wadern (2023)

Aw, K. L.; Toneva, M.: Training Language Models to Summarize Narratives Improves Brain Alignment. In: The Eleventh International Conference on Learning Representations. Eleventh International Conference on Learning Representations, Kigali, Rwanda, 01. Mai 2023 - 05. Mai 2023. OpenReview.net (2023)

Baumann, P.; D’Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-Bounded Counters. In: Foundations of Software Science and Computation Structures, S. 240 - 264 (Hg. Kupferman, O.; Sobocinski, P.). 26th International Conference on Foundations of Software Science and Computation Structures, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Checking Refinement of Asynchronous Programs Against Context-Free Specifications. In: 50th International Colloquium on Automata, Languages, and Programming, 110, S. 1 - 20 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Context-Bounded Analysis of Concurrent Programs. In: 50th International Colloquium on Automata, Languages, and Programming, 3, S. 1 - 16 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Madnani, K.; Mazowiecki, F.; Zetzsche, G.: Monus Semantics in Vector Addition Systems with States. In: 34th International Conference on Concurrency Theory, 10, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 2023. Schloss Dagstuhl, Wadern (2023)