IRIS
CICIRELLI, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 801
EU - Europa 470
AS - Asia 238
AF - Africa 75
OC - Oceania 3
SA - Sud America 2
Totale 1.589
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 776
UA - Ucraina 120
DE - Germania 101
CN - Cina 98
IT - Italia 96
SN - Senegal 73
SE - Svezia 46
SG - Singapore 36
KR - Corea 26
CA - Canada 25
NL - Olanda 22
TR - Turchia 20
IN - India 15
GB - Regno Unito 14
PL - Polonia 14
HK - Hong Kong 13
BE - Belgio 12
FR - Francia 12
FI - Finlandia 11
CZ - Repubblica Ceca 8
PH - Filippine 8
MO - Macao, regione amministrativa speciale della Cina 6
AU - Australia 3
PK - Pakistan 3
PT - Portogallo 3
TW - Taiwan 3
BG - Bulgaria 2
ES - Italia 2
HU - Ungheria 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
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
RU - Federazione Russa 1
Totale 1.589
Salva come PNG Salva come JPEG
Città #
Chandler 196
Dakar 73
Jacksonville 63
San Mateo 51
Dearborn 38
Ashburn 34
New York 33
Shanghai 31
Ottawa 23
Singapore 21
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 10
Southwark 9
Hong Kong 8
Ogden 8
San Jose 8
Brno 7
Florence 7
Bhopal 6
Bitritto 6
Milan 5
Princeton 5
Rogliano 5
Boardman 4
Dalseong-gun 4
Falls Church 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
Los Angeles 3
Munich 3
Nice 3
Redwood City 3
Torun 3
Wuhan 3
Adana 2
Arezzo 2
Bangkok 2
Bisignano 2
Chuncheon 2
Cosenza 2
Druzstevna pri Hornade 2
El Paso 2
Emden 2
Ermua 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
Zhengzhou 2
Zielona Góra 2
Adelaide 1
Amsterdam 1
Totale 1.004
Salva come PNG Salva come JPEG
Nome #
Seamless Development of Distributed Real-Time Systems using Actors 88
A metamodel framework for edge-based smart environments 79
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 79
An Approach to Concurrent/Parallel Programming in Java 76
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 74
Model Checking Mutual Exclusion Algorithms Using UPPAAL 73
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems 73
Exploiting the sem framework for modeling smart cities 71
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 70
Home Energy Management Using Theatre With Hybrid Actors 69
Performance Comparison of two Java-based Actor Systems 66
Performance prediction of scalable multi-agent systems using Parallel Theatre 61
Seamless Development in Java of Distributed Real-Time Systems using Actors 61
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 59
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 59
Model checking actor-based cyber-physical systems 50
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 49
Statistical Model Checking of GSPN Models 48
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 46
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 46
Real-time climate control in a complex greenhouse 37
Using Deterministic Theatre for Energy Management in Smart Environments 37
Performance of Parallel K-Means based on Theatre 35
Parallel Simulation of Stochastic Reward Nets using Theatre 34
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation 33
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 26
An Efficient Algorithm for Clustering Sets 25
null 25
Parallel Random Swap: An Efficient and Reliable Clustering Algorithm in Java 21
Fast and Accurate K-means Clustering based on Density Peaks 20
Improving K-means by an Agglomerative Method and Density Peaks 18
Parallel Clustering Method based on Density Peaks 16
Efficient and Reliable Clustering by Parallel Random Swap Algorithm 12
null 6
null 2
Totale 1.644
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.997
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 9.997
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020153 0 12 11 15 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/202558 40 18 0 0 0 0 0 0 0 0 0 0
Totale 1.644