CINECA IRIS Institutional Research Information System

VAGLINI, GIGLIOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.060
EU - Europa 3.494
AS - Asia 958
AF - Africa 271
SA - Sud America 25
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 11.820
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.901
IT - Italia 1.586
SE - Svezia 777
CN - Cina 497
DE - Germania 312
BG - Bulgaria 299
CA - Canada 157
CI - Costa d'Avorio 156
TR - Turchia 140
GB - Regno Unito 131
VN - Vietnam 115
SG - Singapore 103
FI - Finlandia 86
NG - Nigeria 83
UA - Ucraina 82
FR - Francia 46
HK - Hong Kong 38
BE - Belgio 37
RU - Federazione Russa 33
CH - Svizzera 30
SN - Senegal 30
IN - India 23
ES - Italia 17
BR - Brasile 12
CO - Colombia 10
HU - Ungheria 10
IR - Iran 9
RO - Romania 8
JP - Giappone 7
AU - Australia 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
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
Totale 11.820
Salva come PNG Salva come JPEG
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 229
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
Nanjing 76
San Vincenzo 70
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
Redwood City 20
Shenyang 20
Jiaxing 18
Jüchen 18
Düsseldorf 16
London 16
Tianjin 16
Kunming 15
Pisa 14
Changsha 13
Hefei 13
Istanbul 13
Hebei 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
Bogotá 7
Budapest 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
Ogden 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
Singapore 4
São Paulo 4
Taipei 4
Verona 4
Totale 8.857
Salva come PNG Salva come JPEG
Nome #
Monitoring elderly behavior via indoor position-based stigmergy 196
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 192
Swarm coordination of mini-UAVs for target search using imperfect sensors 190
Heuristic search for equivalence checking 182
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 181
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 159
Shared Abstract Data Types: an Algebraic Methodology for their Specification 158
Sleep behavior assessment via smartwatch and stigmergic receptive fields 158
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 157
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 155
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 154
A Petri Nets Semantics for Data Flow Networks 153
A Tableau-based Procedure for Model Checking Programs 151
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 149
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 146
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 146
A framework for data-flow distributed processing 145
An interactive debugger for a concurrent language 142
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 140
Model checking for malicious family detection and phylogenetic analysis in mobile environment 140
Efficient model checking of properties of a distributed application: a multimedia case study 139
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage 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 136
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 133
Towards Resource-Optimal Routing Plans for Real-Time Traffic 132
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 130
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 129
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data 129
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 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
Local Model checking of Java Bytecode 125
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation 124
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
Development of a debugger for a concurrent language 123
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 123
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors 122
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 121
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 121
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
Formula-based abstractions and symbolic execution for model checking programs 116
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 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
Enhancing biologically inspired swarm behavior: metaheuristics to foster the optimization of UAVs coordination in target search 113
On the schedulability of deadline-constrained traffic in TDMA Wireless Mesh Networks 113
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 111
State Space Reduction by Non-standard Semantics for Deadlock Analysis 107
Model Checking Properties on Reduced Trace Systems 107
Detecting urban road congestion via parametric adaptation of position-based stigmergy 107
Modifying LOTOS specifications by means of automatable formula-based integrations 105
Reusing LOTOS specifications 104
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 98
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 96
Selective Mu-calculus and formula-based equivalence of transition systems 95
Development of a Debugger for a Concurrent Language 93
null 93
Abstract Interpretation of Trace Semantics for Concurrent Calculi 91
Using stigmergy as a computational memory in the design of recurrent neural networks 90
Model Checking for Mobile Android Malware Evolution 88
null 87
Urban Swarms: A new approach for autonomous waste management 87
Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation 87
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 86
null 85
Using stigmergy to incorporate the time into artificial neural networks 84
High availability using virtualization 82
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 82
A Partial Order Semantics for FIFO-Nets 82
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
Description of a Tool for Specifying and Prototyping Concurrent Programs 80
A user-friendly interface to specify temporal properties of concurrent systems 79
Checking Safety Proprieties through Simulation and Heuristic Search 79
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 78
Monitoraggio dello stile di vita basato su sensori non invasivi e campi recettivi stigmergici 77
null 76
Efficient Model Checking of Properties of a Multimedia Application 75
Development of a Debugger for a Concurrent Language 75
Formula Based Abstractions of Transition Systems for Real-time Model Checking 75
Partial order interpretation of a mu-calculus-like temporal logic. 74
A “pay-how-you-drive” car insurance approach through cluster analysis 73
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 71
An emergent strategy for characterizing urban hotspot dynamics via GPS data 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 63
Totale 11.341
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.944
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 29.944
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019610 0 0 0 0 0 0 0 0 0 0 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.964 252 246 141 148 216 244 24 137 361 12 169 14
2023/2024949 110 101 137 53 166 185 84 29 23 38 23 0
Totale 12.235