|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | El Manssour, Rida Ait ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton ; Worrell, James B | Determination Problems for Orbit Closures and Matrix Groups | Inproceedings Konferenzbeitrag  | 8-Jan-2026 |
| 2 | | Varonka, Anton ; Watanabe, Kazuki | On Piecewise Affine Reachability with Bellman Operators | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 3 | | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag   | 2025 |
| 4 | | Ait El Manssour, Rida ; Kenison, George James ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Synthesis | Presentation Vortrag | 19-Sep-2024 |
| 5 | | Collevati, Michele ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas | Leveraging Neurosymbolic AI for Slice Discovery | Inproceedings Konferenzbeitrag | 10-Sep-2024 |
| 6 | | Hitarth, S. ; Kenison, George James ; Kovacs, Laura ; Varonka, Anton | Linear Loop Synthesis for Quadratic Invariants | Inproceedings Konferenzbeitrag | 11-Mar-2024 |
| 7 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |
| 8 | | Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo | Towards a Game-Theoretic Security Analysis of Off-Chain Protocols | Inproceedings Konferenzbeitrag | 2023 |
| 9 | | Rebola Pardo, Adrian | Even Shorter Proofs Without New Variables | Inproceedings Konferenzbeitrag | 2023 |
| 10 | | Rebola Pardo, Adrian | Interpolants and Interference | Inproceedings Konferenzbeitrag | Aug-2022 |
