IRIS
CICIRELLI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 878
EU - Europa 484
AS - Asia 313
AF - Africa 75
OC - Oceania 3
SA - Sud America 2
Totale 1.755
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 849
UA - Ucraina 120
DE - Germania 104
IT - Italia 104
SG - Singapore 103
CN - Cina 100
SN - Senegal 73
SE - Svezia 46
KR - Corea 27
CA - Canada 25
NL - Olanda 23
TR - Turchia 20
IN - India 15
GB - Regno Unito 14
PL - Polonia 14
HK - Hong Kong 13
BE - Belgio 12
FI - Finlandia 12
FR - Francia 12
CZ - Repubblica Ceca 8
PH - Filippine 8
MO - Macao, regione amministrativa speciale della Cina 6
MX - Messico 4
AU - Australia 3
JP - Giappone 3
PK - Pakistan 3
PT - Portogallo 3
TW - Taiwan 3
BG - Bulgaria 2
ES - Italia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 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
IR - Iran 1
KG - Kirghizistan 1
LK - Sri Lanka 1
LV - Lettonia 1
RU - Federazione Russa 1
VN - Vietnam 1
Totale 1.755
Salva come PNG Salva come JPEG
Città #
Chandler 196
Singapore 86
Dakar 73
Boardman 68
Jacksonville 63
San Mateo 51
Dearborn 38
Ashburn 34
New York 33
Shanghai 31
Ottawa 23
Bremen 20
Rende 20
Brooklyn 19
Lawrence 19
Roxbury 18
Seoul 17
Cambridge 15
Des Moines 15
Beijing 12
Brussels 12
Izmir 12
Wilmington 12
Ann Arbor 11
Helsinki 11
Southwark 9
Hong Kong 8
Ogden 8
San Jose 8
Brno 7
Florence 7
Bhopal 6
Bitritto 6
Munich 6
Milan 5
Princeton 5
Rogliano 5
Benito Juarez 4
Dalseong-gun 4
Falls Church 4
Los Angeles 4
Mandaluyong City 4
Martina Franca 4
Pune 4
Rome 4
Warsaw 4
Cagayan de Oro 3
Frankfurt am Main 3
Gunzenhausen 3
Kocaeli 3
Lahore 3
Nice 3
Redwood City 3
Tokyo 3
Torun 3
Wuhan 3
Adana 2
Amsterdam 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
London 2
Macao 2
Monasterace 2
Nablus 2
Naples 2
New Taipei 2
Ostrzeszow 2
Redmond 2
San Fili 2
San Francisco 2
Santa Clara 2
Serra San Bruno 2
Sindelfingen 2
Solofra 2
Sydney 2
Szeged 2
Toronto 2
Vibo Valentia 2
Totale 1.143
Salva come PNG Salva come JPEG
Nome #
Seamless Development of Distributed Real-Time Systems using Actors 92
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 86
A metamodel framework for edge-based smart environments 84
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems 80
An Approach to Concurrent/Parallel Programming in Java 80
Model Checking Mutual Exclusion Algorithms Using UPPAAL 79
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 79
Exploiting the sem framework for modeling smart cities 76
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 75
Home Energy Management Using Theatre With Hybrid Actors 73
Performance prediction of scalable multi-agent systems using Parallel Theatre 71
Performance Comparison of two Java-based Actor Systems 70
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 69
Seamless Development in Java of Distributed Real-Time Systems using Actors 65
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 64
Model checking actor-based cyber-physical systems 54
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 53
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 52
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 52
Statistical Model Checking of GSPN Models 51
Real-time climate control in a complex greenhouse 41
Performance of Parallel K-Means based on Theatre 41
Using Deterministic Theatre for Energy Management in Smart Environments 40
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 38
Parallel Simulation of Stochastic Reward Nets using Theatre 37
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation 37
An Efficient Algorithm for Clustering Sets 30
Parallel Random Swap: An Efficient and Reliable Clustering Algorithm in Java 25
null 25
Fast and Accurate K-means Clustering based on Density Peaks 24
Improving K-means by an Agglomerative Method and Density Peaks 22
Parallel Clustering Method based on Density Peaks 21
Efficient and Reliable Clustering by Parallel Random Swap Algorithm 16
null 6
null 2
Totale 1.810
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.593
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 11.593
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020115 0 0 0 0 12 39 8 22 4 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/2025224 40 88 22 29 45 0 0 0 0 0 0 0
Totale 1.810