VAGLINI, GIGLIOLA
 Distribuzione geografica
Continente #
NA - Nord America 7.028
EU - Europa 3.566
AS - Asia 939
AF - Africa 271
SA - Sud America 18
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
Totale 11.831
Nazione #
US - Stati Uniti d'America 6.869
IT - Italia 1.622
SE - Svezia 777
CN - Cina 491
DE - Germania 310
BG - Bulgaria 299
CA - Canada 157
CI - Costa d'Avorio 156
TR - Turchia 132
GB - Regno Unito 130
VN - Vietnam 115
SG - Singapore 101
FI - Finlandia 83
NG - Nigeria 83
BE - Belgio 82
UA - Ucraina 81
FR - Francia 43
HK - Hong Kong 38
RU - Federazione Russa 33
CH - Svizzera 30
SN - Senegal 30
IN - India 23
ES - Italia 17
BR - Brasile 12
HU - Ungheria 10
IR - Iran 9
RO - Romania 8
JP - Giappone 7
AT - Austria 5
IE - Irlanda 5
KR - Corea 5
NL - Olanda 5
EU - Europa 4
MY - Malesia 4
PL - Polonia 4
RS - Serbia 4
AU - Australia 3
CO - Colombia 3
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
CZ - Repubblica Ceca 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
TW - Taiwan 1
Totale 11.831
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 270
Beijing 209
New York 163
Abidjan 156
Ottawa 147
Princeton 140
Lawrence 114
Florence 103
Izmir 103
Jacksonville 103
Medford 88
Des Moines 83
Lagos 83
Brussels 81
Nanjing 75
San Vincenzo 70
Dearborn 57
Dong Ket 46
San Diego 41
Bremen 36
Nichelino 36
Boulder 34
Hong Kong 31
Dakar 30
Rome 28
Bern 27
Albissola Marina 25
Nanchang 24
Marseille 22
Redwood City 20
Shenyang 20
Jiaxing 18
Jüchen 18
Düsseldorf 16
Tianjin 16
Kunming 15
Pisa 14
Changsha 13
Hefei 13
Istanbul 13
Hebei 12
London 12
Perugia 12
Capannori 11
Guangzhou 11
Norwalk 11
Jinan 10
Washington 9
Auburn Hills 8
Boardman 8
Frankfurt am Main 8
Indiana 8
Pune 8
Budapest 7
Hangzhou 7
Los Angeles 7
Lucca 7
Napoli 7
Rende 7
Zaragoza 7
Dallas 6
Genova 6
Guildford 6
Torino 6
Berlin 5
Birmingham 5
Shanghai 5
Vicopisano 5
Batu Caves 4
Central District 4
Chengdu 4
Chiswick 4
Falls Church 4
L'aquila 4
Lanzhou 4
Naples 4
Orange 4
Phoenix 4
Pomezia 4
Ponte Buggianese 4
San Giuliano 4
Shenzhen 4
São Paulo 4
Verona 4
Vienna 4
Ardebil 3
Bellagio 3
Bologna 3
Capalbio 3
Totale 8.909
Nome #
Monitoring elderly behavior via indoor position-based stigmergy 199
Swarm coordination of mini-UAVs for target search using imperfect sensors 190
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 188
Heuristic search for equivalence checking 181
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 176
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 163
Sleep behavior assessment via smartwatch and stigmergic receptive fields 161
Shared Abstract Data Types: an Algebraic Methodology for their Specification 158
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 157
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 155
A Petri Nets Semantics for Data Flow Networks 153
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 153
A Tableau-based Procedure for Model Checking Programs 152
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 150
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 149
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 147
A framework for data-flow distributed processing 145
An interactive debugger for a concurrent language 144
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
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 139
Model checking for malicious family detection and phylogenetic analysis in mobile environment 139
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 138
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 137
Towards Resource-Optimal Routing Plans for Real-Time Traffic 134
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 133
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data 133
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 129
Local Model checking of Java Bytecode 127
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 127
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 126
Abstract reduction in directed model checking CCS processes 126
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 126
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 124
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 123
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 123
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 123
Development of a debugger for a concurrent language 122
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 120
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 120
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors 120
Concurrent Programming Tools for the MuTEAM Microprocessor System 119
Incremental construction of systems: An efficient characterization of the lacking sub-system 119
An approach to system design based on P/T net simulation 119
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 119
Formula-based abstractions and symbolic execution for model checking programs 116
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 116
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 114
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 113
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 113
A Framework for Data-Flow Distributed Processing 113
On the schedulability of deadline-constrained traffic in TDMA Wireless Mesh Networks 113
Detection and mapping of a toxic cloud using UAVs and emergent techniques 110
Enhancing biologically inspired swarm behavior: metaheuristics to foster the optimization of UAVs coordination in target search 110
Model Checking Properties on Reduced Trace Systems 108
Detecting urban road congestion via parametric adaptation of position-based stigmergy 107
State Space Reduction by Non-standard Semantics for Deadlock Analysis 106
Modifying LOTOS specifications by means of automatable formula-based integrations 106
Reusing LOTOS specifications 104
A Non-Standard Semantics for Generating Reduced Transition Systems 103
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 101
Specification of Concurrency Control in Persistent Programming Languages 101
Partial model checking via abstract interpretation 98
Selective Mu-calculus and formula-based equivalence of transition systems 97
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 96
Using stigmergy as a computational memory in the design of recurrent neural networks 95
Development of a Debugger for a Concurrent Language 94
null 93
Abstract Interpretation of Trace Semantics for Concurrent Calculi 92
Model Checking for Mobile Android Malware Evolution 89
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
null 85
Using stigmergy to incorporate the time into artificial neural networks 84
A Partial Order Semantics for FIFO-Nets 83
Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation 83
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 82
Description of a Tool for Specifying and Prototyping Concurrent Programs 81
null 81
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology 81
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy 81
Modular verification of abstract software descriptions 80
High availability using virtualization 80
A user-friendly interface to specify temporal properties of concurrent systems 79
Checking Safety Proprieties through Simulation and Heuristic Search 79
Monitoraggio dello stile di vita basato su sensori non invasivi e campi recettivi stigmergici 78
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 77
Development of a Debugger for a Concurrent Language 76
null 76
Formula Based Abstractions of Transition Systems for Real-time Model Checking 75
Efficient Model Checking of Properties of a Multimedia Application 74
Partial order interpretation of a mu-calculus-like temporal logic. 74
A “pay-how-you-drive” car insurance approach through cluster analysis 73
An emergent strategy for characterizing urban hotspot dynamics via GPS data 70
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 69
High availability using virtualization 66
Using an autoencoder in the design of an anomaly detector for smart manufacturing 65
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation 65
Totale 11.357
Categoria #
all - tutte 27.461
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 27.461


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.000 0 0 0 0 0 0 0 27 71 292 330 280
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.991 252 246 141 148 216 244 29 140 368 16 172 19
2023/2024932 154 106 143 59 173 185 84 28 0 0 0 0
Totale 12.245