IRIS
PUPO, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.207
AS - Asia 2.074
EU - Europa 1.505
SA - Sud America 599
AF - Africa 148
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.541
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.114
SG - Singapore 891
BR - Brasile 442
UA - Ucraina 442
CN - Cina 384
IT - Italia 295
DE - Germania 292
VN - Vietnam 270
HK - Hong Kong 196
SE - Svezia 138
SN - Senegal 102
FI - Finlandia 79
AR - Argentina 67
AT - Austria 66
KR - Corea 59
TR - Turchia 59
CA - Canada 53
FR - Francia 31
GB - Regno Unito 31
BE - Belgio 27
IN - India 27
IQ - Iraq 27
BD - Bangladesh 25
MX - Messico 25
ID - Indonesia 22
RU - Federazione Russa 22
EC - Ecuador 21
PK - Pakistan 16
PL - Polonia 16
GR - Grecia 15
CO - Colombia 14
SA - Arabia Saudita 14
VE - Venezuela 14
NL - Olanda 13
ZA - Sudafrica 13
JP - Giappone 11
MA - Marocco 11
IR - Iran 9
PY - Paraguay 9
BO - Bolivia 8
CL - Cile 8
PE - Perù 8
UZ - Uzbekistan 8
MY - Malesia 7
UY - Uruguay 7
PS - Palestinian Territory 6
AU - Australia 5
CZ - Repubblica Ceca 5
IE - Irlanda 5
JM - Giamaica 5
KE - Kenya 5
KG - Kirghizistan 5
LT - Lituania 5
CR - Costa Rica 4
KZ - Kazakistan 4
PT - Portogallo 4
SY - Repubblica araba siriana 4
AE - Emirati Arabi Uniti 3
AO - Angola 3
AZ - Azerbaigian 3
CH - Svizzera 3
DO - Repubblica Dominicana 3
EG - Egitto 3
JO - Giordania 3
KW - Kuwait 3
LV - Lettonia 3
PH - Filippine 3
AM - Armenia 2
DK - Danimarca 2
EE - Estonia 2
GE - Georgia 2
LB - Libano 2
NP - Nepal 2
RO - Romania 2
TN - Tunisia 2
AL - Albania 1
BG - Bulgaria 1
BH - Bahrain 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
DZ - Algeria 1
ES - Italia 1
ET - Etiopia 1
EU - Europa 1
GA - Gabon 1
GM - Gambi 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
NR - Nauru 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
Totale 6.536
Salva come PNG Salva come JPEG
Città #
Singapore 339
Chandler 272
Jacksonville 251
Hong Kong 193
Boardman 172
San Mateo 128
Dearborn 126
Dallas 125
Ho Chi Minh City 103
Ashburn 102
Dakar 102
Beijing 101
New York 83
Rende 77
Helsinki 63
Seoul 58
Vienna 58
Shanghai 56
Lawrence 55
Roxbury 55
Hefei 54
Grafing 48
Hanoi 47
Izmir 47
Cambridge 45
São Paulo 43
Des Moines 37
Ann Arbor 33
Ottawa 31
Brussels 26
Inglewood 23
Munich 23
Brooklyn 21
Cosenza 21
Los Angeles 18
Ogden 18
Guangzhou 17
Falkenstein 16
Rome 16
Haiphong 15
San Francisco 14
Turku 14
Warsaw 13
Wilmington 13
Baghdad 12
Dhaka 12
Rogliano 12
Toronto 12
Da Nang 11
Leawood 11
Tokyo 11
Catanzaro 10
Frankfurt am Main 10
Rio de Janeiro 10
Riyadh 10
Santa Clara 10
Taranto 10
Brasília 9
Campinas 9
Guayaquil 9
Paola 9
Amsterdam 8
Belo Horizonte 8
Bremen 8
Houston 8
Phoenix 8
Tashkent 8
Castrolibero 7
Guarulhos 7
Hải Dương 7
Lamezia Terme 7
London 7
Milan 7
Mumbai 7
Naples 7
New Delhi 7
Ninh Bình 7
Quito 7
Strasbourg 7
Tianjin 7
Boston 6
Catania 6
Council Bluffs 6
Florence 6
Montevideo 6
Moscow 6
Salvador 6
Sorocaba 6
Stockholm 6
The Dalles 6
Athens 5
Bishkek 5
Biên Hòa 5
Caxias do Sul 5
Curitiba 5
La Paz 5
Manaus 5
Mexico City 5
Montreal 5
Palermo 5
Totale 3.598
Salva come PNG Salva come JPEG
Nome #
Simulators for system dataset generation in the Edge-to-Cloud Continuum 197
A modular approach to real time programming using actors and Java 164
A Cooperative Monitoring System for Diver Global Localization and Operation Support 164
A Java toolset for modelling and simulation of complex timed Petri nets 149
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 144
A Measurement Laboratory over the Internet Based on Jini 142
A component-based architecture for modelling and simulation of adaptive complex systems 138
ActorServer: a Java middleware for programming distributed applications over the Internet 136
Virtual Diving in the Underwater Archaeological Site of Cala Minnola 136
Agent-based distributed execution of Coloured Petri Nets 134
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 134
A smartphone application for the monitoring of domestic consumption of electricity 117
An underwater pathfinding algorithm for optimised planning of survey dives 115
Agent-based control framework in Jade 115
Aspect oriented programming using actors 112
Hierarchical Communicating Real-Time State Machines 111
Multimedia synchronization based on Aspect Oriented Programming 110
An MBone-based on-demand system for cooperative off-line learning 107
Agents over the Grid: An experience using the Globus Toolkit 4 105
Agent methodological layers in Repast Simphony 105
Distributed simulation of timed coloured Petri nets 104
Modeling and Analysing DART Systems through Hight-Level Petri Nets 101
Development Issues of Distributed Measurement Systems 100
A proposal of a troposphere model in a GNSS simulator for VANET applications 95
Petri Net Tools for Modelling and Simulation of Complex Systems 93
Autonomous vehicle platoons in urban road networks: a joint distributed reinforcement learning and model predictive control approach 92
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 92
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 91
A Deep Q Learning-Model Predictive Control Approach to vehicle routing and control with platoon constraints 89
Distributed measurement systems: an object-oriented architecture and a case study 88
A distributed reinforcement learning and model predictive control architecture for routing decisions in urban road networks 87
MADAMS: A Software Architecture for the Management of Networked Measurement Services 86
Management Architecture for Distributed Measurement Services 86
Development of a multimedia QoS synchronizer using AspectJ 86
Real-Time Systems Development Using Hierarchical State Machines 85
Super actors for real time 85
Schedulability analysis of real-time actor systems 84
Using real time constraints for modularisation 83
Real-time systems development using hierachical state machines 83
Java based distributed measurement systems 83
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 83
Modelling and simulation of complex systems using TPN Designer 82
Java-based distributed measurement systems 80
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell 80
Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA 80
Scare: A novel switching and collision avoidance process for connected vehicles using virtualization and edge computing paradigm 80
Modelling and discrete event simulation using Rainbow 78
Dynamic Sociality Minority Game 77
Temporal Verification of RT-DEVS Models with Implementation Aspects 76
Model Checking Tasking Sets using Time Petri Nets and Uppaal 75
Federated Ensemble-Learning for Transport Mode Detection in Vehicular Edge Network 74
Autonomous Vehicle Platoons in Urban Road Networks: A Joint Distributed Reinforcement Learning and Model Predictive Control Approach 73
Temporal Uncertainty Time Warp: An agent-based implementation 73
Modelling and Analysis of Dynamic-Priority Real-Time Systems 73
Model-checking Time Stream Petri Nets: An Approach and an Application to Project Management 73
A Sustainable Multi-Agent Routing Algorithm for Vehicle Platoons in Urban Networks 73
Modelling and verification of concurrent programs using Uppaal 72
A set-theoretic receding horizon control based on a Q-learning approach for sustainability purposes 70
Performance of Parallel K-Means based on Theatre 70
An Intelligent Multi-Layer Control Architecture for Logistics Operations of Autonomous Vehicles in Manufacturing Systems 68
Model-based Prediction of Complex Multimedia/Hypermedia Systems 66
Autonomous Vehicles in Smart Cities: a Deep Reinforcement Learning Solution 64
Modelling Java Concurrency: An Approach and a UPPAAL Library 64
Modelling and analysing DART systems through high level Petri nets 63
Reasoning on Concurrency: An Approach to Modeling and Verification of Java Thread-safe Objects 63
Path planning for vehicle platoons under routing decisions: a distributed approach combining deep reinforcement learning and model predictive control 62
Set-theoretic receding horizon control for nonlinear systems: a data-driven approach 55
Intersezione tra intelligenza artificiale generativa e educazione: un’ipotesi 54
Modular Modelling and Analysis of Time-dependent Systems 52
A multi-tiered control framework designed for managing the logistical activities of self-driving vehicles within manufacturing environments 51
Reputation aware optimal team formation for collaborative software crowdsourcing in industry 5.0 34
Few-shot image classification using graph neural network with fine-grained feature descriptors 33
null 6
Totale 6.605
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.919
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 37.919
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021276 0 0 0 0 0 53 8 53 18 57 41 46
2021/2022738 6 127 1 63 69 51 5 133 9 8 80 186
2022/2023697 88 112 35 69 72 48 0 111 79 20 41 22
2023/2024680 66 49 59 49 25 98 25 39 45 38 40 147
2024/20251.286 91 179 19 58 98 79 49 78 181 30 115 309
2025/20262.080 453 147 328 441 630 81 0 0 0 0 0 0
Totale 6.605