| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Specification Parameters for Multi-class Classification | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
| 2 | | Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie | Deductive Controller Synthesis for Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 3 | | Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Introducing Asynchronicity to Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 4 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 5 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 6 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |
| 7 | | Kovács, Laura | Symbolic Computation in Automated Program Reasoning | Inproceedings Konferenzbeitrag | 3-Mar-2023 |
| 8 | | Kovacs, Laura | Algebraic Reasoning for (Un)Solvable Loops (Invited Talk) | Inproceedings Konferenzbeitrag | 2023 |
| 9 | | Kovács, Laura | Algebra-Based Loop Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 10 | | Kovács, Laura ; Varonka, Anton | What Else is Undecidable About Loops? | Inproceedings Konferenzbeitrag | 2023 |
| 11 | | Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia | Distribution Estimation for Probabilistic Loops | Inproceedings Konferenzbeitrag | 12-Sep-2022 |
| 12 | | Kenison, George | On the Skolem Problem for Reversible Sequences | Inproceedings Konferenzbeitrag | 22-Aug-2022 |
| 13 | | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments | Inproceedings Konferenzbeitrag | 2022 |
| 14 | | Kenison, George James ; Klurman, Oleksiy ; Lefaucheux, Engel ; Luca, Florian ; Moree, Pieter ; Ouaknine, Joël ; Whiteland, Markus ; Worrell, James | On Positivity and Minimality for Second-Order Holonomic Sequences | Inproceedings Konferenzbeitrag | 1-Aug-2021 |