 | Up a level |
Squillace, Giuseppe (2024) Dynamical systems reduction through approximate lumping techniques. Advisor: Tribastone, Prof. Mirco. Coadvisor: Tschaikowski, Prof. Max . pp. 134. [IMT PhD Thesis]
Randone, Francesca (2024) Efficient and Accurate Analysis of Two Classes of Transparent Generative Models. Advisor: Tribastone, Prof. Mirco. Coadvisor: Bortolussi, Prof. Luca . pp. 162. [IMT PhD Thesis]
Garbi, Giulio (2023) Automatic and Accurate Performance Prediction in Distributed Systems. Advisor: Tribastone, Prof. Mirco. Coadvisor: Incerto, Dr. Emilio . pp. 120. [IMT PhD Thesis]
Simic, Stella (2022) Bit-precise Verification of Numerical Properties in Fixed-point Programs. Advisor: Tribastone, Prof. Mirco. Coadvisor: Inverso, Dr. Omar . pp. 163. [IMT PhD Thesis]
Napolitano, Annalisa (2022) Automated Learning of Quantitative Software Models from System Traces. Advisor: Tribastone, Prof. Mirco. pp. 124. [IMT PhD Thesis]
Waizmann, Tabea (2021) The effect of compression and expansion on stochastic reaction networks. Advisor: Tribastone, Prof. Mirco. pp. 114. [IMT PhD Thesis]
Pérez Verona, Isabel Cristina (2020) Approaches for the exact reduction of large-scale biochemical models. Advisor: Tribastone, Prof. Mirco. Coadvisor: Vandin, Prof. Andrea . pp. 156. [IMT PhD Thesis]
