Inizio contenuto principale del sito

Vandin, A; Tribastone, M

Quantitative abstractions for collective adaptive systems Apre una nuova scheda del browser

(2016)

Gadducci, F; Lluch Lafuente, A; Vandin, A

Counterpart semantics for a second-order mu-calculus Apre una nuova scheda del browser

(2012)

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

Modelling and analyzing adaptive self-assembly strategies with Maude Apre una nuova scheda del browser

(2015)

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

Maximal aggregation of polynomial dynamical systems Apre una nuova scheda del browser

(2017)

Vandin, A

Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” Apre una nuova scheda del browser

(2018)

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

Symbolic computation of differential equivalences Apre una nuova scheda del browser

(2019)

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

Comparing chemical reaction networks: A categorical and algorithmic perspective Apre una nuova scheda del browser

(2019)

Vandin, A.

RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL Apre una nuova scheda del browser

(2019)

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

A framework for quantitative modeling and analysis of highly (re)configurable systems Apre una nuova scheda del browser

(2020)

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

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

(2021)

Subscribe to