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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022777 0 0 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/20271.003 272 275 456 0 0 0 0 0 0 0 0 0
Totale 29.775