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