VICARIO, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.651
EU - Europa 8.950
AS - Asia 4.023
SA - Sud America 625
AF - Africa 100
OC - Oceania 84
Continente sconosciuto - Info sul continente non disponibili 6
Totale 24.439
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.584
PL - Polonia 4.451
RU - Federazione Russa 2.127
SG - Singapore 1.135
CN - Cina 1.048
IT - Italia 651
HK - Hong Kong 632
BR - Brasile 493
IE - Irlanda 477
SE - Svezia 447
KR - Corea 415
VN - Vietnam 217
DE - Germania 206
JO - Giordania 168
IN - India 149
GB - Regno Unito 147
FI - Finlandia 140
UA - Ucraina 128
AU - Australia 82
ID - Indonesia 60
TR - Turchia 54
AR - Argentina 49
CA - Canada 36
CI - Costa d'Avorio 35
FR - Francia 35
ES - Italia 30
BD - Bangladesh 27
ZA - Sudafrica 26
EC - Ecuador 24
BE - Belgio 22
NL - Olanda 21
CH - Svizzera 19
JP - Giappone 18
PY - Paraguay 18
IQ - Iraq 17
MX - Messico 17
AT - Austria 10
CL - Cile 10
CO - Colombia 10
MA - Marocco 9
VE - Venezuela 9
BJ - Benin 8
RO - Romania 8
PE - Perù 7
TH - Thailandia 7
UZ - Uzbekistan 7
AZ - Azerbaigian 6
NP - Nepal 6
SA - Arabia Saudita 6
GR - Grecia 5
IL - Israele 5
LV - Lettonia 5
TW - Taiwan 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
EU - Europa 4
IR - Iran 4
JM - Giamaica 4
KE - Kenya 4
KG - Kirghizistan 4
PA - Panama 4
PK - Pakistan 4
UY - Uruguay 4
AL - Albania 3
BG - Bulgaria 3
GE - Georgia 3
LT - Lituania 3
PH - Filippine 3
SC - Seychelles 3
TN - Tunisia 3
AF - Afghanistan, Repubblica islamica di 2
AM - Armenia 2
AO - Angola 2
BH - Bahrain 2
DK - Danimarca 2
GT - Guatemala 2
KH - Cambogia 2
KZ - Kazakistan 2
MM - Myanmar 2
NZ - Nuova Zelanda 2
SN - Senegal 2
TJ - Tagikistan 2
XK - ???statistics.table.value.countryCode.XK??? 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
HR - Croazia 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
LU - Lussemburgo 1
MK - Macedonia 1
MY - Malesia 1
Totale 24.432
Salva come PNG Salva come JPEG
Città #
Warsaw 4.449
Santa Clara 3.225
Fairfield 1.024
Singapore 799
Ashburn 703
Hong Kong 535
Woodbridge 492
Dublin 472
Seattle 471
Chandler 468
Cambridge 408
Seoul 408
Houston 393
Wilmington 330
Hefei 325
Ann Arbor 260
Beijing 238
San Jose 205
Jacksonville 183
Florence 146
Altamura 140
Lawrence 133
Princeton 123
Buffalo 121
Los Angeles 114
Moscow 85
Ho Chi Minh City 82
The Dalles 81
Melbourne 79
Medford 78
Mumbai 76
Boston 70
Boardman 69
Kent 66
Shanghai 59
New York 56
Munich 51
San Diego 51
Helsinki 47
Jakarta 44
São Paulo 40
Izmir 38
Hanoi 34
Rome 32
Clifton 31
Abidjan 30
London 26
Bengaluru 25
Brussels 22
Dallas 22
Norwalk 22
Chicago 20
Dong Ket 19
Bern 18
Tokyo 18
Milan 16
Phoenix 15
Redondo Beach 15
Tianjin 15
Toronto 15
Andover 13
Barcelona 13
Council Bluffs 13
Hillsboro 13
Da Nang 12
Johannesburg 12
Orem 12
Saint Petersburg 12
West Jordan 12
Granarolo 11
Rio de Janeiro 11
Stockholm 11
Asunción 10
Brooklyn 10
Chennai 10
Montreal 10
Frankfurt am Main 9
Guayaquil 9
Taranto 9
Vienna 9
Cape Town 8
Cotonou 8
Dhaka 8
Falls Church 8
Frankfurt Am Main 8
Guangzhou 8
Guarulhos 8
Haiphong 8
Livorno 8
Porto Alegre 8
Prato 8
Brasília 7
Castelliri 7
Curitiba 7
Elk Grove Village 7
Goiânia 7
Lima 7
Manchester 7
Mexico City 7
Salt Lake City 7
Totale 18.004
Salva come PNG Salva come JPEG
Nome #
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 337
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm 329
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 328
Compositional Verification for Hierarchical Scheduling of Real-Time systems 327
INTRODUCING PROBABILITY WITHIN STATE CLASS ANALYSIS OF DENSE-TIME-DEPENDENT SYSTEMS 325
An Ontological Sw Architecture For The Development Of Cooperative Web Portals 322
Transient analysis of non-Markovian models using stochastic state classes 320
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 319
ORIS: A TOOL FOR STATE-SPACE ANALYSIS OF REAL-TIME PREEMPTIVE SYSTEMS 309
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 307
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 303
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 302
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 297
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 295
Engineering the Performance of a Meta-modeling Architecture 295
Transient analysis of generalised semi-Markov processes using transient stochastic state classes 292
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 291
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 290
A formal approach to design and verification of two-level Hierarchical Scheduling systems 288
Efficient Matching and Indexing of Graph Models in Content Based Retrieval 285
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets 285
Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement 285
Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living 284
PREDICTING TIMELINESS OF REACTIVE SYSTEMS UNDER FLEXIBLE SCHEDULING 282
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 282
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 280
Potenzialità del paradigma ontologico nello sviluppo di applicazioni di eGovernment 272
Modelling Spatial Relationships between Colour Clusters 270
Analysis of a Road/Tramway Intersection by the ORIS Tool 270
Spatial Arrangement of Color in Retrieval by Visual Similarity 269
Flood impacts on a water distribution network 264
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 250
An On-line system for automated recognition of human activities 243
A stochastic model-based approach to online event prediction and response scheduling 241
Survivability Evaluation of Gas, Water and Electricity Infrastructures 222
Job scheduler for electromechanical system for biological analyses 216
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS 215
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 213
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 201
Performability evaluation of water distribution systems during maintenance procedures 201
A continuous-time model-based approach for activity recognition in pervasive environments 198
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 197
A LOOK-AHEAD STRATEGY FOR GRAPH MATCHING IN RETRIEVAL BY SPATIAL ARRANGEMENT 193
Non-Markovian performability evaluation of ERTMS/ETCS level 3 186
Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes 185
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 183
A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS 179
WEIGHTING SPATIAL ARRANGEMENT OF COLORS IN CONTENT BASED IMAGE RETRIEVAL 177
Stochastic modeling and analysis of road–tramway intersections 176
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 175
Experimental Performance Evaluation of Different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers 174
Performability evaluation of the ERTMS/ETCS - Level 3 173
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 172
Recommendations for the creation of datasets in support of data driven activity recognition models 171
Deploying Digital Twins in a Lambda Architecture for Industry 4.0 171
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 169
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 169
An Ontological SW Architecture supporting contribution and retrieval of service and process models 165
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems 163
Hospital Inventory Management Through Markov Decision Processes @runtime 163
MODELING SPATIAL RELATIONSHIPS BETWEEN COLOR SETS 161
Probabilistic Model Checking of Regenerative Concurrent Systems 160
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 159
An adaptable patient-centric electronic health record system for personalized home care 159
Guest Editorial: Special issue on formal modeling and analysis of timed systems 159
An inspection-based compositional approach to the quantitative evaluation of assembly lines 159
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 158
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 158
A tool supporting evaluation of non-MarkovianFault Trees 157
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions 157
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 156
Combining simulation and mean field analysis in quantitative evaluation of crowd evacuation scenarios 155
MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS 155
Automatic Code Generation from Real-Time Systems Specifications 155
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 155
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems 149
Ontologies and Bayesian Networks in MedicalDiagnosis 149
Probabilistic Model Checking of Regenerative Concurrent Systems 149
Compositional Analysis of Hierarchical UML Statecharts 149
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets 148
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 147
Analysis of Relevance and Importance of Components in System Reliability 146
MANAGING THE COMPLEXITY OF MATCH IN RETRIEVAL BY SPATIAL ARRANGEMENT 146
An observation metamodel for dependability tools 143
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks 142
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes 142
Timed state space analysis of real-time preemptive systems 141
Symbolic representation and visual querying of left ventricular image sequences 141
Unsupervised human activity recognition using the clustering approach: A review 140
MODELING AND VALIDATING TIMED SYSTEMS USING STANDARD SDL TOOLS 139
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends 138
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic 138
THE COMPUTATIONAL ASPECT OF RETRIEVAL BY SPATIAL ARRANGEMENT 138
State-density functions over DBM domains in the analysis of non-Markovian models 137
An introduction to the ORIS tool 136
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 136
An Ontological SW Architecture Supporting Agile Development of Semantic Portals 135
A framework for Model-Driven Engineering of resilient software-controlled systems 135
Elastic Autoscaling for Distributed Workflows in MEC Networks 134
Using 3D and ancillary media to train construction workers 133
Totale 20.639
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.731
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 57.731
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.023 0 0 0 0 0 0 126 147 197 393 64 96
2021/2022876 68 31 84 20 89 28 29 57 55 57 143 215
2022/20232.240 193 367 119 124 206 351 288 99 360 27 67 39
2023/2024688 34 104 130 38 39 57 30 107 15 43 58 33
2024/20257.154 232 581 428 857 2.464 1.372 64 364 218 114 180 280
2025/20264.539 594 1.108 741 576 897 301 322 0 0 0 0 0
Totale 24.611