CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020643 0 0 0 0 0 0 0 0 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/20252.100 23 179 32 225 420 419 495 160 147 0 0 0
Totale 14.498