Inizio contenuto principale del sito

Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A

Symbolic computation of differential equivalences Apre una nuova scheda del browser

(2019)

Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea

Differential Equivalence for Linear Differential Algebraic Equations Apre una nuova scheda del browser

(2021)

Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

A formal approach for the analysis of BPMN collaboration models Apre una nuova scheda del browser

(2021)

Waizmann, Tabea; Bortolussi, Luca; Vandin, Andrea; Tribastone, Mirco

Improved estimations of stochastic chemical kinetics by finite-state expansion Apre una nuova scheda del browser

(2021)

ter Beek, Maurice H.; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea

Quantitative security risk modeling and analysis with RisQFlan Apre una nuova scheda del browser

(2021)

Cardelli, Luca; Perez-Verona, Isabel Cristina; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea; Waizmann, Tabea

Exact maximal reduction of stochastic reaction networks by species lumping Apre una nuova scheda del browser

(2021)