IRIS
VANDIN, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.165
AS - Asia 3.549
EU - Europa 2.914
SA - Sud America 1.143
AF - Africa 84
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 12.860
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.876
SG - Singapore 1.147
RU - Federazione Russa 1.137
BR - Brasile 947
CN - Cina 920
VN - Vietnam 599
IT - Italia 541
GB - Regno Unito 352
HK - Hong Kong 247
CA - Canada 219
DE - Germania 156
UA - Ucraina 129
FR - Francia 116
IN - India 114
KR - Corea 90
AR - Argentina 87
IE - Irlanda 83
TR - Turchia 83
FI - Finlandia 76
SE - Svezia 71
ID - Indonesia 61
IL - Israele 51
AT - Austria 50
NL - Olanda 50
MX - Messico 47
BD - Bangladesh 44
JP - Giappone 39
ZA - Sudafrica 37
EC - Ecuador 33
PL - Polonia 28
ES - Italia 26
DK - Danimarca 25
MY - Malesia 21
UZ - Uzbekistan 19
PK - Pakistan 18
CL - Cile 15
CO - Colombia 15
IQ - Iraq 15
VE - Venezuela 15
KZ - Kazakistan 13
PY - Paraguay 13
CH - Svizzera 12
HU - Ungheria 12
MA - Marocco 12
BE - Belgio 9
AZ - Azerbaigian 8
PE - Perù 8
DO - Repubblica Dominicana 7
MN - Mongolia 7
UY - Uruguay 7
AE - Emirati Arabi Uniti 6
EG - Egitto 6
NO - Norvegia 6
SA - Arabia Saudita 6
BH - Bahrain 5
GE - Georgia 5
IR - Iran 5
JO - Giordania 5
AL - Albania 4
CI - Costa d'Avorio 4
CM - Camerun 4
DZ - Algeria 4
LT - Lituania 4
TN - Tunisia 4
AU - Australia 3
BY - Bielorussia 3
GR - Grecia 3
HN - Honduras 3
LU - Lussemburgo 3
NI - Nicaragua 3
NP - Nepal 3
OM - Oman 3
PA - Panama 3
PH - Filippine 3
PS - Palestinian Territory 3
AO - Angola 2
BG - Bulgaria 2
BO - Bolivia 2
EE - Estonia 2
GH - Ghana 2
HR - Croazia 2
JM - Giamaica 2
KE - Kenya 2
KG - Kirghizistan 2
LV - Lettonia 2
MT - Malta 2
NG - Nigeria 2
RS - Serbia 2
SN - Senegal 2
TT - Trinidad e Tobago 2
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EU - Europa 1
GA - Gabon 1
GT - Guatemala 1
GY - Guiana 1
IM - Isola di Man 1
KH - Cambogia 1
KI - Kiribati 1
LK - Sri Lanka 1
Totale 12.848
Salva come PNG Salva come JPEG
Città #
Dallas 1.133
Singapore 587
Ashburn 444
Beijing 333
Fairfield 295
Hong Kong 244
Chandler 232
Los Angeles 185
San Mateo 183
Houston 175
Ann Arbor 160
Cambridge 160
Ho Chi Minh City 155
Moscow 153
Seattle 128
Dong Ket 112
Wilmington 111
Jacksonville 105
Woodbridge 103
Santa Clara 92
São Paulo 92
Hefei 91
The Dalles 87
Montreal 83
Dublin 82
Beauharnois 81
Portsmouth 76
Hanoi 74
Stevenage 68
Lawrence 62
New York 62
Pisa 61
Istanbul 58
Boardman 54
Southend 54
Tel Aviv 48
Rome 44
Fremont 42
London 38
Lappeenranta 37
Seoul 37
Chicago 36
Helsinki 36
Brooklyn 35
Seongnam 34
Milan 33
Tokyo 32
Denver 30
San Diego 28
Buffalo 27
Guangzhou 27
Phoenix 27
Rio de Janeiro 27
Florence 25
Brasília 24
Shenzhen 24
Frankfurt am Main 22
Johannesburg 22
Warsaw 22
Boston 21
Nuremberg 21
Vienna 21
Atlanta 20
Shanghai 20
Washington 20
Amsterdam 19
Haiphong 19
Kuala Lumpur 19
Strasbourg 19
Buti 18
Jakarta 18
Orem 18
Paris 18
Poplar 18
Toronto 17
Belo Horizonte 16
Changsha 16
Chennai 16
Council Bluffs 16
Mexico City 16
Ottawa 16
Stockholm 16
Chengdu 15
Turin 15
Augusta 14
Columbus 14
Créteil 14
Quito 14
Humen 13
Porto Alegre 13
Thái Nguyên 13
Almaty 12
Ankara 12
Biên Hòa 12
Mumbai 12
Rimini 12
San Francisco 12
Budapest 11
Campinas 11
Da Nang 11
Totale 7.580
Salva come PNG Salva come JPEG
Nome #
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 330
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 287
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes 262
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking 228
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 225
Quantitative abstractions for collective adaptive systems 199
A conceptual framework for adaptation 193
Approximate Constrained Lumping of Polynomial Differential Equations 191
A formal approach for the analysis of BPMN collaboration models 188
A framework for quantitative modeling and analysis of highly (re)configurable systems 186
Towards visualizing and analysing legal proceedings with process mining 183
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 183
Adaptable transition systems 180
White-box validation of quantitative product lines by statistical model checking and process mining 180
An analysis pathway for the quantitative evaluation of public transport systems 179
Backward Invariance for Linear Differential Algebraic Equations 178
Awareness and Control in Adaptable Transition Systems 178
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains 176
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 172
Distributed statistical analysis of complex systems modeled through a chemical metaphor 171
Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation 169
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 166
Statistical analysis of probabilistic models of software product lines with quantitative constraints 163
A white box perspective on behavioural adaptation 162
Stochastic conformance checking based on variable-length Markov chains 159
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios 159
BProVe: a Formal Verification Framework for Business Process Models 159
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems 158
Counterpart semantics for a second-order mu-calculus 157
Approximate Reductions of Rational Dynamical Systems in CLUE 154
MultiVeStA: Statistical model checking for discrete event simulators 154
UTOPIC: Under-approximation through optimal control 146
Differential bisimulation for a Markovian process algebra 145
Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” 143
ERODE: A tool for the evaluation and reduction of ordinary differential equations 142
Proper Lumping for Positive Bilinear Control Systems 141
Quantitative security risk modeling and analysis with RisQFlan 140
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 140
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective 139
State space c-reductions of concurrent systems in rewriting logic 138
Formal Approaches for Modeling and Analysis of Business Process Collaborations 137
Language-based Abstractions for Dynamical Systems 137
Maximal aggregation of polynomial dynamical systems 137
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 136
Comparing chemical reaction networks: A categorical and algorithmic perspective 136
Tools for ensemble design and runtime 136
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL 136
Coarse-graining Complex Networks for Control Equivalence 135
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking 134
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining 133
Optimality-Preserving Reduction of Chemical Reaction Networks 132
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa 129
Modelling and analyzing adaptive self-assembly strategies with Maude 129
BProVe: Tool Support for Business Process Verification 129
Reasoning (on) service component ensembles in rewriting logic 128
Approximate constrained lumping of chemical reaction networks 128
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis 126
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining 125
Syntactic markovian bisimulation for chemical reaction networks 124
Symbolic computation of differential equivalences 124
Counterpart semantics for a second-order mu-calculus 124
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence 121
Symbolic computation of differential equivalences 121
Statistical analysis of CARMA models: An advanced tutorial 120
EGAC: A genetic algorithm to compare chemical reaction networks 120
The SCEL language: Design, implementation, verification 120
Specification and verification of modal properties for structured systems 120
Reconciling white-box and black-box perspectives on behavioral self-adaptation 118
Transient and Steady-State Statistical Analysis for Discrete Event Simulators 115
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 115
Efficient syntax-Driven lumping of differential equations 112
Lumpability for Uncertain Continuous-Time Markov Chains 112
Dissimilarity for Linear Dynamical Systems 111
Reducing Boolean Networks with Backward Boolean Equivalence 111
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial 109
Exploiting over- and under-approximations for infinite-state counterpart models 109
Modelling and analyzing adaptive self-assembly strategies with Maude 108
Statistical model checking for product lines 106
Differential Equivalence for Linear Differential Algebraic Equations 106
Improved estimations of stochastic chemical kinetics by finite-state expansion 104
Exact maximal reduction of stochastic reaction networks by species lumping 101
Minimization of Dynamical Systems over Monoids 96
Forward and backward bisimulations for chemical reaction networks 94
Towards a Maude tool for model checking temporal graph properties 93
Efficient Network Embedding by Approximate Equitable Partitions 92
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation 89
Reducing Boolean networks with backward equivalence 88
Formal Analysis of Lending Pools in Decentralized Finance 82
Formal lumping of polynomial differential equations through approximate equivalences 80
The current status of gene expression profilings in COVID-19 patients 69
Approximate regular equivalence by partition refinement 41
Adaptation is a Game 38
Process Mining for legal Courts: Visualising, analysing and comparing Italian divorce proceedings 30
Differential equivalence yields network centrality 28
null 1
Totale 13.038
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.913
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 76.913
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.039 0 0 0 0 0 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/20253.131 31 35 168 103 74 234 437 840 229 169 463 348
2025/20265.614 535 1.494 1.026 1.424 1.037 98 0 0 0 0 0 0
Totale 13.038