SCIAMMARELLA, PAOLO FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 769
EU - Europa 330
AS - Asia 211
AF - Africa 61
SA - Sud America 4
OC - Oceania 3
Totale 1.378
Nazione #
US - Stati Uniti d'America 743
UA - Ucraina 134
SG - Singapore 89
DE - Germania 84
IT - Italia 61
SN - Senegal 60
CN - Cina 56
KR - Corea 26
CA - Canada 25
TR - Turchia 17
SE - Svezia 16
BE - Belgio 12
HK - Hong Kong 7
IN - India 7
FR - Francia 5
GB - Regno Unito 5
FI - Finlandia 4
AU - Australia 3
BR - Brasile 3
KW - Kuwait 3
AT - Austria 2
NL - Olanda 2
PL - Polonia 2
RO - Romania 2
DO - Repubblica Dominicana 1
EE - Estonia 1
IR - Iran 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UY - Uruguay 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 1.378
Città #
Chandler 185
Jacksonville 88
Singapore 65
Dakar 60
Dearborn 59
Boardman 42
New York 29
San Mateo 27
Florence 21
Ottawa 21
Lawrence 20
Roxbury 20
Shanghai 20
Seoul 19
Inglewood 17
Izmir 16
Ann Arbor 14
Cambridge 13
Brussels 12
Wilmington 12
Des Moines 11
Beijing 10
Bremen 9
Redwood City 9
Ashburn 8
Rende 8
Rogliano 7
Mascalucia 6
Ogden 6
Yuseong-gu 6
Brooklyn 4
Guangzhou 4
Helsinki 4
Santa Clara 4
Toronto 4
Berlin 3
Hong Kong 3
Los Angeles 3
Magdeburg 3
Herblay 2
Houston 2
Milan 2
Redmond 2
Sydney 2
Vienna 2
Warsaw 2
Ardabil 1
Chongqing 1
Colombo 1
Congonhas 1
Curinga 1
Dalian 1
Esslingen am Neckar 1
Forest City 1
Frankfurt am Main 1
Fuzhou 1
Homs 1
Indaiatuba 1
Kuwait City 1
London 1
Luzzi 1
Melbourne 1
Montevideo 1
Mumbai 1
Nanjing 1
Ningbo 1
Norwalk 1
Olney 1
Pune 1
Rio de Janeiro 1
Rome 1
Rossano 1
San Francisco 1
Seattle 1
Tallinn 1
Veneto 1
Vientiane 1
Wernigerode 1
Wuhan 1
Xuzhou 1
Totale 920
Nome #
A layered IoT-based architecture for a distributed structural health monitoring system 95
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 94
Seamless Development of Distributed Real-Time Systems using Actors 92
Model Checking Mutual Exclusion Algorithms Using UPPAAL 79
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 79
IoT for structural health monitoring 79
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 74
Qualitative and quantitative model checking of distributed probabilistic timed actors 74
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 72
Statistical Model Checking of Distributed Real-Time Actor Systems 67
Synchronization of IoT Layers for Structural Health Monitoring 66
Seamless Development in Java of Distributed Real-Time Systems using Actors 65
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 65
Statistical Model Checking of Multi-Agent Systems 60
Internet of Things for Structural Health Monitoring 60
Formal Modelling and Analysis of Probabilistic Real-Time Systems 59
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 59
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 57
Mobile object to speed up the synchronization of IoT network 54
Verification of a Smart Power Control System using Hybrid Actors 54
From distributed measurement systems to cyber-physical systems: A design approach 16
Totale 1.420
Categoria #
all - tutte 9.128
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.128


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020157 0 0 0 0 18 55 10 27 1 5 22 19
2020/2021165 27 0 21 22 2 27 2 25 6 20 3 10
2021/2022203 0 31 3 8 12 4 2 37 2 4 35 65
2022/2023377 52 61 4 54 38 27 3 62 41 4 27 4
2023/2024218 28 20 17 17 17 36 8 12 13 20 5 25
2024/2025165 13 59 18 35 40 0 0 0 0 0 0 0
Totale 1.420