VICARIO, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.062
EU - Europa 10.073
AS - Asia 5.489
SA - Sud America 734
AF - Africa 150
OC - Oceania 91
Continente sconosciuto - Info sul continente non disponibili 6
Totale 28.605
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.948
PL - Polonia 4.453
RU - Federazione Russa 2.152
CN - Cina 1.561
IT - Italia 1.491
SG - Singapore 1.447
HK - Hong Kong 694
BR - Brasile 555
VN - Vietnam 491
IE - Irlanda 477
KR - Corea 458
SE - Svezia 450
DE - Germania 234
IN - India 185
FR - Francia 175
JO - Giordania 174
GB - Regno Unito 172
FI - Finlandia 153
UA - Ucraina 133
BD - Bangladesh 96
AU - Australia 89
JP - Giappone 73
ID - Indonesia 68
CA - Canada 66
TR - Turchia 66
AR - Argentina 61
CI - Costa d'Avorio 37
NL - Olanda 37
ES - Italia 36
EC - Ecuador 35
ZA - Sudafrica 34
IQ - Iraq 33
BE - Belgio 27
MX - Messico 25
CH - Svizzera 20
PY - Paraguay 20
CO - Colombia 16
PK - Pakistan 16
CL - Cile 15
NG - Nigeria 15
UZ - Uzbekistan 15
VE - Venezuela 15
AT - Austria 14
MA - Marocco 13
TH - Thailandia 13
NP - Nepal 11
JM - Giamaica 10
AE - Emirati Arabi Uniti 9
BJ - Benin 9
EG - Egitto 9
PH - Filippine 9
SA - Arabia Saudita 9
TW - Taiwan 9
KE - Kenya 8
RO - Romania 8
AZ - Azerbaigian 7
PE - Perù 7
TN - Tunisia 7
UY - Uruguay 7
GR - Grecia 6
IL - Israele 5
LV - Lettonia 5
AL - Albania 4
EU - Europa 4
GE - Georgia 4
IR - Iran 4
KG - Kirghizistan 4
KZ - Kazakistan 4
PA - Panama 4
SC - Seychelles 4
AO - Angola 3
BG - Bulgaria 3
BH - Bahrain 3
BO - Bolivia 3
DK - Danimarca 3
EE - Estonia 3
LT - Lituania 3
SI - Slovenia 3
SY - Repubblica araba siriana 3
AF - Afghanistan, Repubblica islamica di 2
AM - Armenia 2
BA - Bosnia-Erzegovina 2
CG - Congo 2
DZ - Algeria 2
ET - Etiopia 2
GT - Guatemala 2
KH - Cambogia 2
MM - Myanmar 2
MY - Malesia 2
NZ - Nuova Zelanda 2
OM - Oman 2
SN - Senegal 2
TJ - Tagikistan 2
XK - ???statistics.table.value.countryCode.XK??? 2
BB - Barbados 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
Totale 28.588
Salva come PNG Salva come JPEG
Città #
Warsaw 4.450
Santa Clara 3.445
Ashburn 1.135
Singapore 1.051
Fairfield 1.024
Hong Kong 592
Woodbridge 492
Dublin 472
Seattle 471
Chandler 468
Seoul 451
San Jose 430
Cambridge 408
Houston 398
Hefei 390
Wilmington 331
Ann Arbor 260
Beijing 258
Milan 225
Florence 200
Jacksonville 185
Ho Chi Minh City 158
Los Angeles 146
The Dalles 141
Altamura 140
Buffalo 135
Lawrence 133
Rome 131
Lauterbourg 123
Princeton 123
Hanoi 116
New York 91
Moscow 86
Melbourne 85
Mumbai 79
Medford 78
Boardman 76
Boston 71
Kent 71
Tokyo 69
Shanghai 66
Helsinki 59
Munich 54
San Diego 51
São Paulo 47
Jakarta 45
Izmir 38
Council Bluffs 37
Dallas 35
Abidjan 32
Bengaluru 31
Clifton 31
Da Nang 31
Turin 29
London 28
Orem 27
Naples 25
Brussels 24
Chicago 24
Norwalk 24
Figino 22
Toronto 21
Bologna 20
Phoenix 20
Dong Ket 19
Guangzhou 19
Tianjin 19
Bern 18
Chennai 18
Frankfurt am Main 18
Haiphong 18
Atlanta 16
Johannesburg 16
Rio de Janeiro 16
Verona 16
Redondo Beach 15
Brooklyn 14
Genoa 14
Abuja 13
Andover 13
Barcelona 13
Hillsboro 13
Palermo 13
Asunción 12
Guayaquil 12
Saint Petersburg 12
Shenzhen 12
Stockholm 12
Tashkent 12
West Jordan 12
Granarolo 11
Manchester 11
Montreal 11
San Francisco 11
Taranto 11
Vancouver 11
Amsterdam 10
Bari 10
Catania 10
Denver 10
Totale 20.500
Salva come PNG Salva come JPEG
Nome #
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 397
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 374
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 372
Transient analysis of non-Markovian models using stochastic state classes 367
Compositional Verification for Hierarchical Scheduling of Real-Time systems 366
INTRODUCING PROBABILITY WITHIN STATE CLASS ANALYSIS OF DENSE-TIME-DEPENDENT SYSTEMS 352
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm 345
An Ontological Sw Architecture For The Development Of Cooperative Web Portals 343
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 343
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 334
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 326
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 326
A formal approach to design and verification of two-level Hierarchical Scheduling systems 324
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 324
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 324
ORIS: A TOOL FOR STATE-SPACE ANALYSIS OF REAL-TIME PREEMPTIVE SYSTEMS 321
Transient analysis of generalised semi-Markov processes using transient stochastic state classes 321
Engineering the Performance of a Meta-modeling Architecture 320
Efficient Matching and Indexing of Graph Models in Content Based Retrieval 319
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 318
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 304
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 302
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets 300
Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement 296
Analysis of a Road/Tramway Intersection by the ORIS Tool 296
PREDICTING TIMELINESS OF REACTIVE SYSTEMS UNDER FLEXIBLE SCHEDULING 294
Spatial Arrangement of Color in Retrieval by Visual Similarity 293
Potenzialità del paradigma ontologico nello sviluppo di applicazioni di eGovernment 290
Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living 288
Flood impacts on a water distribution network 285
Modelling Spatial Relationships between Colour Clusters 285
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 271
A stochastic model-based approach to online event prediction and response scheduling 262
An On-line system for automated recognition of human activities 258
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 247
Job scheduler for electromechanical system for biological analyses 243
Performability evaluation of water distribution systems during maintenance procedures 239
Survivability Evaluation of Gas, Water and Electricity Infrastructures 237
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS 232
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 231
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 229
A LOOK-AHEAD STRATEGY FOR GRAPH MATCHING IN RETRIEVAL BY SPATIAL ARRANGEMENT 224
A continuous-time model-based approach for activity recognition in pervasive environments 222
Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes 209
Non-Markovian performability evaluation of ERTMS/ETCS level 3 209
A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS 208
Experimental Performance Evaluation of Different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers 202
Stochastic modeling and analysis of road–tramway intersections 201
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 197
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 197
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 196
Recommendations for the creation of datasets in support of data driven activity recognition models 194
WEIGHTING SPATIAL ARRANGEMENT OF COLORS IN CONTENT BASED IMAGE RETRIEVAL 192
An adaptable patient-centric electronic health record system for personalized home care 192
Network Digital Twins: A Systematic Review 191
Performability evaluation of the ERTMS/ETCS - Level 3 191
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 190
Deploying Digital Twins in a Lambda Architecture for Industry 4.0 190
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems 188
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 187
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 186
Hospital Inventory Management Through Markov Decision Processes @runtime 182
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions 182
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 181
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 180
A framework for Model-Driven Engineering of resilient software-controlled systems 180
Probabilistic Model Checking of Regenerative Concurrent Systems 179
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 178
Automatic Code Generation from Real-Time Systems Specifications 176
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 175
Compositional Analysis of Hierarchical UML Statecharts 175
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems 174
MODELING SPATIAL RELATIONSHIPS BETWEEN COLOR SETS 174
Guest Editorial: Special issue on formal modeling and analysis of timed systems 174
A tool supporting evaluation of non-MarkovianFault Trees 174
An Ontological SW Architecture supporting contribution and retrieval of service and process models 173
Combining simulation and mean field analysis in quantitative evaluation of crowd evacuation scenarios 172
Probabilistic Model Checking of Regenerative Concurrent Systems 172
An inspection-based compositional approach to the quantitative evaluation of assembly lines 171
Ontologies and Bayesian Networks in MedicalDiagnosis 169
MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS 168
Analysis of Relevance and Importance of Components in System Reliability 166
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets 164
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 163
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks 162
MANAGING THE COMPLEXITY OF MATCH IN RETRIEVAL BY SPATIAL ARRANGEMENT 162
An observation metamodel for dependability tools 161
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems 161
State-density functions over DBM domains in the analysis of non-Markovian models 160
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends 159
Unsupervised human activity recognition using the clustering approach: A review 159
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments 158
The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems 156
THE COMPUTATIONAL ASPECT OF RETRIEVAL BY SPATIAL ARRANGEMENT 156
An introduction to the ORIS tool 156
Timed state space analysis of real-time preemptive systems 154
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 154
Symbolic representation and visual querying of left ventricular image sequences 152
Flood resilience of a water distribution sytem 151
An Ontological SW Architecture Supporting Agile Development of Semantic Portals 150
Totale 22.977
Salva come PNG Salva come JPEG
Categoria #
all - tutte 67.584
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 67.584
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.539 232 581 428 877 2.618 1.464 77 389 234 122 208 309
2025/20268.315 638 1.188 833 606 968 327 929 453 543 635 267 928
2026/202722 22 0 0 0 0 0 0 0 0 0 0 0
Totale 28.794