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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021529 0 0 0 0 0 0 0 0 0 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/20269.150 535 1.494 1.026 1.424 1.037 550 1.198 572 615 699 0 0
Totale 16.574