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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021338 0 0 0 0 0 0 0 0 0 0 0 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/20253.131 31 35 168 103 74 234 437 840 229 169 463 348
2025/202610.056 535 1.494 1.026 1.410 1.016 534 1.187 563 600 719 382 590
Totale 17.480