CINECA IRIS Institutional Research Information System

VAGLINI, GIGLIOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.454
AS - Asia 4.100
EU - Europa 4.020
SA - Sud America 507
AF - Africa 323
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 19.419
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.224
IT - Italia 1.661
CN - Cina 1.471
SG - Singapore 1.227
SE - Svezia 784
HK - Hong Kong 617
BR - Brasile 429
DE - Germania 400
BG - Bulgaria 300
GB - Regno Unito 236
TR - Turchia 216
CA - Canada 180
VN - Vietnam 177
CI - Costa d'Avorio 157
FI - Finlandia 139
RU - Federazione Russa 121
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
IQ - Iraq 27
JP - Giappone 27
ES - Italia 25
MX - Messico 22
NL - Olanda 20
CO - Colombia 18
PK - Pakistan 18
SA - Arabia Saudita 18
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.400
Salva come PNG Salva come JPEG
Città #
Dallas 1.343
Woodbridge 971
Ashburn 945
Fairfield 879
Singapore 720
Houston 705
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
San Jose 169
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
The Dalles 46
Redondo Beach 45
Buffalo 41
San Diego 41
Helsinki 39
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
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
Baghdad 13
Hanoi 13
Jinan 13
Paris 13
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
Shenzhen 9
Toronto 9
Totale 14.321
Salva come PNG Salva come JPEG
Nome #
Degradation stage classification via interpretable feature learning 599
Technological troubleshooting based on sentence embedding with deep transformers 578
Automatable integrations for the reuse of concurrent specifications 284
Stock price forecasting over adaptive timescale using supervised learning and receptive fields 280
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining 275
Monitoring elderly behavior via indoor position-based stigmergy 263
Swarm coordination of mini-UAVs for target search using imperfect sensors 258
Heuristic search for equivalence checking 247
Sleep behavior assessment via smartwatch and stigmergic receptive fields 236
Shared Abstract Data Types: an Algebraic Methodology for their Specification 235
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 228
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection 218
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 218
Model checking for malicious family detection and phylogenetic analysis in mobile environment 207
An interactive debugger for a concurrent language 206
A Petri Nets Semantics for Data Flow Networks 206
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields 203
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 200
MODULAR FORMAL VERIFICATION OF SPECIFICATIONS OF CONCURRENT SYSTEMS 198
Efficient Link Scheduling for Online Admission Control of Real-time Traffic in Wireless Mesh Networks 198
A Tableau-based Procedure for Model Checking Programs 197
Smart shoe-based evaluation of gait phase detection accuracy using body-worn accelerometers 197
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 196
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 194
A framework for data-flow distributed processing 190
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 187
An Emergent Approach to Text Analysis Based on a Connectionist Model and the Web 185
Concurrent Programming Tools for the MuTEAM Microprocessor System 182
Fostering Distributed Business Logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination 181
Local Model checking of Java Bytecode 180
Formula-based abstractions and symbolic execution for model checking programs 180
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches 180
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation 179
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 177
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN 177
A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage 176
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture 176
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 175
Efficient model checking of properties of a distributed application: a multimedia case study 175
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 175
Towards Resource-Optimal Routing Plans for Real-Time Traffic 171
Spikiness Assessment of Term Occurrences in Microblogs: an Approach Based on Computational Stigmergy 170
Optimal Link Scheduling for Real-time Traffic in Wireless Mesh Networks in both Per-flow and Per-path Frameworks 169
Incremental construction of systems: An efficient characterization of the lacking sub-system 168
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 168
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases 167
Detecting User’s Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons 167
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 165
COMPOSITIONALITY AND LOCALITY FOR IMPROVING MODEL CHECKING IN THE SELECTIVE MU-CALCULUS 164
Abstract reduction in directed model checking CCS processes 163
Link Scheduling with End-to-end Delay Constraints in Wireless Mesh Networks 163
Development of a debugger for a concurrent language 162
Detection and mapping of a toxic cloud using UAVs and emergent techniques 161
Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation 160
A Framework for Data-Flow Distributed Processing 159
Detecting urban road congestion via parametric adaptation of position-based stigmergy 159
On the schedulability of deadline-constrained traffic in TDMA Wireless Mesh Networks 157
Partial model checking via abstract interpretation 156
An approach to system design based on P/T net simulation 150
Urban Swarms: A new approach for autonomous waste management 149
Detecting Permanent and Intermittent Purchase Hotspots via Computational Stigmergy 149
MODEL CHECKING MULTITHREADED PROGRAMS BY MEANS OF REDUCED MODELS 146
A Non-Standard Semantics for Generating Reduced Transition Systems 146
Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms 146
Reusing LOTOS specifications 145
Selective Mu-calculus and formula-based equivalence of transition systems 144
State Space Reduction by Non-standard Semantics for Deadlock Analysis 143
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 142
Modifying LOTOS specifications by means of automatable formula-based integrations 142
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 142
An emergent strategy for characterizing urban hotspot dynamics via GPS data 141
Abstract Interpretation of Trace Semantics for Concurrent Calculi 140
Checking Safety Proprieties through Simulation and Heuristic Search 140
A user-friendly interface to specify temporal properties of concurrent systems 139
Model Checking Properties on Reduced Trace Systems 138
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey 137
Specification of Concurrency Control in Persistent Programming Languages 136
Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions 136
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology 133
Using stigmergy as a computational memory in the design of recurrent neural networks 132
Modular verification of abstract software descriptions 131
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation 131
null 129
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks 127
Development of a Debugger for a Concurrent Language 126
Monitoraggio dello stile di vita basato su sensori non invasivi e campi recettivi stigmergici 126
Using stigmergy to incorporate the time into artificial neural networks 124
A hyper-heuristic methodology for coordinating swarms of robots in target search 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
Description of a Tool for Specifying and Prototyping Concurrent Programs 120
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
Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search 119
A Partial Order Semantics for FIFO-Nets 118
Minimum Latency Link Scheduling in TDMA Wireless Multi-Hop Networks 117
Development of a Debugger for a Concurrent Language 116
Totale 17.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.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 51.968
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021843 0 0 0 0 0 0 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.485 224 1.234 633 327 436 414 217 0 0 0 0 0
Totale 19.850