IRIS
VANDIN, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.373
EU - Europa 1.146
AS - Asia 661
SA - Sud America 11
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.198
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.292
IT - Italia 345
GB - Regno Unito 261
VN - Vietnam 200
CN - Cina 134
UA - Ucraina 114
SG - Singapore 113
DE - Germania 83
CA - Canada 81
KR - Corea 81
IE - Irlanda 80
IN - India 61
FI - Finlandia 52
SE - Svezia 52
FR - Francia 50
RU - Federazione Russa 20
NL - Olanda 18
DK - Danimarca 16
AT - Austria 13
UZ - Uzbekistan 12
BR - Brasile 11
CH - Svizzera 10
HU - Ungheria 10
ID - Indonesia 9
KZ - Kazakistan 9
BE - Belgio 7
MN - Mongolia 7
PK - Pakistan 6
TR - Turchia 6
AZ - Azerbaigian 5
GE - Georgia 5
IR - Iran 5
NO - Norvegia 5
CM - Camerun 4
HK - Hong Kong 3
PH - Filippine 3
ES - Italia 2
LU - Lussemburgo 2
MT - Malta 2
TN - Tunisia 2
EU - Europa 1
GR - Grecia 1
JP - Giappone 1
MY - Malesia 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 4.198
Salva come PNG Salva come JPEG
Città #
Fairfield 295
Chandler 232
San Mateo 183
Houston 163
Ann Arbor 160
Cambridge 160
Ashburn 126
Dong Ket 112
Wilmington 109
Seattle 108
Jacksonville 105
Woodbridge 103
Los Angeles 86
Dublin 80
Portsmouth 71
Stevenage 68
Lawrence 62
Montreal 55
Southend 54
Boardman 51
Singapore 48
Fremont 42
Pisa 34
Seongnam 34
Helsinki 33
Seoul 31
London 27
San Diego 26
Rome 25
Shenzhen 22
Brooklyn 19
Lappeenranta 19
Strasbourg 19
Buti 18
Milan 18
Florence 16
Ottawa 15
Shanghai 15
Washington 15
Chengdu 14
Guangzhou 14
Augusta 13
Rimini 12
Turin 11
Budapest 10
Wuhan 10
Almaty 9
Gurgaon 9
Jakarta 9
Santa Clara 9
Toronto 9
Badheri 8
Hyderabad 8
Livorno 8
Norwalk 8
Phoenix 8
Vienna 8
Zhengzhou 8
Council Bluffs 7
Krasnokamensk 7
Zurich 7
Bursa 6
Catania 6
L’Aquila 6
Torino 6
Brasília 5
Como 5
Delhi 5
Kaul 5
Serra 5
Wiener Neustadt 5
Atlanta 4
Berlin 4
Brescia 4
Curno 4
Durham 4
Frankfurt am Main 4
Genoa 4
Gothenburg 4
Grosseto 4
Hamburg 4
Kongens Lyngby 4
Lucca 4
Redwood City 4
Venice 4
Alblasserdam 3
Albuquerque 3
Amsterdam 3
Beijing 3
Bologna 3
Calci 3
Carrara 3
Changsha 3
Chiswick 3
Collestrada 3
Cura Carpignano 3
Frederiksberg 3
Hanover 3
Kilburn 3
Modica 3
Totale 3.220
Salva come PNG Salva come JPEG
Nome #
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 162
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 135
Quantitative abstractions for collective adaptive systems 129
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 107
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios 96
Distributed statistical analysis of complex systems modeled through a chemical metaphor 86
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking 83
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems 79
Comparing chemical reaction networks: A categorical and algorithmic perspective 76
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL 76
Adaptable transition systems 76
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes 75
Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” 73
Statistical analysis of probabilistic models of software product lines with quantitative constraints 72
MultiVeStA: Statistical model checking for discrete event simulators 72
A conceptual framework for adaptation 71
State space c-reductions of concurrent systems in rewriting logic 70
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective 70
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 69
Modelling and analyzing adaptive self-assembly strategies with Maude 68
Maximal aggregation of polynomial dynamical systems 68
Counterpart semantics for a second-order mu-calculus 67
Quantitative security risk modeling and analysis with RisQFlan 67
Differential bisimulation for a Markovian process algebra 66
A framework for quantitative modeling and analysis of highly (re)configurable systems 65
Efficient syntax-Driven lumping of differential equations 64
UTOPIC: Under-approximation through optimal control 64
BProVe: a Formal Verification Framework for Business Process Models 63
Specification and verification of modal properties for structured systems 63
Counterpart semantics for a second-order mu-calculus 63
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 62
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking 60
Backward Invariance for Linear Differential Algebraic Equations 60
The SCEL language: Design, implementation, verification 59
An analysis pathway for the quantitative evaluation of public transport systems 59
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 59
ERODE: A tool for the evaluation and reduction of ordinary differential equations 58
Symbolic computation of differential equivalences 58
Symbolic computation of differential equivalences 58
Exploiting over- and under-approximations for infinite-state counterpart models 57
EGAC: A genetic algorithm to compare chemical reaction networks 56
White-box validation of quantitative product lines by statistical model checking and process mining 56
Modelling and analyzing adaptive self-assembly strategies with Maude 54
Statistical analysis of CARMA models: An advanced tutorial 54
Tools for ensemble design and runtime 54
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial 53
Awareness and Control in Adaptable Transition Systems 52
Language-based Abstractions for Dynamical Systems 52
Reasoning (on) service component ensembles in rewriting logic 52
Differential Equivalence for Linear Differential Algebraic Equations 52
BProVe: Tool Support for Business Process Verification 51
Syntactic markovian bisimulation for chemical reaction networks 50
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 50
Improved estimations of stochastic chemical kinetics by finite-state expansion 48
Reconciling white-box and black-box perspectives on behavioral self-adaptation 47
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis 47
A white box perspective on behavioural adaptation 47
Towards a Maude tool for model checking temporal graph properties 47
A formal approach for the analysis of BPMN collaboration models 47
Transient and Steady-State Statistical Analysis for Discrete Event Simulators 43
Exact maximal reduction of stochastic reaction networks by species lumping 42
Lumpability for Uncertain Continuous-Time Markov Chains 38
Statistical model checking for product lines 37
Reducing Boolean Networks with Backward Boolean Equivalence 33
Forward and backward bisimulations for chemical reaction networks 32
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 32
Approximate Constrained Lumping of Polynomial Differential Equations 24
Reducing Boolean networks with backward equivalence 22
Minimization of Dynamical Systems over Monoids 22
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains 17
Formal lumping of polynomial differential equations through approximate equivalences 15
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 11
The current status of gene expression profilings in COVID-19 patients 9
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence 7
Proper Lumping for Positive Bilinear Control Systems 6
Formal Analysis of Lending Pools in Decentralized Finance 5
Totale 4.349
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.049
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.049
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 0 0 2 1 2 0 0 2
2020/20211.756 0 147 93 353 124 234 82 105 89 118 73 338
2021/20221.133 132 174 63 62 11 43 156 213 53 98 37 91
2022/2023681 116 67 30 85 53 65 15 66 90 18 37 39
2023/2024716 37 43 94 19 32 101 31 78 46 69 46 120
2024/202556 31 25 0 0 0 0 0 0 0 0 0 0
Totale 4.349