NIGRO, Libero
 Distribuzione geografica
Continente #
NA - Nord America 4.968
EU - Europa 3.032
AS - Asia 912
AF - Africa 243
OC - Oceania 14
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 6
Totale 9.182
Nazione #
US - Stati Uniti d'America 4.847
UA - Ucraina 1.334
DE - Germania 706
CN - Cina 426
SE - Svezia 335
IT - Italia 248
SN - Senegal 241
SG - Singapore 165
TR - Turchia 165
AT - Austria 138
CA - Canada 120
FI - Finlandia 64
FR - Francia 49
HK - Hong Kong 45
KR - Corea 43
GB - Regno Unito 42
BE - Belgio 39
IN - India 23
NL - Olanda 23
PL - Polonia 16
AU - Australia 13
CZ - Repubblica Ceca 9
PH - Filippine 8
IR - Iran 7
EU - Europa 6
PT - Portogallo 6
RU - Federazione Russa 6
JP - Giappone 5
MO - Macao, regione amministrativa speciale della Cina 4
TW - Taiwan 4
AR - Argentina 3
BG - Bulgaria 3
KW - Kuwait 3
PE - Perù 3
PK - Pakistan 3
RO - Romania 3
HU - Ungheria 2
ID - Indonesia 2
MA - Marocco 2
MY - Malesia 2
PS - Palestinian Territory 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
AL - Albania 1
BR - Brasile 1
CH - Svizzera 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
IL - Israele 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MD - Moldavia 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
SA - Arabia Saudita 1
Totale 9.182
Città #
Chandler 845
Jacksonville 843
Dearborn 437
San Mateo 363
Dakar 241
Ashburn 196
New York 184
Roxbury 184
Lawrence 183
Izmir 158
Shanghai 153
Cambridge 130
Des Moines 128
Vienna 120
Ottawa 109
Singapore 97
Ann Arbor 80
Grafing 74
Beijing 68
Inglewood 68
Wilmington 68
Helsinki 63
Ogden 57
Brooklyn 47
Brussels 38
Boardman 34
Seoul 34
Bremen 33
Hong Kong 32
Rende 32
Florence 24
Redwood City 24
San Francisco 22
Strasbourg 21
Rogliano 20
Guangzhou 18
Seattle 17
Leawood 15
Norwalk 13
Falls Church 11
Milan 11
Wuhan 11
Rome 10
Toronto 10
Jiaxing 9
San Jose 8
Jinan 7
Kunming 7
Bhopal 6
Bitritto 6
Brno 6
Kilburn 6
Los Angeles 6
Martina Franca 6
Mascalucia 6
Warsaw 6
Woodbridge 6
Catanzaro 5
London 5
Nanjing 5
Portsmouth 5
Shenzhen 5
Zhengzhou 5
Amsterdam 4
Berlin 4
Canberra 4
Central 4
Dalseong-gun 4
Fuzhou 4
Hanover 4
Hefei 4
Jinhua 4
Mandaluyong City 4
Melbourne 4
Monmouth Junction 4
Princeton 4
Sydney 4
Tokyo 4
Yiwu 4
Augusta 3
Cagayan de Oro 3
City of Westminster 3
Cosenza 3
Frankfurt am Main 3
Fundao 3
Gunzenhausen 3
Houston 3
Lahore 3
Leno 3
Lima 3
Mountain View 3
Mumbai 3
Nanchang 3
New Delhi 3
Nice 3
Ningbo 3
Paola 3
Redmond 3
Sabz 3
San Giuliano Terme 3
Totale 5.568
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 104
A modular approach to real time programming using actors and Java 99
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 95
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 91
A Java toolset for modelling and simulation of complex timed Petri nets 89
Seamless Development of Distributed Real-Time Systems using Actors 88
ActorServer: a Java middleware for programming distributed applications over the Internet 87
A DEVS M&S Framework based on Java and Actors 86
A component-based architecture for modelling and simulation of adaptive complex systems 86
A Development Methodology for Embedded Systems based on RT-DEVS 85
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 81
Agent-based distributed execution of Coloured Petri Nets 80
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 80
A smartphone application for the monitoring of domestic consumption of electricity 80
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 79
A Brokering Architecture for Video-on Demand over the Internet 78
A Measurement Laboratory over the Internet Based on Jini 77
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 77
An Approach to Concurrent/Parallel Programming in Java 76
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 74
A service-based enactment engine for dynamically recongurable workflows 73
Model Checking Mutual Exclusion Algorithms Using UPPAAL 73
A Service-Based Architecture for Dynamically Reconfigurable Workflows 71
Development Issues of Distributed Measurement Systems 71
Modeling and Analysing DART Systems through Hight-Level Petri Nets 71
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 70
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 70
Qualitative and quantitative model checking of distributed probabilistic timed actors 69
Multimedia synchronization based on Aspect Oriented Programming 67
Home Energy Management Using Theatre With Hybrid Actors 67
Performance Comparison of two Java-based Actor Systems 66
Hierarchical Communicating Real-Time State Machines 65
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 65
Aspect oriented programming using actors 64
Actor-based Simulation of PDEVS Systems over HLA 64
Statistical Model Checking of Distributed Real-Time Actor Systems 64
Agent-based control framework in Jade 64
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 62
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 62
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 61
Seamless Development in Java of Distributed Real-Time Systems using Actors 61
Distributed measurement systems: an object-oriented architecture and a case study 61
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 60
Agent methodological layers in Repast Simphony 60
Distributed simulation of timed coloured Petri nets 60
Performance prediction of scalable multi-agent systems using Parallel Theatre 59
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 59
Agent based measurement laboratory over Internet 59
Integrating the user-interface in an object oriented measurement system 58
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 58
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 58
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 57
Agents over the Grid: An experience using the Globus Toolkit 4 57
Development of a multimedia QoS synchronizer using AspectJ 57
MADAMS: A Software Architecture for the Management of Networked Measurement Services 56
A measurement on-demand service for access and delivery process acquisition data 56
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 56
Exploiting Social Capabilities in the Minority Game 55
Statistical Model Checking of Multi-Agent Systems 55
Distributed Measurement Systems: An Object-Oriented Architecture and case study 55
Distributed architecture for real time: An example using distributed measurement control 55
Lock-free Parallel Computing Using Theatre 55
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 54
An MBone-based on-demand system for cooperative off-line learning 53
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 53
A multimedia networking based approach to the development of Distributed Virtual Instruments 53
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 53
2020 SoSyM Best Reviewer Award 53
Formal Modelling and Analysis of Probabilistic Real-Time Systems 53
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 53
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 52
Petri Net Tools for Modelling and Simulation of Complex Systems 51
Model checking actor-based cyber-physical systems 50
Dynamic Sociality Minority Game 50
Verification of a Smart Power Control System using Hybrid Actors 50
Distributed architecture for real-time: An extension centred on PVM 50
Timing as a programming-in-the large-issue 49
A real-time architecture based on Shlaer-Mellor object lifecycles 49
RTO++: A framework for building hard real-time systems 49
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 48
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 48
Statistical Model Checking of GSPN Models 48
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 48
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 48
Multicast control of mobile measurement systems 47
Distributed simulation of timed Petri nets: a modular approach using actors and Time Warp 47
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination 47
Computational reflection in RT systems 47
An object-based architecture for real-time application 47
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 46
Real-Time Systems Development Using Hierarchical State Machines 46
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 46
An Embedded Real-time System for Climate Control in a Complex Greenhouse 45
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 44
Java-based distributed measurement systems 44
Super actors for real time 44
Modelling and simulation of complex systems using TPN Designer 44
Java based distributed measurement systems 44
Object-based real-time programming in Modula-2 44
Object-based real-time programming 44
Totale 6.139
Categoria #
all - tutte 59.125
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 59.125


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.755 184 163 36 187 113 450 107 199 26 27 178 85
2020/20211.431 215 6 185 186 7 191 27 197 12 194 58 153
2021/20222.047 7 318 8 121 207 96 22 405 17 41 270 535
2022/20231.981 277 301 68 233 216 177 11 254 219 55 83 87
2023/20241.508 148 82 148 91 91 260 46 150 126 92 57 217
2024/2025146 146 0 0 0 0 0 0 0 0 0 0 0
Totale 9.353