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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022764 0 0 0 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/20272.326 326 475 927 598 0 0 0 0 0 0 0 0
Totale 19.980