VANDIN, ANDREA

VANDIN, ANDREA  

Istituto di Economia  

Mostra records
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A conceptual framework for adaptation 1-gen-2012 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
A formal approach for the analysis of BPMN collaboration models 1-gen-2021 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
A framework for quantitative modeling and analysis of highly (re)configurable systems 1-gen-2020 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 1-gen-2021 Perez-Verona, Isabel Cristina; Tribastone, Mirco; Vandin, Andrea
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 1-gen-2019 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 1-gen-2016 Ciancia, V; Latella, D; Massink, M; Paskauskas, R; Vandin, A
A white box perspective on behavioural adaptation 1-gen-2015 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Adaptable transition systems 1-gen-2013 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
An analysis pathway for the quantitative evaluation of public transport systems 1-gen-2014 Gilmore, S; Tribastone, M; Vandin, A
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 1-gen-2020 Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 1-gen-2022 Vandin, Andrea; Giachini, Daniele; Lamperti, Francesco; Chiaromonte, Francesca
Awareness and Control in Adaptable Transition Systems 1-gen-2015 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Backward Invariance for Linear Differential Algebraic Equations 1-gen-2019 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
BProVe: Tool Support for Business Process Verification 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
Comparing chemical reaction networks: A categorical and algorithmic perspective 1-gen-2019 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective 1-gen-2016 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Counterpart semantics for a second-order mu-calculus 1-gen-2010 Gadducci, F; Lluch Lafuente, A; Vandin, A
Counterpart semantics for a second-order mu-calculus 1-gen-2012 Gadducci, F; Lluch Lafuente, A; Vandin, A
Differential bisimulation for a Markovian process algebra 1-gen-2015 Iacobelli, G; Tribastone, M; Vandin, A
Differential Equivalence for Linear Differential Algebraic Equations 1-gen-2021 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea