LI, ZHIWU
 Distribuzione geografica
Continente #
EU - Europa 842
AS - Asia 830
NA - Nord America 750
AF - Africa 58
SA - Sud America 14
OC - Oceania 13
Totale 2.507
Nazione #
US - Stati Uniti d'America 697
IT - Italia 453
CN - Cina 371
IN - India 93
HK - Hong Kong 84
FR - Francia 83
GB - Regno Unito 81
DE - Germania 65
JP - Giappone 45
CA - Canada 41
SG - Singapore 39
IR - Iran 38
NL - Olanda 37
TW - Taiwan 34
ES - Italia 30
FI - Finlandia 20
MO - Macao, regione amministrativa speciale della Cina 20
TN - Tunisia 16
EG - Egitto 15
PH - Filippine 15
PK - Pakistan 15
VN - Vietnam 15
ID - Indonesia 12
IQ - Iraq 12
RU - Federazione Russa 11
BD - Bangladesh 10
IE - Irlanda 10
UA - Ucraina 10
AU - Australia 9
DZ - Algeria 9
MX - Messico 9
BR - Brasile 8
CZ - Repubblica Ceca 8
RO - Romania 8
SE - Svezia 7
KR - Corea 6
NO - Norvegia 5
NG - Nigeria 4
SA - Arabia Saudita 4
TR - Turchia 4
MA - Marocco 3
PG - Papua Nuova Guinea 3
PL - Polonia 3
SD - Sudan 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
AN - Antille olandesi 2
CO - Colombia 2
ET - Etiopia 2
JO - Giordania 2
KE - Kenya 2
LU - Lussemburgo 2
MY - Malesia 2
SY - Repubblica araba siriana 2
AM - Armenia 1
AT - Austria 1
BE - Belgio 1
BG - Bulgaria 1
BH - Bahrain 1
CL - Cile 1
CU - Cuba 1
DK - Danimarca 1
EC - Ecuador 1
GR - Grecia 1
IL - Israele 1
LT - Lituania 1
LV - Lettonia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PE - Perù 1
PY - Paraguay 1
QA - Qatar 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.507
Città #
Cagliari 331
Ashburn 73
Houston 59
Santa Cruz 46
Fairfield 43
Ann Arbor 37
Beijing 37
Cambridge 34
Shanghai 33
Chicago 32
Buffalo 26
Central 24
Saran 24
Singapore 21
Los Angeles 20
Helsinki 19
Wuhan 19
Nanjing 17
Ottawa 17
Seattle 16
Woodbridge 16
Guangzhou 15
Changchun 14
Macao 14
Wilmington 14
Chengdu 12
Putignano 12
Hangzhou 11
Iloilo City 11
San Diego 11
Taipei 11
Tokyo 11
Toronto 11
Xian 11
Karachi 10
San Jose 10
Changsha 9
Dublin 9
Fuzhou 9
Hyderabad 9
Jakarta 9
Kokuryocho 9
London 9
Munich 9
Tehran 9
Cairo 8
Milan 8
Aix-en-Provence 7
Assemini 7
Central District 7
Delhi 7
Paris 7
Phoenix 7
Rotterdam 7
Alcobendas 6
Amsterdam 6
Bengaluru 6
Council Bluffs 6
Dhaka 6
Dong Ket 6
Falkenstein 6
Gurgaon 6
Harbin 6
Hong Kong 6
Kolkata 6
Mountain View 6
New York 6
Nuoro 6
Rome 6
Southampton 6
Hefei 5
Lucknow 5
Madrid 5
New Delhi 5
New Taipei 5
San Sebastián de los Reyes 5
Santa Clara 5
Suri 5
Algiers 4
Amol 4
Bari 4
Berlin 4
Boardman 4
Bothell 4
Brecon 4
Castel San Giorgio 4
Champaign 4
Chongqing 4
Columbus 4
Cypress 4
Erlangen 4
Fremont 4
Hebei 4
Henderson 4
Las Vegas 4
Le Raincy 4
Osaka 4
Redmond 4
Taichung 4
Xi'an 4
Totale 1.492
Nome #
Containment of rumor spread in complex social networks, file e2f56ed8-e720-3eaf-e053-3a05fe0a5d97 1.353
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators, file e2f56ed6-7499-3eaf-e053-3a05fe0a5d97 275
Verification of State-Based Opacity Using Petri Nets, file e2f56eda-9d07-3eaf-e053-3a05fe0a5d97 222
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101], file e2f56ed5-41a7-3eaf-e053-3a05fe0a5d97 212
On the Equivalence of Observation Structures for Petri Net Generators, file e2f56ed5-413c-3eaf-e053-3a05fe0a5d97 144
An approach to determine controllability of monolithic supervisors, file e2f56ed6-834e-3eaf-e053-3a05fe0a5d97 60
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints, file e2f56eda-b6f4-3eaf-e053-3a05fe0a5d97 53
The INTEGRAL view of the pulsating hard X-ray sky: from accreting and transitional millisecond pulsars to rotation-powered pulsars and magnetars, file e2f56eda-34f5-3eaf-e053-3a05fe0a5d97 51
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets, file e2f56eda-7ae5-3eaf-e053-3a05fe0a5d97 48
Decidability of opacity verification problems in labeled Petri net systems, file e2f56eda-a8c8-3eaf-e053-3a05fe0a5d97 48
Joint state estimation under attack of discrete event systems, file e2f56eda-853c-3eaf-e053-3a05fe0a5d97 34
Marking Estimation in Labelled Petri nets by the Representative Marking Graph, file e2f56ed7-0f9b-3eaf-e053-3a05fe0a5d97 30
Decidability of opacity verification problems in labeled Petri net systems, file e2f56ed6-cec8-3eaf-e053-3a05fe0a5d97 12
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 7
Sensor and Actuator Attacks in Discrete Event Systems, file e993a760-5612-4b02-b036-fd4f2eed9428 6
Verification of State-Based Opacity Using Petri Nets, file e2f56ed7-4786-3eaf-e053-3a05fe0a5d97 2
Influence minimization in linear threshold networks, file e2f56ed8-2f1b-3eaf-e053-3a05fe0a5d97 2
An improved approach for marking optimization of timed weighted marked graphs, file e2f56ed8-9741-3eaf-e053-3a05fe0a5d97 2
A region-based approach for state estimation of timed automata under no event observation, file e2f56eda-1750-3eaf-e053-3a05fe0a5d97 2
Diagnosability enforcement in labeled Petri nets using supervisory control, file e2f56eda-3833-3eaf-e053-3a05fe0a5d97 2
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs, file e2f56eda-4d84-3eaf-e053-3a05fe0a5d97 2
Rumor Containment by Blocking Nodes in Social Networks, file d3700085-9c29-4bfc-ae90-ac633b012b33 1
General Observation Structures for Petri Nets, file e2f56ed3-905f-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed5-3d5f-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed5-3fa5-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed5-4140-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed5-4291-3eaf-e053-3a05fe0a5d97 1
Marking Estimation in Labelled Petri nets by the Representative Marking Graph, file e2f56ed7-2f5d-3eaf-e053-3a05fe0a5d97 1
Computation of admissible marking sets in weighted state machines by dynamic programming, file e2f56ed7-313f-3eaf-e053-3a05fe0a5d97 1
Design of Monitor-based Supervisors in Labelled Petri Nets, file e2f56ed7-855f-3eaf-e053-3a05fe0a5d97 1
Performance optimization for timed weighted marked graphs under infinite server semantics, file e2f56ed7-d767-3eaf-e053-3a05fe0a5d97 1
Stealthy Attacks for Partially-Observed Discrete Event Systems, file e2f56ed8-394d-3eaf-e053-3a05fe0a5d97 1
Rumor containment by spreading correct information in social networks, file e2f56ed9-5e68-3eaf-e053-3a05fe0a5d97 1
Multiple attacks detection on discrete event systems, file e2f56ed9-69eb-3eaf-e053-3a05fe0a5d97 1
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach, file e2f56ed9-69ef-3eaf-e053-3a05fe0a5d97 1
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming, file e2f56ed9-94db-3eaf-e053-3a05fe0a5d97 1
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation, file e2f56eda-14c6-3eaf-e053-3a05fe0a5d97 1
Design of supervisors for linear marking specifications in labeled Petri nets, file e2f56eda-4d86-3eaf-e053-3a05fe0a5d97 1
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics, file e2f56eda-6e48-3eaf-e053-3a05fe0a5d97 1
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints, file e2f56eda-bfd1-3eaf-e053-3a05fe0a5d97 1
Totale 2.596
Categoria #
all - tutte 5.093
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 5.093


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201931 0 0 0 0 0 0 0 0 0 0 16 15
2019/2020164 16 10 5 12 27 33 16 9 11 14 3 8
2020/2021524 15 21 19 82 84 36 62 40 42 38 40 45
2021/2022620 35 26 23 102 78 44 56 52 55 21 76 52
2022/2023574 31 18 60 77 47 31 48 46 43 61 54 58
2023/2024567 40 65 53 56 66 44 74 33 51 72 13 0
Totale 2.596