GIUA, ALESSANDRO
 Distribuzione geografica
Continente #
EU - Europa 3.863
NA - Nord America 3.457
AS - Asia 1.712
AF - Africa 153
SA - Sud America 58
OC - Oceania 31
Continente sconosciuto - Info sul continente non disponibili 2
Totale 9.276
Nazione #
US - Stati Uniti d'America 3.320
IT - Italia 2.708
CN - Cina 789
FR - Francia 296
DE - Germania 181
IN - India 168
GB - Regno Unito 165
HK - Hong Kong 146
JP - Giappone 89
CA - Canada 86
MO - Macao, regione amministrativa speciale della Cina 84
NL - Olanda 78
IR - Iran 75
SG - Singapore 59
VN - Vietnam 57
GR - Grecia 54
ES - Italia 53
RU - Federazione Russa 49
TW - Taiwan 47
IE - Irlanda 45
IQ - Iraq 42
UA - Ucraina 42
FI - Finlandia 41
MX - Messico 41
RO - Romania 39
DZ - Algeria 32
TN - Tunisia 25
KR - Corea 24
AU - Australia 23
BR - Brasile 23
EG - Egitto 23
PH - Filippine 23
ZA - Sudafrica 23
SE - Svezia 22
MA - Marocco 21
CZ - Repubblica Ceca 20
ID - Indonesia 20
PK - Pakistan 17
CL - Cile 13
CO - Colombia 13
TR - Turchia 13
AE - Emirati Arabi Uniti 11
BD - Bangladesh 11
PL - Polonia 9
SA - Arabia Saudita 9
CM - Camerun 8
NO - Norvegia 8
LT - Lituania 7
SK - Slovacchia (Repubblica Slovacca) 7
BE - Belgio 6
NG - Nigeria 6
PT - Portogallo 6
MD - Moldavia 5
NZ - Nuova Zelanda 5
AT - Austria 4
SI - Slovenia 4
TH - Thailandia 4
HU - Ungheria 3
IL - Israele 3
KE - Kenya 3
KZ - Kazakistan 3
LU - Lussemburgo 3
PG - Papua Nuova Guinea 3
SD - Sudan 3
SY - Repubblica araba siriana 3
VE - Venezuela 3
AN - Antille olandesi 2
BG - Bulgaria 2
BO - Bolivia 2
CR - Costa Rica 2
CY - Cipro 2
ET - Etiopia 2
EU - Europa 2
JO - Giordania 2
MM - Myanmar 2
MY - Malesia 2
NP - Nepal 2
PE - Perù 2
RS - Serbia 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BH - Bahrain 1
BS - Bahamas 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
EC - Ecuador 1
GH - Ghana 1
JM - Giamaica 1
LK - Sri Lanka 1
LR - Liberia 1
LV - Lettonia 1
NE - Niger 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PY - Paraguay 1
Totale 9.273
Città #
Cagliari 2.189
Houston 392
Fairfield 293
Santa Cruz 252
Ashburn 238
Ann Arbor 215
Buffalo 149
Woodbridge 143
Seattle 125
Cambridge 114
Beijing 98
Wilmington 85
Chicago 72
Shanghai 71
San Diego 54
Putignano 49
Athens 46
Dong Ket 46
Dublin 44
Bengaluru 42
Hangzhou 42
Central 41
Los Angeles 41
Mountain View 41
Rome 40
Helsinki 35
Xian 35
Guangzhou 34
Wuhan 34
Singapore 32
Toronto 32
Tokyo 31
Ottawa 29
San Jose 29
Las Vegas 27
Milan 27
Rotterdam 27
Boardman 25
Nanjing 25
Saran 24
Chongqing 23
Fleming Island 23
Antibes 22
Macao 22
New York 22
Phoenix 22
Hefei 20
Munich 19
Chengdu 18
London 18
Taipei 17
Central District 16
Fuzhou 16
Muizenberg 16
Aix-en-Provence 15
Changsha 15
Sassari 15
Shenzhen 15
Xi'an 15
Changchun 14
Grenoble 14
Jinan 14
Angers 13
Hong Kong 13
University Park 13
Jouy-en-Josas 12
Le Raincy 12
Cluj-napoca 11
Council Bluffs 11
Marseille 11
Paris 11
Riva 11
Algiers 10
Berlin 10
Binasco 10
Castelfidardo 10
Clearwater 10
Dallas 10
Delhi 10
Henderson 10
Jakarta 10
Karachi 10
San Francisco 10
Tehran 10
Adelaide 9
Assemini 9
Boulder 9
Fremont 9
Hyderabad 9
Kokuryocho 9
Norwalk 9
Provo 9
Salerno 9
Shenyang 9
Sunnyvale 9
Assèmini 8
Cairo 8
Chennai 8
Kolkata 8
Moscow 8
Totale 6.136
Nome #
Containment of rumor spread in complex social networks, file e2f56ed8-e720-3eaf-e053-3a05fe0a5d97 1.305
Fault detection for discrete event systems using Petri nets with unobservable transitions, file e2f56ed5-42a0-3eaf-e053-3a05fe0a5d97 646
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks, file e2f56ed7-2c9f-3eaf-e053-3a05fe0a5d97 473
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation, file e2f56ed8-37a3-3eaf-e053-3a05fe0a5d97 410
Decentralized supervision of Petri nets with a coordinator, file e2f56ed5-4c09-3eaf-e053-3a05fe0a5d97 394
Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems, file e2f56ed5-4298-3eaf-e053-3a05fe0a5d97 386
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation, file e2f56ed6-80b4-3eaf-e053-3a05fe0a5d97 370
Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations, file e2f56ed6-7493-3eaf-e053-3a05fe0a5d97 358
A new approach for diagnosability analysis of Petri nets using Verifier Nets, file e2f56ed5-41e0-3eaf-e053-3a05fe0a5d97 300
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions, file e2f56ed8-db97-3eaf-e053-3a05fe0a5d97 297
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators, file e2f56ed6-7499-3eaf-e053-3a05fe0a5d97 271
Petri nets for the control of discrete event systems, file e2f56ed6-78b8-3eaf-e053-3a05fe0a5d97 269
On the enforcement of a class of nonlinear constraints on Petri nets, file e2f56ed5-3ccf-3eaf-e053-3a05fe0a5d97 240
Distributed task assignment based on gossip with guaranteed performance on heterogeneous networks, file e2f56ed5-42a4-3eaf-e053-3a05fe0a5d97 235
Verification of State-Based Opacity Using Petri Nets, file e2f56eda-9d07-3eaf-e053-3a05fe0a5d97 218
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101], file e2f56ed5-41a7-3eaf-e053-3a05fe0a5d97 208
Optimization of deterministic timed weighted marked graphs, file e2f56ed6-7d99-3eaf-e053-3a05fe0a5d97 206
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-48d1-3eaf-e053-3a05fe0a5d97 198
A Decentralized Lifetime Maximization Algorithm for Distributed Applications in Wireless Sensor Networks, file e2f56ed4-a5e4-3eaf-e053-3a05fe0a5d97 187
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches, file e2f56ed7-855b-3eaf-e053-3a05fe0a5d97 187
On the Equivalence of Observation Structures for Petri Net Generators, file e2f56ed5-413c-3eaf-e053-3a05fe0a5d97 145
Minimizing the Influence Propagation in Social Networks for Linear Threshold Models, file e2f56ed7-1173-3eaf-e053-3a05fe0a5d97 128
Dynamic min and max consensus and size estimation of anonymous multi-agent networks, file e2f56eda-702e-3eaf-e053-3a05fe0a5d97 111
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems, file e2f56eda-0944-3eaf-e053-3a05fe0a5d97 109
Model reduction of finite state machines by contraction, file e2f56ed5-53f5-3eaf-e053-3a05fe0a5d97 103
Dynamics and steady state analysis of controlled Generalized Batches Petri Nets, file e2f56ed6-807d-3eaf-e053-3a05fe0a5d97 101
Detection and Prevention of Cyber-Attacks in Networked Control Systems, file e2f56eda-7a07-3eaf-e053-3a05fe0a5d97 101
On detectability of labeled Petri nets and finite automata, file e2f56ed9-5585-3eaf-e053-3a05fe0a5d97 100
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories, file e2f56ed9-a526-3eaf-e053-3a05fe0a5d97 82
Finite-Time Consensus with Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs, file e2f56eda-b86b-3eaf-e053-3a05fe0a5d97 82
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56eda-c50d-3eaf-e053-3a05fe0a5d97 81
Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata, file e2f56ed7-6e61-3eaf-e053-3a05fe0a5d97 73
Supervisor Synthesis for Discrete Event Systems under Partial Observation and Arbitrary Forbidden State Specifications, file e2f56ed6-81da-3eaf-e053-3a05fe0a5d97 69
Codiagnosability Analysis of Bounded Petri Nets, file e2f56eda-a538-3eaf-e053-3a05fe0a5d97 63
Decidability results in First-Order Hybrid Petri Nets, file e2f56ed5-55d6-3eaf-e053-3a05fe0a5d97 62
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-d7ab-3eaf-e053-3a05fe0a5d97 60
An approach to determine controllability of monolithic supervisors, file e2f56ed6-834e-3eaf-e053-3a05fe0a5d97 59
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems, file e2f56eda-1de7-3eaf-e053-3a05fe0a5d97 55
Probabilistic verification of attack detection using logical observer, file e2f56eda-57ef-3eaf-e053-3a05fe0a5d97 51
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets, file e2f56eda-7ae5-3eaf-e053-3a05fe0a5d97 49
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed5-4cc8-3eaf-e053-3a05fe0a5d97 46
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints, file e2f56eda-b6f4-3eaf-e053-3a05fe0a5d97 44
Decidability of opacity verification problems in labeled Petri net systems, file e2f56eda-a8c8-3eaf-e053-3a05fe0a5d97 42
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker, file b6bc1834-9520-4957-8066-7b8eb0b97aa5 40
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file ba32f2c0-e228-4435-96e3-3b34c322bbd6 38
Joint state estimation under attack of discrete event systems, file e2f56eda-853c-3eaf-e053-3a05fe0a5d97 38
Testing experiments on bounded Petri nets, file e2f56ed6-819c-3eaf-e053-3a05fe0a5d97 36
Instant detectability of discrete-event systems, file e2f56eda-5857-3eaf-e053-3a05fe0a5d97 35
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed5-4c23-3eaf-e053-3a05fe0a5d97 33
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs, file 7098aaea-e274-4be5-ba2f-80629c8bd8c6 31
Marking Estimation in Labelled Petri nets by the Representative Marking Graph, file e2f56ed7-0f9b-3eaf-e053-3a05fe0a5d97 31
Dynamic max-consensus with local self-tuning, file d0ac92a4-a8b3-49a5-abc3-816991419775 30
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets, file 1d37ceaa-0f53-495e-ba5e-6cbbf273683f 12
Decidability of opacity verification problems in labeled Petri net systems, file e2f56ed6-cec8-3eaf-e053-3a05fe0a5d97 12
null, file e2f56ed6-82af-3eaf-e053-3a05fe0a5d97 11
Current-state opacity enforcement in discrete event systems under incomparable observations, file e2f56ed7-5bfd-3eaf-e053-3a05fe0a5d97 10
Selection of a stealthy and harmful attack function in discrete event systems, file 83ed70da-7aaa-4751-83b9-a3aed20d75f2 8
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, file cd6e2aa4-518c-4795-9d52-457a47c868b4 7
Fault model identification and synthesis in Petri nets, file e2f56ed3-b16c-3eaf-e053-3a05fe0a5d97 7
Testing experiments on unbounded systems: synchronizing sequences using Petri nets, file e2f56ed5-3cd5-3eaf-e053-3a05fe0a5d97 7
null, file 9c216cb1-e7fa-488f-9325-d7d287bd0245 6
Marking optimization of deterministic timed weighted marked graphs, file e2f56ed5-3d69-3eaf-e053-3a05fe0a5d97 6
Finite-Time Consensus with Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs, file e2f56ed5-912f-3eaf-e053-3a05fe0a5d97 6
Marking estimation in a class of time labelled petri nets, file e2f56ed8-7042-3eaf-e053-3a05fe0a5d97 6
Consistent reduction in discrete-event systems, file 5b056576-f18f-4875-b0f7-c0309d7e3342 5
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems, file e2f56ed8-3460-3eaf-e053-3a05fe0a5d97 5
A remark on the decentralized diagnosis of labeled petri nets, file e2f56ed3-ae81-3eaf-e053-3a05fe0a5d97 4
Decentralized diagnosis of discrete event systems using labeled Petri nets, file e2f56ed3-b577-3eaf-e053-3a05fe0a5d97 4
Diagnosis using labeled Petri nets with silent or undistinguishable fault events, file e2f56ed3-c709-3eaf-e053-3a05fe0a5d97 4
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach, file e2f56ed5-13a8-3eaf-e053-3a05fe0a5d97 4
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures, file e2f56ed5-4260-3eaf-e053-3a05fe0a5d97 4
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56ed6-bf40-3eaf-e053-3a05fe0a5d97 4
Decentralized observability of discrete event systems with synchronizations, file e2f56ed7-2c9e-3eaf-e053-3a05fe0a5d97 4
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems, file e2f56eda-039b-3eaf-e053-3a05fe0a5d97 4
Dynamic min and max consensus and size estimation of anonymous multi-agent networks, file e2f56eda-57b8-3eaf-e053-3a05fe0a5d97 4
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection, file e2f56eda-af01-3eaf-e053-3a05fe0a5d97 4
null, file 2364037e-eb4a-4854-9f0b-058c80a64c70 3
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks, file ae0cd4a1-f232-43de-ac48-056536649bf4 3
Firing rate optimization of cyclic timed event graphs by token allocations, file e2f56ed3-abbc-3eaf-e053-3a05fe0a5d97 3
Optimization of deterministic timed weighted marked graphs, file e2f56ed6-a5f7-3eaf-e053-3a05fe0a5d97 3
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports], file e2f56ed7-784f-3eaf-e053-3a05fe0a5d97 3
Distributed Fiedler Vector Estimation with Application to Desynchronization of Harmonic Oscillator Networks, file e2f56eda-14c5-3eaf-e053-3a05fe0a5d97 3
Sensor and Actuator Attacks in Discrete Event Systems, file e993a760-5612-4b02-b036-fd4f2eed9428 3
Diagnosability of discrete event systems using labeled Petri nets, file e2f56ed3-a489-3eaf-e053-3a05fe0a5d97 2
null, file e2f56ed3-aa40-3eaf-e053-3a05fe0a5d97 2
null, file e2f56ed3-c147-3eaf-e053-3a05fe0a5d97 2
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets, file e2f56ed5-12eb-3eaf-e053-3a05fe0a5d97 2
Cycle time optimization of deterministic timed weighted marked graphs, file e2f56ed5-3d63-3eaf-e053-3a05fe0a5d97 2
null, file e2f56ed5-4b9e-3eaf-e053-3a05fe0a5d97 2
null, file e2f56ed5-4ff8-3eaf-e053-3a05fe0a5d97 2
A heuristic algorithm to optimize execution time of multi-robot path, file e2f56ed7-2a43-3eaf-e053-3a05fe0a5d97 2
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation, file e2f56ed7-2f5c-3eaf-e053-3a05fe0a5d97 2
Verification of State-Based Opacity Using Petri Nets, file e2f56ed7-4786-3eaf-e053-3a05fe0a5d97 2
Computation of Activation Probabilities in the Independent Cascade Model, file e2f56ed7-8568-3eaf-e053-3a05fe0a5d97 2
Guest editorial: special issue on performance analysis and optimization of discrete event systems, file e2f56ed7-c1b4-3eaf-e053-3a05fe0a5d97 2
Petri nets and Automatic Control: A historical perspective, file e2f56ed7-d76d-3eaf-e053-3a05fe0a5d97 2
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems, file e2f56ed7-d771-3eaf-e053-3a05fe0a5d97 2
Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs, file e2f56ed7-d777-3eaf-e053-3a05fe0a5d97 2
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis, file e2f56ed7-d779-3eaf-e053-3a05fe0a5d97 2
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton-based realization of discrete-time hybrid automaton, file e2f56ed8-20d6-3eaf-e053-3a05fe0a5d97 2
Totale 9.489
Categoria #
all - tutte 19.784
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 19.784


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019274 0 0 0 0 0 0 0 0 37 55 95 87
2019/20201.280 100 61 35 95 277 241 142 60 72 67 62 68
2020/20212.149 82 90 60 380 410 139 213 161 126 144 146 198
2021/20222.261 183 133 134 381 298 123 147 112 131 75 309 235
2022/20231.749 74 87 261 177 131 96 158 142 130 149 181 163
2023/20241.255 119 175 150 124 138 151 160 127 111 0 0 0
Totale 9.581