VANDIN, ANDREA

VANDIN, ANDREA  

Istituto di Economia  

Mostra records
Risultati 1 - 20 di 76 (tempo di esecuzione: 0.038 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
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains 1-gen-2023 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 1-gen-2022 Squillace, G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
An analysis pathway for the quantitative evaluation of public transport systems 1-gen-2014 Gilmore, S; Tribastone, M; Vandin, A
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence 1-gen-2022 Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Approximate Constrained Lumping of Polynomial Differential Equations 1-gen-2023 Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, 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: a Formal Verification Framework for Business Process Models 1-gen-2017 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
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-2016 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A