CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021933 0 0 0 0 0 90 58 109 323 141 70 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/20263.248 224 1.234 633 327 436 394 0 0 0 0 0 0
Totale 19.613