|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel  | 9-Dec-2025 |
| 2 | | Vana, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Gregor | Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-Temporal Data | Article Artikel | 18-Jun-2025 |
| 3 | | Parzer, Roman ; Vana Gür, Laura ; Filzmoser, Peter | spar: Sparse Projected Averaged Regression in R | Preprint Preprint   | 26-Nov-2024 |
| 4 | | Parzer, Roman ; Filzmoser, Peter ; Vana Gür, Laura | Data-Driven Random Projection and Screening for High-Dimensional Generalized Linear Models | Preprint Preprint | 1-Oct-2024 |
| 5 | | Schwendinger, Florian ; Vana, Laura ; Hornik, Kurt | Readability prediction: How many features are necessary? | Article Artikel | Jun-2024 |
| 6 | | Schwendinger, Benjamin ; Schwendinger, Florian ; Vana, Laura | Holistic Generalized Linear Models | Article Artikel | Feb-2024 |
| 7 | | Parzer, Roman ; Filzmoser, Peter ; Vana Gür, Laura | Random projections for classification with high-dimensional data | Inproceedings Konferenzbeitrag | 2024 |
| 8 | | Parzer, Roman ; Vana Gür, Laura ; Filzmoser, Peter | Sparse data-driven random projection in regression for high-dimensional data | Inproceedings Konferenzbeitrag | 2024 |
| 9 |  | Parzer, Roman ; Vana Gür, Laura ; Filzmoser, Peter | Sparse Projected Averaged Regression for High-Dimensional Data | Preprint Preprint | 30-Nov-2023 |
| 10 |  | Vana, Laura ; Hornik, Kurt | Dynamic modelling of corporate credit ratings and defaults | Article Artikel | Aug-2023 |
| 11 | | Parzer, Roman ; Vana Gür, Laura ; Filzmoser, Peter | Combining New Dimension Reduction Tools for High-Dimensional Regression | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 12 | | Parzer, Roman ; Vana Gür, Laura ; Filzmoser, Peter | High-dimensional Regression using Screening, Random Projection and Averaging | Presentation Vortrag | 8-Mar-2023 |
| 13 | | Vana Gür, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Gregor | Posterior predictive model assessment using formal methods in a spatio-temporal model | Preprint Preprint | 3-Oct-2022 |
| 14 | | Parzer, Roman ; Vana Gür, Laura | Bayesian Dimension Reduction for Regressions in High Dimensions | Presentation Vortrag | 1-Oct-2022 |
| 15 | | Vana Gür, Laura | Posterior Predictive Model Checking Using Formal Methods | Presentation Vortrag | 18-Jan-2022 |
| 16 | | Vana Gür, Laura | Analysis of Spatio-Temporal Data Using Bayesian and Formal Methods | Presentation Vortrag | 7-Oct-2021 |
