IRIS
VANDIN, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.392
AS - Asia 5.312
EU - Europa 4.068
SA - Sud America 1.315
Continente sconosciuto - Info sul continente non disponibili 192
AF - Africa 150
OC - Oceania 7
Totale 18.436
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.938
SG - Singapore 1.705
CN - Cina 1.416
RU - Federazione Russa 1.231
IT - Italia 1.216
BR - Brasile 1.047
VN - Vietnam 814
GB - Regno Unito 388
HK - Hong Kong 371
CA - Canada 288
FR - Francia 222
DE - Germania 221
IN - India 167
BD - Bangladesh 150
UA - Ucraina 139
AR - Argentina 111
TR - Turchia 109
SE - Svezia 96
ID - Indonesia 95
MX - Messico 95
FI - Finlandia 93
KR - Corea 93
IE - Irlanda 91
NL - Olanda 77
AT - Austria 52
IL - Israele 52
JP - Giappone 49
PL - Polonia 45
ZA - Sudafrica 45
EC - Ecuador 41
ES - Italia 41
IQ - Iraq 39
DK - Danimarca 35
PK - Pakistan 35
MY - Malesia 33
CO - Colombia 27
UZ - Uzbekistan 26
VE - Venezuela 24
MA - Marocco 22
CL - Cile 21
HU - Ungheria 21
CH - Svizzera 20
PY - Paraguay 19
SA - Arabia Saudita 19
JO - Giordania 14
TN - Tunisia 14
EG - Egitto 13
KZ - Kazakistan 13
BE - Belgio 12
PH - Filippine 12
AZ - Azerbaigian 11
JM - Giamaica 11
PE - Perù 11
AE - Emirati Arabi Uniti 10
DO - Repubblica Dominicana 10
DZ - Algeria 10
HR - Croazia 9
IR - Iran 9
TW - Taiwan 9
UY - Uruguay 9
CR - Costa Rica 8
GE - Georgia 8
NI - Nicaragua 8
OM - Oman 8
BH - Bahrain 7
HN - Honduras 7
KE - Kenya 7
MN - Mongolia 7
AL - Albania 6
BY - Bielorussia 6
CI - Costa d'Avorio 6
GT - Guatemala 6
KG - Kirghizistan 6
NO - Norvegia 6
NP - Nepal 6
RS - Serbia 6
TT - Trinidad e Tobago 6
CZ - Repubblica Ceca 5
GR - Grecia 5
NG - Nigeria 5
AU - Australia 4
BO - Bolivia 4
CM - Camerun 4
LB - Libano 4
LT - Lituania 4
PA - Panama 4
AO - Angola 3
BB - Barbados 3
BG - Bulgaria 3
ET - Etiopia 3
LU - Lussemburgo 3
PS - Palestinian Territory 3
PT - Portogallo 3
SN - Senegal 3
CG - Congo 2
EE - Estonia 2
GA - Gabon 2
GH - Ghana 2
KH - Cambogia 2
LC - Santa Lucia 2
Totale 18.205
Salva come PNG Salva come JPEG
Città #
Dallas 1.155
Singapore 825
Ashburn 694
San Jose 560
Beijing 417
Hong Kong 356
Council Bluffs 296
Fairfield 295
Milan 243
Chandler 232
Los Angeles 218
Ho Chi Minh City 217
Moscow 205
Santa Clara 192
San Mateo 183
Houston 181
Ann Arbor 171
The Dalles 163
Cambridge 161
Rome 153
Seattle 132
Hanoi 128
Wilmington 115
Dong Ket 112
Jacksonville 107
São Paulo 105
Woodbridge 105
New York 104
Pisa 103
Montreal 96
Dublin 91
Hefei 91
Lauterbourg 87
Beauharnois 81
Portsmouth 77
Columbus 74
Istanbul 68
Stevenage 68
Lawrence 62
Boardman 56
Frankfurt am Main 55
Southend 54
Helsinki 51
Tel Aviv 49
Orem 46
Chicago 45
Florence 45
Mexico City 45
Phoenix 45
Brooklyn 44
London 43
Fremont 42
Buffalo 41
Tokyo 40
Lappeenranta 39
Jakarta 38
Seoul 37
Warsaw 37
Denver 35
Seongnam 34
Turin 33
Guangzhou 32
Rio de Janeiro 32
Haiphong 30
San Diego 30
Amsterdam 29
Shenzhen 29
Atlanta 28
Washington 28
Chennai 27
Bologna 26
Brasília 26
Kuala Lumpur 25
Boston 24
Shanghai 24
Johannesburg 23
Paris 23
Vienna 23
Belo Horizonte 22
Nuremberg 22
Toronto 22
Manchester 19
Poplar 19
San Francisco 19
Strasbourg 19
Buti 18
Da Nang 18
Figino 18
Quito 18
Stockholm 18
Changsha 17
Zurich 17
Biên Hòa 16
Chengdu 16
Mumbai 16
Ottawa 16
Brescia 15
Genoa 15
Salt Lake City 15
Thái Nguyên 15
Totale 10.526
Salva come PNG Salva come JPEG
Nome #
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 411
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 364
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes 325
A formal approach for the analysis of BPMN collaboration models 294
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking 286
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 283
Approximate Constrained Lumping of Polynomial Differential Equations 280
Towards visualizing and analysing legal proceedings with process mining 279
Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation 271
White-box validation of quantitative product lines by statistical model checking and process mining 264
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining 258
Stochastic conformance checking based on variable-length Markov chains 257
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains 252
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa 244
A conceptual framework for adaptation 241
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 240
Quantitative abstractions for collective adaptive systems 235
Awareness and Control in Adaptable Transition Systems 234
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 233
A framework for quantitative modeling and analysis of highly (re)configurable systems 231
Approximate Reductions of Rational Dynamical Systems in CLUE 228
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 228
An analysis pathway for the quantitative evaluation of public transport systems 228
Formal Approaches for Modeling and Analysis of Business Process Collaborations 222
Adaptable transition systems 222
Coarse-graining Complex Networks for Control Equivalence 217
Approximate constrained lumping of chemical reaction networks 217
Optimality-Preserving Reduction of Chemical Reaction Networks 214
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining 214
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 213
Backward Invariance for Linear Differential Algebraic Equations 208
A white box perspective on behavioural adaptation 206
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios 205
Statistical analysis of probabilistic models of software product lines with quantitative constraints 204
Distributed statistical analysis of complex systems modeled through a chemical metaphor 204
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems 200
MultiVeStA: Statistical model checking for discrete event simulators 200
Exploiting over- and under-approximations for infinite-state counterpart models 194
Differential bisimulation for a Markovian process algebra 193
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 191
BProVe: a Formal Verification Framework for Business Process Models 190
Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” 187
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective 186
Counterpart semantics for a second-order mu-calculus 184
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence 180
Proper Lumping for Positive Bilinear Control Systems 180
UTOPIC: Under-approximation through optimal control 176
The SCEL language: Design, implementation, verification 174
Dissimilarity for Linear Dynamical Systems 173
Quantitative security risk modeling and analysis with RisQFlan 172
State space c-reductions of concurrent systems in rewriting logic 171
Symbolic computation of differential equivalences 171
ERODE: A tool for the evaluation and reduction of ordinary differential equations 170
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL 170
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking 169
Tools for ensemble design and runtime 168
Reducing Boolean Networks with Backward Boolean Equivalence 168
Maximal aggregation of polynomial dynamical systems 168
Modelling and analyzing adaptive self-assembly strategies with Maude 167
BProVe: Tool Support for Business Process Verification 166
Transient and Steady-State Statistical Analysis for Discrete Event Simulators 165
Comparing chemical reaction networks: A categorical and algorithmic perspective 164
Language-based Abstractions for Dynamical Systems 164
EGAC: A genetic algorithm to compare chemical reaction networks 160
Statistical analysis of CARMA models: An advanced tutorial 159
Reconciling white-box and black-box perspectives on behavioral self-adaptation 159
Efficient Network Embedding by Approximate Equitable Partitions 158
Lumpability for Uncertain Continuous-Time Markov Chains 158
Counterpart semantics for a second-order mu-calculus 156
Efficient syntax-Driven lumping of differential equations 155
Statistical model checking for product lines 154
Reasoning (on) service component ensembles in rewriting logic 154
Syntactic markovian bisimulation for chemical reaction networks 153
Symbolic computation of differential equivalences 149
Formal Analysis of Lending Pools in Decentralized Finance 148
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis 147
Specification and verification of modal properties for structured systems 146
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 143
Modelling and analyzing adaptive self-assembly strategies with Maude 142
Minimization of Dynamical Systems over Monoids 140
Improved estimations of stochastic chemical kinetics by finite-state expansion 138
Differential Equivalence for Linear Differential Algebraic Equations 134
Reducing Boolean networks with backward equivalence 133
Approximate regular equivalence by partition refinement 132
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial 132
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation 130
Exact maximal reduction of stochastic reaction networks by species lumping 124
The current status of gene expression profilings in COVID-19 patients 124
Towards a Maude tool for model checking temporal graph properties 122
Forward and backward bisimulations for chemical reaction networks 121
Fast, robust, and accurate anomaly detection for multivariate time series 120
Formal lumping of polynomial differential equations through approximate equivalences 119
Process Mining for legal Courts: Visualising, analysing and comparing Italian divorce proceedings 114
Enhancing quality and decision-making for care pathways: An application of process mining in cancer care 102
Replicated Computations Results (RCR) Report for ``Towards Standardizing Validation Practices in Agent-Based Modeling: A Hierarchical ABM Validation Framework' 91
Differential equivalence yields network centrality 76
Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth 60
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE 57
From Text to Process: Leveraging LLMs to Unveil Italian Lawmaking 53
Scalable Network Embedding with Approximate Equitable Partitions 43
Totale 18.379
Salva come PNG Salva come JPEG
Categoria #
all - tutte 97.733
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 97.733
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.001 0 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/20253.131 31 35 168 103 74 234 437 840 229 169 463 348
2025/202610.230 535 1.494 1.026 1.410 1.016 534 1.187 563 600 719 382 764
2026/2027782 326 456 0 0 0 0 0 0 0 0 0 0
Totale 18.436