IRIS
SCIAMMARELLA, PAOLO FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 709
EU - Europa 322
AS - Asia 89
AF - Africa 60
OC - Oceania 3
Totale 1.183
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 684
UA - Ucraina 134
DE - Germania 79
IT - Italia 61
SN - Senegal 60
CN - Cina 36
CA - Canada 24
KR - Corea 20
TR - Turchia 17
SE - Svezia 16
BE - Belgio 12
IN - India 7
FR - Francia 5
FI - Finlandia 4
GB - Regno Unito 4
HK - Hong Kong 4
AU - Australia 3
AT - Austria 2
KW - Kuwait 2
NL - Olanda 2
RO - Romania 2
DO - Repubblica Dominicana 1
IR - Iran 1
LA - Repubblica Popolare Democratica del Laos 1
PL - Polonia 1
SG - Singapore 1
Totale 1.183
Salva come PNG Salva come JPEG
Città #
Chandler 185
Jacksonville 88
Dakar 60
Dearborn 59
New York 29
San Mateo 27
Florence 21
Lawrence 20
Ottawa 20
Roxbury 20
Seoul 19
Shanghai 19
Inglewood 17
Izmir 16
Ann Arbor 14
Cambridge 13
Brussels 12
Wilmington 12
Des Moines 11
Beijing 10
Bremen 9
Redwood City 9
Rende 8
Ashburn 7
Rogliano 7
Mascalucia 6
Ogden 6
Brooklyn 4
Helsinki 4
Toronto 4
Herblay 2
Hong Kong 2
Houston 2
Los Angeles 2
Milan 2
Redmond 2
Sydney 2
Vienna 2
Ardabil 1
Berlin 1
Curinga 1
Esslingen am Neckar 1
Frankfurt am Main 1
Guangzhou 1
Luzzi 1
Melbourne 1
Mumbai 1
Nanjing 1
Ningbo 1
Norwalk 1
Olney 1
Pune 1
Rome 1
Rossano 1
San Francisco 1
Seattle 1
Veneto 1
Vientiane 1
Warsaw 1
Wernigerode 1
Totale 774
Salva come PNG Salva come JPEG
Nome #
Seamless Development of Distributed Real-Time Systems using Actors 86
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 76
Model Checking Mutual Exclusion Algorithms Using UPPAAL 72
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 72
Qualitative and quantitative model checking of distributed probabilistic timed actors 67
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 64
A layered IoT-based architecture for a distributed structural health monitoring system 63
Statistical Model Checking of Distributed Real-Time Actor Systems 61
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 61
IoT for structural health monitoring 60
Seamless Development in Java of Distributed Real-Time Systems using Actors 59
Synchronization of IoT Layers for Structural Health Monitoring 59
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 56
Internet of Things for Structural Health Monitoring 55
Statistical Model Checking of Multi-Agent Systems 54
Formal Modelling and Analysis of Probabilistic Real-Time Systems 52
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 52
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 51
Mobile object to speed up the synchronization of IoT network 48
Verification of a Smart Power Control System using Hybrid Actors 48
From distributed measurement systems to cyber-physical systems: A design approach 9
Totale 1.225
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.796
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 6.796
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201924 0 0 0 0 0 0 0 0 0 6 18 0
2019/2020227 23 17 9 21 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/2024188 28 20 17 17 17 36 8 12 13 20 0 0
Totale 1.225