CINECA IRIS Institutional Research Information System

VAGLINI, GIGLIOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.326
AS - Asia 4.657
EU - Europa 4.241
SA - Sud America 572
Continente sconosciuto - Info sul continente non disponibili 441
AF - Africa 352
OC - Oceania 9
Totale 21.598
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.053
IT - Italia 1.678
CN - Cina 1.570
SG - Singapore 1.383
SE - Svezia 785
HK - Hong Kong 633
BR - Brasile 470
DE - Germania 415
BG - Bulgaria 300
VN - Vietnam 274
GB - Regno Unito 244
TR - Turchia 230
CA - Canada 197
FR - Francia 189
CI - Costa d'Avorio 157
FI - Finlandia 153
RU - Federazione Russa 123
KR - Corea 99
IN - India 93
UA - Ucraina 89
JP - Giappone 86
NG - Nigeria 84
BD - Bangladesh 45
IQ - Iraq 41
BE - Belgio 40
CH - Svizzera 37
NL - Olanda 35
MX - Messico 32
PK - Pakistan 32
SN - Senegal 32
ES - Italia 27
PL - Polonia 23
SA - Arabia Saudita 23
AR - Argentina 20
CO - Colombia 20
PY - Paraguay 17
HU - Ungheria 16
MA - Marocco 16
AE - Emirati Arabi Uniti 15
AT - Austria 14
MY - Malesia 13
ZA - Sudafrica 13
ID - Indonesia 12
UZ - Uzbekistan 12
EG - Egitto 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
CR - Costa Rica 4
DO - Repubblica Dominicana 4
EU - Europa 4
LT - Lituania 4
LY - Libia 4
SV - El Salvador 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
TH - Thailandia 3
AL - Albania 2
BN - Brunei Darussalam 2
BY - Bielorussia 2
HR - Croazia 2
KG - Kirghizistan 2
LB - Libano 2
SI - Slovenia 2
SY - Repubblica araba siriana 2
Totale 21.139
Salva come PNG Salva come JPEG
Città #
Dallas 1.351
Ashburn 1.030
Woodbridge 971
Fairfield 879
Singapore 826
Houston 708
Ann Arbor 652
Hong Kong 618
Santa Clara 612
Chandler 524
Serra 521
Shanghai 439
San Jose 409
Seattle 405
Beijing 302
Wilmington 301
Sofia 300
Cambridge 297
Milan 241
New York 183
Abidjan 157
Ottawa 150
Princeton 140
Boardman 131
Los Angeles 121
Lawrence 114
Hefei 112
Florence 110
Izmir 106
Jacksonville 106
Lauterbourg 96
Seoul 93
Medford 89
Council Bluffs 86
Des Moines 86
Lagos 84
Istanbul 77
Nanjing 77
London 74
Tokyo 73
San Vincenzo 70
The Dalles 68
Ho Chi Minh City 61
Dearborn 57
Helsinki 51
Dong Ket 46
Munich 46
Redondo Beach 45
Buffalo 44
San Diego 41
Brussels 39
Bremen 36
Nichelino 36
Rome 35
Boulder 34
Chicago 33
Dakar 32
Hanoi 32
São Paulo 31
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
Atlanta 16
Baghdad 16
Kunming 16
Changsha 15
Turku 15
Columbus 14
Nuremberg 14
Asunción 13
Brooklyn 13
Chennai 13
Jinan 13
Montreal 13
Hebei 12
Perugia 12
Phoenix 12
Toronto 12
Mexico City 11
Norwalk 11
Warsaw 11
Totale 15.195
Salva come PNG Salva come JPEG
Nome #
Degradation stage classification via interpretable feature learning 644
Technological troubleshooting based on sentence embedding with deep transformers 602
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 350
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 320
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 309
Automatable integrations for the reuse of concurrent specifications 294
Monitoring elderly behavior via indoor position-based stigmergy 285
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 279
Sleep behavior assessment via smartwatch and stigmergic receptive fields 270
Swarm coordination of mini-UAVs for target search using imperfect sensors 270
Heuristic search for equivalence checking 254
Shared Abstract Data Types: an Algebraic Methodology for their Specification 243
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 240
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 229
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 227
A Petri Nets Semantics for Data Flow Networks 224
An interactive debugger for a concurrent language 221
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 215
Model checking for malicious family detection and phylogenetic analysis in mobile environment 215
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 213
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation 212
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 208
A Tableau-based Procedure for Model Checking Programs 207
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 207
A framework for data-flow distributed processing 207
Enhancing biologically inspired swarm behavior: metaheuristics to foster the optimization of UAVs coordination in target search 207
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data 206
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 205
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 202
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 197
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 196
Concurrent Programming Tools for the MuTEAM Microprocessor System 194
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 194
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 192
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 190
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 190
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 188
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 188
Formula-based abstractions and symbolic execution for model checking programs 187
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 187
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases 186
Local Model checking of Java Bytecode 185
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 185
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 184
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 181
Detection and mapping of a toxic cloud using UAVs and emergent techniques 181
Efficient model checking of properties of a distributed application: a multimedia case study 179
Incremental construction of systems: An efficient characterization of the lacking sub-system 178
Partial model checking via abstract interpretation 175
Towards Resource-Optimal Routing Plans for Real-Time Traffic 175
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 174
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 174
Development of a debugger for a concurrent language 174
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 173
Detecting urban road congestion via parametric adaptation of position-based stigmergy 171
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
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 163
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy 163
Urban Swarms: A new approach for autonomous waste management 158
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 156
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 156
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 154
A user-friendly interface to specify temporal properties of concurrent systems 154
An approach to system design based on P/T net simulation 153
Abstract Interpretation of Trace Semantics for Concurrent Calculi 153
An emergent strategy for characterizing urban hotspot dynamics via GPS data 153
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 152
Selective Mu-calculus and formula-based equivalence of transition systems 151
State Space Reduction by Non-standard Semantics for Deadlock Analysis 151
Checking Safety Proprieties through Simulation and Heuristic Search 151
A Non-Standard Semantics for Generating Reduced Transition Systems 150
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology 150
Reusing LOTOS specifications 148
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 148
Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions 148
Model Checking Properties on Reduced Trace Systems 147
Modifying LOTOS specifications by means of automatable formula-based integrations 147
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 140
Using stigmergy to incorporate the time into artificial neural networks 140
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation 140
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
Description of a Tool for Specifying and Prototyping Concurrent Programs 134
Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search 134
Using an autoencoder in the design of an anomaly detector for smart manufacturing 133
High availability using virtualization 131
Formula Based Abstractions of Transition Systems for Real-time Model Checking 130
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks 130
null 129
Development of a Debugger for a Concurrent Language 128
A Partial Order Semantics for FIFO-Nets 128
Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms 128
Model Checking for Mobile Android Malware Evolution 127
Partial order interpretation of a mu-calculus-like temporal logic. 126
Totale 19.150
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.861
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 57.861
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.589 0 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.955 224 1.234 633 327 436 414 680 149 278 334 144 102
2026/2027278 108 170 0 0 0 0 0 0 0 0 0 0
Totale 21.598