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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021144 0 0 0 0 0 0 0 0 0 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/20263.261 453 147 328 441 630 226 365 158 216 297 0 0
Totale 7.786