Professore Associato Istituto di Economia Scarica il curriculum vitae Andrea Vandin andrea.vandin@santannapisa.it 050 883314 Complesso edilizio Sede Centrale Bio Please visit my English homepage https://www.santannapisa.it/en/andrea-vandin Pubblicazioni Contributo in Atti Convegno (Proceeding) (61) Contributo su Rivista (24) Contributo in Volume (4) Altro (1) Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea BProVe: Tool Support for Business Process Verification Apre una nuova scheda del browser (2017) 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) Vandin, A; Tribastone, M Quantitative abstractions for collective adaptive systems 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 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) Abeywickrama, D B; Combaz, J; Horky, V; Keznikl, J; Kofron, J; Luch Lafuente, A; Loreti, M; Margheri, A; Mayer, P; Monreale, V; Montanari, U; Pinciroli, C; Tuma, P; Vandin, A; Vassev, E Tools for ensemble design and runtime 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) De Nicola, R; Latella, D; Lluch Lafuente, A; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A The SCEL language: Design, implementation, verification Apre una nuova scheda del browser (2015) Load More
