| | 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 | | Chiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo | A model checker for operator precedence languages | Article Artikel | Sep-2023 |
| 5 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 6 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 7 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |
| 8 | | Song, Minsun ; Bura, Efstathia ; Parzer, Roman ; Pfeiffer, Ruth | Structured time-dependent inverse regression (STIR) | Article Artikel | 14-Mar-2023 |
| 9 | | Kovács, Laura | Symbolic Computation in Automated Program Reasoning | Inproceedings Konferenzbeitrag | 3-Mar-2023 |
| 10 | | Kovacs, Laura | Algebraic Reasoning for (Un)Solvable Loops (Invited Talk) | Inproceedings Konferenzbeitrag | 2023 |
| 11 | | Kovács, Laura | Algebra-Based Loop Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 12 | | Kovács, Laura ; Varonka, Anton | What Else is Undecidable About Loops? | Inproceedings Konferenzbeitrag | 2023 |
| 13 | | Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia | Distribution Estimation for Probabilistic Loops | Inproceedings Konferenzbeitrag | 12-Sep-2022 |
| 14 | | Kenison, George | On the Skolem Problem for Reversible Sequences | Inproceedings Konferenzbeitrag | 22-Aug-2022 |
| 15 | | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura | The probabilistic termination tool amber | Article Artikel | Aug-2022 |
| 16 | | Brune, Barbara ; Scherrer, Wolfgang ; Bura, Efstathia | A state-space approach to time-varying reduced-rank regression | Article Artikel | 28-May-2022 |
| 17 | | Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura | Algebra-Based Reasoning for Loop Synthesis | Article Artikel | 1-Apr-2022 |
| 18 | | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments | Inproceedings Konferenzbeitrag | 2022 |
| 19 | | Fertl, Lukas ; Bura, Efstathia | The ensemble conditional variance estimator for sufficient dimension reduction | Article Artikel | 2022 |
| 20 | | 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 |