Inizio contenuto principale del sito

Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A

Awareness and Control in Adaptable Transition Systems Apre una nuova scheda del browser

(2015)

Iacobelli, G; Tribastone, M; Vandin, A

Differential bisimulation for a Markovian process algebra Apre una nuova scheda del browser

(2015)

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

Efficient syntax-Driven lumping of differential equations Apre una nuova scheda del browser

(2016)

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

Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective Apre una nuova scheda del browser

(2016)

ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A

Statistical model checking for product lines Apre una nuova scheda del browser

(2016)

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

Symbolic computation of differential equivalences Apre una nuova scheda del browser

(2016)

Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A

A tool-chain for statistical spatio-temporal model checking of bike sharing systems Apre una nuova scheda del browser

(2016)

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

Syntactic markovian bisimulation for chemical reaction networks Apre una nuova scheda del browser

(2017)

Vandin, A

Language-based Abstractions for Dynamical Systems Apre una nuova scheda del browser

(2017)

Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A

EGAC: A genetic algorithm to compare chemical reaction networks Apre una nuova scheda del browser

(2017)

Subscribe to