TONG, YIN
 Distribuzione geografica
Continente #
EU - Europa 482
NA - Nord America 244
AS - Asia 236
AF - Africa 29
OC - Oceania 13
SA - Sud America 4
Totale 1.008
Nazione #
IT - Italia 329
US - Stati Uniti d'America 225
CN - Cina 74
FR - Francia 53
HK - Hong Kong 34
DE - Germania 26
IN - India 26
JP - Giappone 25
MO - Macao, regione amministrativa speciale della Cina 21
TN - Tunisia 19
SG - Singapore 17
GB - Regno Unito 15
FI - Finlandia 14
MX - Messico 12
AU - Australia 11
PH - Filippine 8
CA - Canada 7
NL - Olanda 7
RU - Federazione Russa 6
SE - Svezia 5
RO - Romania 4
SK - Slovacchia (Repubblica Slovacca) 4
TW - Taiwan 4
BR - Brasile 3
CY - Cipro 3
DZ - Algeria 3
GR - Grecia 3
IR - Iran 3
KZ - Kazakistan 3
UA - Ucraina 3
VN - Vietnam 3
BD - Bangladesh 2
BE - Belgio 2
ES - Italia 2
IE - Irlanda 2
IQ - Iraq 2
MA - Marocco 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
PL - Polonia 2
TR - Turchia 2
ZM - Zambia 2
AE - Emirati Arabi Uniti 1
CL - Cile 1
CZ - Repubblica Ceca 1
EG - Egitto 1
KR - Corea 1
LK - Sri Lanka 1
LR - Liberia 1
LV - Lettonia 1
MY - Malesia 1
NP - Nepal 1
OM - Oman 1
PK - Pakistan 1
SA - Arabia Saudita 1
SI - Slovenia 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 1.008
Città #
Cagliari 159
Ashburn 29
Saran 24
Santa Cruz 16
Modena 15
Helsinki 14
Shanghai 14
Rome 13
Singapore 13
Central 11
Fairfield 11
Los Angeles 11
Buffalo 10
Tokyo 10
Adelaide 9
Cambridge 9
Houston 9
Kokuryocho 9
Assemini 8
Wilmington 8
London 7
Nuoro 7
Piacenza 7
Putignano 7
Woodbridge 7
Boardman 6
Chengdu 6
Chennai 6
Chicago 6
Council Bluffs 6
Las Vegas 6
Macao 6
Milan 6
New York 6
Baiyin 5
Beijing 5
Mexico 5
Pinner 5
San Jose 5
Seattle 5
Aix-en-Provence 4
Amsterdam 4
Bratislava 4
Erlangen 4
Hangzhou 4
Kowloon 4
Turin 4
Verona 4
Astana 3
Bangalore 3
Central District 3
Columbus 3
Hong Kong 3
Montreal 3
San Valentino Torio 3
Sassari 3
Algiers 2
Altamura 2
Ann Arbor 2
Assèmini 2
Athens 2
Bengaluru 2
Caserta 2
Chisinau 2
Dhaka 2
Guangzhou 2
Houplines 2
Istanbul 2
Kenitra 2
Kochi 2
Le Raincy 2
Limassol 2
Lombard 2
Lucknow 2
Lusaka 2
Macomer 2
Mountain View 2
Mumbai 2
Naha 2
Oristano 2
Phoenix 2
Quezon City 2
Rzeszów 2
Salerno 2
Selargius 2
Shiraz 2
Siano 2
Torre del Greco 2
Tunis 2
Wuhan 2
Aachen 1
Afragola 1
Angers 1
Antibes 1
Aryanah 1
Auckland 1
Bangkok 1
Barcelona 1
Bari 1
Barnaul 1
Totale 655
Nome #
Verification of State-Based Opacity Using Petri Nets, file e2f56eda-9d07-3eaf-e053-3a05fe0a5d97 222
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 144
Detection and Prevention of Cyber-Attacks in Networked Control Systems, file e2f56eda-7a07-3eaf-e053-3a05fe0a5d97 105
Observation Structures and Opacity Problems in Discrete Event Systems, file e2f56ed7-8d7a-3eaf-e053-3a05fe0a5d97 96
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56eda-c50d-3eaf-e053-3a05fe0a5d97 89
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker, file b6bc1834-9520-4957-8066-7b8eb0b97aa5 50
Decidability of opacity verification problems in labeled Petri net systems, file e2f56eda-a8c8-3eaf-e053-3a05fe0a5d97 48
Marking Estimation in Labelled Petri nets by the Representative Marking Graph, file e2f56ed7-0f9b-3eaf-e053-3a05fe0a5d97 30
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets, file 1d37ceaa-0f53-495e-ba5e-6cbbf273683f 16
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
Basis marking representation of Petri net reachability spaces and its application to the reachability problem, file e2f56ed6-bf40-3eaf-e053-3a05fe0a5d97 4
Verification of State-Based Opacity Using Petri Nets, file e2f56ed7-4786-3eaf-e053-3a05fe0a5d97 2
Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control, file e2f56ed8-3951-3eaf-e053-3a05fe0a5d97 2
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker, file d4e8a8d7-21e4-4f80-9103-701ce400ce96 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
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171], file e2f56ed9-683c-3eaf-e053-3a05fe0a5d97 1
Totale 1.025
Categoria #
all - tutte 2.637
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 2.637


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201916 0 0 0 0 0 0 0 0 0 0 9 7
2019/202067 7 4 1 5 12 14 4 3 7 5 2 3
2020/2021114 3 4 5 10 1 4 8 18 13 8 20 20
2021/2022163 13 5 13 5 9 12 8 20 14 7 20 37
2022/2023275 7 10 27 39 16 18 21 28 24 28 28 29
2023/2024328 10 40 20 21 33 46 40 36 34 38 10 0
Totale 1.025