CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.824 0 0 0 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/2025259 23 179 32 25 0 0 0 0 0 0 0 0
Totale 12.657