VAGLINI, GIGLIOLA
 Distribuzione geografica
Continente #
NA - Nord America 7.117
EU - Europa 3.515
AS - Asia 1.063
AF - Africa 271
SA - Sud America 25
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 12.003
Nazione #
US - Stati Uniti d'America 6.958
IT - Italia 1.588
SE - Svezia 777
CN - Cina 501
DE - Germania 321
BG - Bulgaria 299
SG - Singapore 204
CA - Canada 157
CI - Costa d'Avorio 156
TR - Turchia 140
GB - Regno Unito 131
VN - Vietnam 115
FI - Finlandia 88
NG - Nigeria 83
UA - Ucraina 82
FR - Francia 46
HK - Hong Kong 38
BE - Belgio 37
RU - Federazione Russa 34
CH - Svizzera 30
SN - Senegal 30
IN - India 23
ES - Italia 17
BR - Brasile 12
HU - Ungheria 12
CO - Colombia 10
IR - Iran 9
RO - Romania 8
JP - Giappone 7
AU - Australia 6
CZ - Repubblica Ceca 6
IE - Irlanda 5
KR - Corea 5
NL - Olanda 5
AT - Austria 4
EU - Europa 4
MY - Malesia 4
PL - Polonia 4
RS - Serbia 4
TW - Taiwan 4
GR - Grecia 3
PK - Pakistan 3
PT - Portogallo 3
DZ - Algeria 2
HR - Croazia 2
IL - Israele 2
MX - Messico 2
NO - Norvegia 2
TH - Thailandia 2
A1 - Anonimo 1
AE - Emirati Arabi Uniti 1
AM - Armenia 1
CY - Cipro 1
DK - Danimarca 1
EC - Ecuador 1
EE - Estonia 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PY - Paraguay 1
SA - Arabia Saudita 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
Totale 12.003
Città #
Woodbridge 971
Fairfield 879
Houston 703
Ann Arbor 652
Chandler 524
Serra 521
Ashburn 459
Seattle 401
Wilmington 301
Sofia 299
Cambridge 297
Milan 230
Beijing 211
New York 163
Abidjan 156
Ottawa 147
Princeton 140
Lawrence 114
Florence 103
Izmir 103
Jacksonville 103
Medford 88
Des Moines 83
Lagos 83
Nanjing 76
San Vincenzo 70
Singapore 69
Dearborn 57
Dong Ket 46
San Diego 41
Bremen 36
Brussels 36
Nichelino 36
Boulder 34
Hong Kong 31
Dakar 30
Rome 28
Bern 27
Albissola Marina 25
Los Angeles 24
Nanchang 24
Marseille 22
Chicago 20
Ogden 20
Redwood City 20
Shenyang 20
Jiaxing 18
Jüchen 18
Düsseldorf 16
London 16
Tianjin 16
Kunming 15
Pisa 15
Changsha 13
Hefei 13
Istanbul 13
Hebei 12
Perugia 12
Capannori 11
Guangzhou 11
Jinan 11
Norwalk 11
Budapest 9
Washington 9
Auburn Hills 8
Boardman 8
Frankfurt am Main 8
Indiana 8
Munich 8
Pune 8
Bogotá 7
Hangzhou 7
Karaman 7
Lucca 7
Napoli 7
Rende 7
Zaragoza 7
Dallas 6
Genova 6
Guildford 6
Shanghai 6
Torino 6
Berlin 5
Birmingham 5
Brno 5
Vicopisano 5
Batu Caves 4
Central District 4
Chengdu 4
Chiswick 4
Falls Church 4
Helsinki 4
L'aquila 4
Lanzhou 4
Naples 4
Orange 4
Phoenix 4
Pomezia 4
Ponte Buggianese 4
San Giuliano 4
Totale 8.965
Nome #
Monitoring elderly behavior via indoor position-based stigmergy 198
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 197
Swarm coordination of mini-UAVs for target search using imperfect sensors 192
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 185
Heuristic search for equivalence checking 184
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 165
Sleep behavior assessment via smartwatch and stigmergic receptive fields 159
Shared Abstract Data Types: an Algebraic Methodology for their Specification 158
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 158
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 156
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 156
A Petri Nets Semantics for Data Flow Networks 154
A Tableau-based Procedure for Model Checking Programs 152
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 150
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 147
A framework for data-flow distributed processing 146
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 146
An interactive debugger for a concurrent language 143
Model checking for malicious family detection and phylogenetic analysis in mobile environment 142
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 141
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 140
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage 140
Efficient model checking of properties of a distributed application: a multimedia case study 139
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 136
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 135
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 135
Towards Resource-Optimal Routing Plans for Real-Time Traffic 133
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 130
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data 130
Abstract reduction in directed model checking CCS processes 129
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 129
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 128
Local Model checking of Java Bytecode 127
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 127
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation 125
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases 125
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 124
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors 124
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 124
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 123
Development of a debugger for a concurrent language 123
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 122
Incremental construction of systems: An efficient characterization of the lacking sub-system 120
Concurrent Programming Tools for the MuTEAM Microprocessor System 119
An approach to system design based on P/T net simulation 119
Formula-based abstractions and symbolic execution for model checking programs 117
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 117
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 116
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 114
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 114
A Framework for Data-Flow Distributed Processing 114
Enhancing biologically inspired swarm behavior: metaheuristics to foster the optimization of UAVs coordination in target search 114
On the schedulability of deadline-constrained traffic in TDMA Wireless Mesh Networks 114
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 112
Detection and mapping of a toxic cloud using UAVs and emergent techniques 112
Detecting urban road congestion via parametric adaptation of position-based stigmergy 109
State Space Reduction by Non-standard Semantics for Deadlock Analysis 108
Model Checking Properties on Reduced Trace Systems 107
Reusing LOTOS specifications 105
Modifying LOTOS specifications by means of automatable formula-based integrations 105
A Non-Standard Semantics for Generating Reduced Transition Systems 103
Specification of Concurrency Control in Persistent Programming Languages 102
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 100
Partial model checking via abstract interpretation 100
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 97
Selective Mu-calculus and formula-based equivalence of transition systems 95
Development of a Debugger for a Concurrent Language 94
null 93
Abstract Interpretation of Trace Semantics for Concurrent Calculi 92
Using stigmergy as a computational memory in the design of recurrent neural networks 91
Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation 90
Model Checking for Mobile Android Malware Evolution 88
Urban Swarms: A new approach for autonomous waste management 88
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 87
null 87
Using stigmergy to incorporate the time into artificial neural networks 86
null 85
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 83
A Partial Order Semantics for FIFO-Nets 83
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy 83
High availability using virtualization 82
Checking Safety Proprieties through Simulation and Heuristic Search 82
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology 82
Modular verification of abstract software descriptions 81
Description of a Tool for Specifying and Prototyping Concurrent Programs 81
null 81
A user-friendly interface to specify temporal properties of concurrent systems 80
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 80
Monitoraggio dello stile di vita basato su sensori non invasivi e campi recettivi stigmergici 78
Partial order interpretation of a mu-calculus-like temporal logic. 77
Efficient Model Checking of Properties of a Multimedia Application 76
Development of a Debugger for a Concurrent Language 76
Formula Based Abstractions of Transition Systems for Real-time Model Checking 76
null 76
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 76
A “pay-how-you-drive” car insurance approach through cluster analysis 74
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 73
An emergent strategy for characterizing urban hotspot dynamics via GPS data 70
High availability using virtualization 67
Using an autoencoder in the design of an anomaly detector for smart manufacturing 67
Totale 11.475
Categoria #
all - tutte 31.759
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 31.759


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.482 286 217 155 154 237 263 308 219 235 185 167 56
2020/20211.342 95 79 94 43 98 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/202520 20 0 0 0 0 0 0 0 0 0 0 0
Totale 12.418