CINECA IRIS Institutional Research Information System

VAGLINI, GIGLIOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.051
AS - Asia 4.646
EU - Europa 4.233
SA - Sud America 564
AF - Africa 352
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 20.861
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.788
IT - Italia 1.674
CN - Cina 1.569
SG - Singapore 1.378
SE - Svezia 784
HK - Hong Kong 632
BR - Brasile 464
DE - Germania 415
BG - Bulgaria 300
VN - Vietnam 274
GB - Regno Unito 244
TR - Turchia 230
CA - Canada 192
FR - Francia 188
CI - Costa d'Avorio 157
FI - Finlandia 153
RU - Federazione Russa 123
KR - Corea 99
IN - India 92
UA - Ucraina 88
JP - Giappone 85
NG - Nigeria 84
BD - Bangladesh 44
IQ - Iraq 41
BE - Belgio 40
CH - Svizzera 37
NL - Olanda 35
PK - Pakistan 32
SN - Senegal 32
MX - Messico 30
ES - Italia 26
PL - Polonia 23
SA - Arabia Saudita 23
AR - Argentina 20
CO - Colombia 19
HU - Ungheria 16
MA - Marocco 16
PY - Paraguay 16
AE - Emirati Arabi Uniti 15
AT - Austria 14
MY - Malesia 13
ZA - Sudafrica 13
UZ - Uzbekistan 12
EG - Egitto 11
ID - Indonesia 11
JO - Giordania 11
IE - Irlanda 10
CL - Cile 9
EC - Ecuador 9
IR - Iran 9
JM - Giamaica 9
KE - Kenya 9
PH - Filippine 9
AU - Australia 8
NP - Nepal 8
RO - Romania 8
TW - Taiwan 8
CZ - Repubblica Ceca 7
DK - Danimarca 7
PE - Perù 7
PT - Portogallo 7
TN - Tunisia 7
TT - Trinidad e Tobago 7
UY - Uruguay 7
AZ - Azerbaigian 6
DZ - Algeria 6
ET - Etiopia 6
IL - Israele 6
RS - Serbia 6
VE - Venezuela 6
KZ - Kazakistan 5
MD - Moldavia 5
PS - Palestinian Territory 5
AM - Armenia 4
BO - Bolivia 4
DO - Repubblica Dominicana 4
EU - Europa 4
LT - Lituania 4
LY - Libia 4
BB - Barbados 3
GE - Georgia 3
GR - Grecia 3
GT - Guatemala 3
GY - Guiana 3
LK - Sri Lanka 3
MN - Mongolia 3
NI - Nicaragua 3
NO - Norvegia 3
PA - Panama 3
SV - El Salvador 3
TH - Thailandia 3
AL - Albania 2
BN - Brunei Darussalam 2
BY - Bielorussia 2
CR - Costa Rica 2
HR - Croazia 2
KG - Kirghizistan 2
LB - Libano 2
SI - Slovenia 2
SY - Repubblica araba siriana 2
Totale 20.837
Salva come PNG Salva come JPEG
Città #
Dallas 1.350
Ashburn 1.002
Woodbridge 971
Fairfield 879
Singapore 823
Houston 707
Ann Arbor 652
Hong Kong 617
Santa Clara 610
Chandler 524
Serra 521
Shanghai 439
San Jose 407
Seattle 405
Beijing 301
Wilmington 301
Sofia 300
Cambridge 297
Milan 241
New York 183
Abidjan 157
Ottawa 150
Princeton 140
Boardman 129
Los Angeles 120
Lawrence 114
Hefei 112
Florence 110
Izmir 106
Jacksonville 106
Lauterbourg 96
Seoul 93
Medford 89
Des Moines 85
Lagos 84
Istanbul 77
Nanjing 77
London 74
Tokyo 73
San Vincenzo 70
The Dalles 68
Ho Chi Minh City 61
Dearborn 57
Council Bluffs 53
Helsinki 51
Dong Ket 46
Munich 46
Redondo Beach 45
Buffalo 44
San Diego 41
Brussels 39
Bremen 36
Nichelino 36
Boulder 34
Rome 34
Dakar 32
Hanoi 32
Chicago 30
São Paulo 29
Fuzhou 28
Bern 27
Albissola Marina 25
Nanchang 24
Frankfurt am Main 23
Marseille 22
Paris 22
Amsterdam 21
Shenyang 21
Düsseldorf 20
Ogden 20
Redwood City 20
Tianjin 20
Rio de Janeiro 19
San Francisco 19
Guangzhou 18
Jiaxing 18
Jüchen 18
Orem 18
Quanzhou 18
Capannori 17
Pisa 17
Baghdad 16
Kunming 16
Changsha 15
Turku 15
Columbus 14
Nuremberg 14
Asunción 13
Brooklyn 13
Jinan 13
Chennai 12
Hebei 12
Montreal 12
Perugia 12
Toronto 12
Norwalk 11
Warsaw 11
Atlanta 10
Belo Horizonte 10
Boston 10
Totale 15.102
Salva come PNG Salva come JPEG
Nome #
Degradation stage classification via interpretable feature learning 630
Technological troubleshooting based on sentence embedding with deep transformers 594
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 317
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 304
Automatable integrations for the reuse of concurrent specifications 293
Monitoring elderly behavior via indoor position-based stigmergy 284
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 274
Swarm coordination of mini-UAVs for target search using imperfect sensors 270
Sleep behavior assessment via smartwatch and stigmergic receptive fields 269
Heuristic search for equivalence checking 254
Shared Abstract Data Types: an Algebraic Methodology for their Specification 241
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 236
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 228
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 226
A Petri Nets Semantics for Data Flow Networks 224
An interactive debugger for a concurrent language 221
Model checking for malicious family detection and phylogenetic analysis in mobile environment 215
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 212
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 210
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 208
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation 207
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 206
A Tableau-based Procedure for Model Checking Programs 205
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 205
A framework for data-flow distributed processing 205
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data 205
Enhancing biologically inspired swarm behavior: metaheuristics to foster the optimization of UAVs coordination in target search 205
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 202
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 202
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 197
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage 195
Concurrent Programming Tools for the MuTEAM Microprocessor System 194
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 194
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 192
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 192
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 189
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 188
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 187
Formula-based abstractions and symbolic execution for model checking programs 186
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 186
Local Model checking of Java Bytecode 185
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases 185
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 184
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 184
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 182
Efficient model checking of properties of a distributed application: a multimedia case study 179
Detection and mapping of a toxic cloud using UAVs and emergent techniques 179
Incremental construction of systems: An efficient characterization of the lacking sub-system 178
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 177
Partial model checking via abstract interpretation 175
Towards Resource-Optimal Routing Plans for Real-Time Traffic 174
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 173
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 173
Development of a debugger for a concurrent language 171
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 170
Detecting urban road congestion via parametric adaptation of position-based stigmergy 170
A Framework for Data-Flow Distributed Processing 169
Abstract reduction in directed model checking CCS processes 167
Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation 165
On the schedulability of deadline-constrained traffic in TDMA Wireless Mesh Networks 165
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy 163
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 162
Urban Swarms: A new approach for autonomous waste management 158
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 156
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 155
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 154
An approach to system design based on P/T net simulation 152
An emergent strategy for characterizing urban hotspot dynamics via GPS data 152
Selective Mu-calculus and formula-based equivalence of transition systems 151
A user-friendly interface to specify temporal properties of concurrent systems 151
State Space Reduction by Non-standard Semantics for Deadlock Analysis 151
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 151
A Non-Standard Semantics for Generating Reduced Transition Systems 150
Checking Safety Proprieties through Simulation and Heuristic Search 150
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology 150
Abstract Interpretation of Trace Semantics for Concurrent Calculi 149
Reusing LOTOS specifications 148
Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions 148
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 147
Modifying LOTOS specifications by means of automatable formula-based integrations 147
Model Checking Properties on Reduced Trace Systems 144
Using stigmergy as a computational memory in the design of recurrent neural networks 143
Specification of Concurrency Control in Persistent Programming Languages 141
Modular verification of abstract software descriptions 139
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation 139
Monitoraggio dello stile di vita basato su sensori non invasivi e campi recettivi stigmergici 138
A hyper-heuristic methodology for coordinating swarms of robots in target search 138
Using stigmergy to incorporate the time into artificial neural networks 136
Description of a Tool for Specifying and Prototyping Concurrent Programs 134
Using an autoencoder in the design of an anomaly detector for smart manufacturing 133
Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search 133
Formula Based Abstractions of Transition Systems for Real-time Model Checking 129
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks 129
High availability using virtualization 129
null 129
A Partial Order Semantics for FIFO-Nets 128
Development of a Debugger for a Concurrent Language 127
Model Checking for Mobile Android Malware Evolution 127
Partial order interpretation of a mu-calculus-like temporal logic. 126
Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms 126
Totale 18.870
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.173
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 56.173
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021142 0 0 0 0 0 0 0 0 0 0 0 142
2021/20221.613 24 104 70 129 281 184 83 63 136 42 111 386
2022/20231.964 252 246 141 148 216 244 24 137 361 12 169 14
2023/20241.112 110 101 137 53 166 185 84 29 23 38 59 127
2024/20253.967 23 179 32 225 420 419 495 160 302 474 449 789
2025/20264.931 224 1.234 633 327 436 414 680 149 278 334 144 78
Totale 21.296