IRIS
CICIRELLI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 897
EU - Europa 542
AS - Asia 412
AF - Africa 77
SA - Sud America 21
OC - Oceania 3
Totale 1.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 865
SG - Singapore 167
DE - Germania 120
UA - Ucraina 120
IT - Italia 108
CN - Cina 105
SN - Senegal 73
SE - Svezia 46
FI - Finlandia 39
HK - Hong Kong 34
NL - Olanda 28
CA - Canada 27
KR - Corea 27
TR - Turchia 23
BR - Brasile 16
GB - Regno Unito 16
IN - India 16
BE - Belgio 15
PL - Polonia 14
FR - Francia 12
CZ - Repubblica Ceca 8
PH - Filippine 8
PK - Pakistan 7
MO - Macao, regione amministrativa speciale della Cina 6
MX - Messico 4
AU - Australia 3
JP - Giappone 3
MA - Marocco 3
PT - Portogallo 3
TW - Taiwan 3
BG - Bulgaria 2
ES - Italia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MY - Malesia 2
PE - Perù 2
PS - Palestinian Territory 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
AL - Albania 1
AT - Austria 1
BD - Bangladesh 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CO - Colombia 1
EC - Ecuador 1
IR - Iran 1
KG - Kirghizistan 1
LK - Sri Lanka 1
LT - Lituania 1
LV - Lettonia 1
RU - Federazione Russa 1
SV - El Salvador 1
VN - Vietnam 1
Totale 1.952
Salva come PNG Salva come JPEG
Città #
Chandler 196
Singapore 88
Dakar 73
Boardman 68
Jacksonville 63
San Mateo 51
Dearborn 38
Helsinki 38
Ashburn 36
New York 33
Shanghai 31
Hong Kong 29
Ottawa 24
Bremen 20
Rende 20
Brooklyn 19
Lawrence 19
Roxbury 18
Seoul 17
Falkenstein 16
Brussels 15
Cambridge 15
Des Moines 15
Beijing 12
Izmir 12
Wilmington 12
Ann Arbor 11
Southwark 9
Council Bluffs 8
Ogden 8
San Jose 8
Brno 7
Florence 7
Bhopal 6
Bitritto 6
Lahore 6
Munich 6
Amsterdam 5
Milan 5
Princeton 5
Rogliano 5
Benito Juarez 4
Dalseong-gun 4
Falls Church 4
London 4
Los Angeles 4
Mandaluyong City 4
Martina Franca 4
Pune 4
Rome 4
Warsaw 4
Wuhan 4
Cagayan de Oro 3
Frankfurt am Main 3
Gunzenhausen 3
Kocaeli 3
Naples 3
Nice 3
Redwood City 3
Tokyo 3
Torun 3
Adana 2
Arezzo 2
Bangkok 2
Bisignano 2
Chuncheon 2
Cosenza 2
Druzstevna pri Hornade 2
El Paso 2
Emden 2
Ermua 2
Faenza 2
Forlì 2
Fundao 2
Gangbuk-gu 2
Grafing 2
Guangzhou 2
Hebei 2
Indianapolis 2
Istanbul 2
Kai Yi Wan 2
Kenitra 2
Konigsbrunn 2
Kuala Lumpur 2
Lima 2
Little Rock 2
Macao 2
Monasterace 2
Nablus 2
Nanjing 2
New Taipei 2
Ostrzeszow 2
Redmond 2
Reggio Calabria 2
San Fili 2
San Francisco 2
Santa Clara 2
Serra San Bruno 2
Sindelfingen 2
Solofra 2
Totale 1.229
Salva come PNG Salva come JPEG
Nome #
Seamless Development of Distributed Real-Time Systems using Actors 99
A metamodel framework for edge-based smart environments 93
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 93
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems 89
An Approach to Concurrent/Parallel Programming in Java 87
Model Checking Mutual Exclusion Algorithms Using UPPAAL 83
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 83
Exploiting the sem framework for modeling smart cities 81
Performance Comparison of two Java-based Actor Systems 79
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 79
Home Energy Management Using Theatre With Hybrid Actors 79
Performance prediction of scalable multi-agent systems using Parallel Theatre 78
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 76
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 71
Seamless Development in Java of Distributed Real-Time Systems using Actors 70
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 63
Model checking actor-based cyber-physical systems 61
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 60
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 58
Statistical Model Checking of GSPN Models 54
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 46
Performance of Parallel K-Means based on Theatre 46
Using Deterministic Theatre for Energy Management in Smart Environments 45
Real-time climate control in a complex greenhouse 43
Parallel Simulation of Stochastic Reward Nets using Theatre 41
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation 41
An Efficient Algorithm for Clustering Sets 37
Parallel Random Swap: An Efficient and Reliable Clustering Algorithm in Java 31
Fast and Accurate K-means Clustering based on Density Peaks 31
Parallel Clustering Method based on Density Peaks 29
Improving K-means by an Agglomerative Method and Density Peaks 26
null 25
Efficient and Reliable Clustering by Parallel Random Swap Algorithm 22
null 6
null 2
Totale 2.007
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.892
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 13.892
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202030 0 0 0 0 0 0 0 0 0 2 15 13
2020/2021145 27 0 15 19 0 18 4 19 9 26 1 7
2021/2022299 1 39 6 21 36 15 3 57 7 10 40 64
2022/2023474 50 66 10 60 59 44 12 72 43 9 16 33
2023/2024464 40 51 79 31 40 67 11 24 24 31 21 45
2024/2025421 40 88 22 29 46 48 23 42 64 19 0 0
Totale 2.007