IRIS
VANDIN, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.494
EU - Europa 1.212
AS - Asia 801
SA - Sud America 14
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.528
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.411
IT - Italia 375
GB - Regno Unito 272
SG - Singapore 219
VN - Vietnam 200
CN - Cina 157
UA - Ucraina 114
DE - Germania 86
KR - Corea 82
CA - Canada 81
IE - Irlanda 81
IN - India 68
FI - Finlandia 61
SE - Svezia 53
FR - Francia 52
RU - Federazione Russa 20
NL - Olanda 19
DK - Danimarca 16
AT - Austria 14
CH - Svizzera 12
UZ - Uzbekistan 12
BR - Brasile 11
HU - Ungheria 10
ID - Indonesia 10
KZ - Kazakistan 9
BE - Belgio 7
MN - Mongolia 7
NO - Norvegia 6
PK - Pakistan 6
TR - Turchia 6
AZ - Azerbaigian 5
GE - Georgia 5
IR - Iran 5
CM - Camerun 4
HK - Hong Kong 3
PH - Filippine 3
ES - Italia 2
GR - Grecia 2
LU - Lussemburgo 2
MT - Malta 2
TN - Tunisia 2
UY - Uruguay 2
AL - Albania 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EU - Europa 1
IL - Israele 1
JP - Giappone 1
LK - Sri Lanka 1
LV - Lettonia 1
MY - Malesia 1
PA - Panama 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 4.528
Salva come PNG Salva come JPEG
Città #
Fairfield 295
Chandler 232
San Mateo 183
Houston 163
Ann Arbor 160
Cambridge 160
Singapore 141
Ashburn 127
Dong Ket 112
Wilmington 109
Seattle 108
Jacksonville 105
Woodbridge 103
Los Angeles 87
Dublin 81
Portsmouth 71
Stevenage 68
Lawrence 62
Montreal 55
Southend 54
Boardman 51
Santa Clara 49
Fremont 42
Pisa 36
Helsinki 34
Seongnam 34
Seoul 32
London 28
Lappeenranta 26
San Diego 26
Rome 25
Shenzhen 22
Milan 20
Brooklyn 19
Strasbourg 19
Buti 18
Florence 16
Shanghai 16
Guangzhou 15
Ottawa 15
Washington 15
Chengdu 14
Augusta 13
Rimini 12
Turin 11
Budapest 10
Livorno 10
Newcastle-under-Lyme 10
Wuhan 10
Almaty 9
Gurgaon 9
Jakarta 9
Toronto 9
Vienna 9
Zurich 9
Badheri 8
Hyderabad 8
Norwalk 8
Phoenix 8
Zhengzhou 8
Council Bluffs 7
Kanpur 7
Krasnokamensk 7
Bursa 6
Catania 6
Genoa 6
Hamburg 6
L’Aquila 6
Torino 6
Bologna 5
Brasília 5
Como 5
Delhi 5
Kaul 5
Serra 5
Trieste 5
Wiener Neustadt 5
Amsterdam 4
Atlanta 4
Berlin 4
Brescia 4
Curno 4
Durham 4
Frankfurt am Main 4
Gothenburg 4
Grosseto 4
Kongens Lyngby 4
Lucca 4
Montesilvano Marina 4
Redwood City 4
Venice 4
Alblasserdam 3
Albuquerque 3
Beijing 3
Calci 3
Carrara 3
Changsha 3
Chiswick 3
Collestrada 3
Cura Carpignano 3
Totale 3.398
Salva come PNG Salva come JPEG
Nome #
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 174
Automated and Distributed Statistical Analysis of Economic Agent-Based Models 141
Quantitative abstractions for collective adaptive systems 131
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 110
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios 101
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes 98
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking 91
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems 87
Distributed statistical analysis of complex systems modeled through a chemical metaphor 86
MultiVeStA: Statistical model checking for discrete event simulators 80
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL 79
Adaptable transition systems 79
Comparing chemical reaction networks: A categorical and algorithmic perspective 77
Replicated Computations Results (RCR) report for “A holistic approach for collaborative workload execution in volunteer clouds” 77
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 74
A conceptual framework for adaptation 74
Statistical analysis of probabilistic models of software product lines with quantitative constraints 74
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective 73
State space c-reductions of concurrent systems in rewriting logic 72
Quantitative security risk modeling and analysis with RisQFlan 71
A framework for quantitative modeling and analysis of highly (re)configurable systems 70
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 70
Modelling and analyzing adaptive self-assembly strategies with Maude 69
Maximal aggregation of polynomial dynamical systems 69
Counterpart semantics for a second-order mu-calculus 68
Differential bisimulation for a Markovian process algebra 68
BProVe: a Formal Verification Framework for Business Process Models 67
Backward Invariance for Linear Differential Algebraic Equations 67
Efficient syntax-Driven lumping of differential equations 66
UTOPIC: Under-approximation through optimal control 66
Specification and verification of modal properties for structured systems 66
White-box validation of quantitative product lines by statistical model checking and process mining 66
Counterpart semantics for a second-order mu-calculus 65
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking 62
The SCEL language: Design, implementation, verification 61
Symbolic computation of differential equivalences 61
ERODE: A tool for the evaluation and reduction of ordinary differential equations 60
An analysis pathway for the quantitative evaluation of public transport systems 60
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 60
Exploiting over- and under-approximations for infinite-state counterpart models 60
Symbolic computation of differential equivalences 59
EGAC: A genetic algorithm to compare chemical reaction networks 58
Modelling and analyzing adaptive self-assembly strategies with Maude 56
Tools for ensemble design and runtime 56
Reasoning (on) service component ensembles in rewriting logic 56
Statistical analysis of CARMA models: An advanced tutorial 55
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial 55
BProVe: Tool Support for Business Process Verification 54
Awareness and Control in Adaptable Transition Systems 54
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 54
Language-based Abstractions for Dynamical Systems 53
Differential Equivalence for Linear Differential Algebraic Equations 53
Reconciling white-box and black-box perspectives on behavioral self-adaptation 50
Syntactic markovian bisimulation for chemical reaction networks 50
A formal approach for the analysis of BPMN collaboration models 50
Improved estimations of stochastic chemical kinetics by finite-state expansion 50
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis 49
A white box perspective on behavioural adaptation 49
Towards a Maude tool for model checking temporal graph properties 49
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 45
Transient and Steady-State Statistical Analysis for Discrete Event Simulators 43
Exact maximal reduction of stochastic reaction networks by species lumping 43
Lumpability for Uncertain Continuous-Time Markov Chains 40
Statistical model checking for product lines 39
Reducing Boolean Networks with Backward Boolean Equivalence 36
Forward and backward bisimulations for chemical reaction networks 35
Approximate Constrained Lumping of Polynomial Differential Equations 34
Minimization of Dynamical Systems over Monoids 30
Proper Lumping for Positive Bilinear Control Systems 29
Reducing Boolean networks with backward equivalence 28
Formal lumping of polynomial differential equations through approximate equivalences 26
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains 26
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 15
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining 13
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence 11
The current status of gene expression profilings in COVID-19 patients 10
Coarse-graining Complex Networks for Control Equivalence 6
Formal Analysis of Lending Pools in Decentralized Finance 6
Approximate Reductions of Rational Dynamical Systems in CLUE 5
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation 3
Totale 4.683
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.679
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 38.679
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 0 0 2 1 2 0 0 2
2020/20211.756 0 147 93 353 124 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/2025390 31 35 168 103 53 0 0 0 0 0 0 0
Totale 4.683