statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	6.099
EU - Europa	2.902
AS - Asia	2.103
SA - Sud America	146
AF - Africa	42
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	4
Totale	11.301

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.008
IT - Italia	1.295
SG - Singapore	722
UA - Ucraina	491
CN - Cina	468
SE - Svezia	360
TR - Turchia	321
VN - Vietnam	248
HK - Hong Kong	246
DE - Germania	137
FI - Finlandia	131
BR - Brasile	123
IE - Irlanda	121
GB - Regno Unito	114
FR - Francia	98
RU - Federazione Russa	73
CA - Canada	53
IN - India	34
MX - Messico	34
PL - Polonia	17
BE - Belgio	13
AT - Austria	12
BD - Bangladesh	12
JP - Giappone	12
NL - Olanda	12
DZ - Algeria	10
IQ - Iraq	9
NG - Nigeria	8
ZA - Sudafrica	8
ES - Italia	7
VE - Venezuela	7
AR - Argentina	5
EU - Europa	5
RO - Romania	5
EG - Egitto	4
KE - Kenya	4
LT - Lituania	4
MY - Malesia	4
AE - Emirati Arabi Uniti	3
EC - Ecuador	3
JM - Giamaica	3
LU - Lussemburgo	3
MA - Marocco	3
SA - Arabia Saudita	3
AU - Australia	2
BY - Bielorussia	2
CL - Cile	2
CO - Colombia	2
ID - Indonesia	2
KZ - Kazakistan	2
NP - Nepal	2
PH - Filippine	2
PY - Paraguay	2
SN - Senegal	2
TN - Tunisia	2
TW - Taiwan	2
UZ - Uzbekistan	2
AL - Albania	1
AZ - Azerbaigian	1
BG - Bulgaria	1
CH - Svizzera	1
CR - Costa Rica	1
GA - Gabon	1
GE - Georgia	1
HR - Croazia	1
IR - Iran	1
JO - Giordania	1
KH - Cambogia	1
LK - Sri Lanka	1
LV - Lettonia	1
NO - Norvegia	1
NZ - Nuova Zelanda	1
OM - Oman	1
PE - Perù	1
PK - Pakistan	1
PW - Palau	1
RS - Serbia	1
TH - Thailandia	1
UY - Uruguay	1
Totale	11.301

Salva come PNG Salva come JPEG

Città	#
Milan	915
Fairfield	776
Woodbridge	494
Ashburn	474
San Jose	426
Singapore	393
Jacksonville	383
Houston	359
Chandler	304
Seattle	301
Cambridge	281
Wilmington	267
Hong Kong	239
Ann Arbor	236
Nyköping	163
Dallas	145
Beijing	143
Dearborn	142
Princeton	140
Izmir	137
Dublin	119
Boardman	88
Dong Ket	87
Lauterbourg	66
The Dalles	66
Chicago	64
Rome	59
Los Angeles	55
San Mateo	48
San Diego	44
Ho Chi Minh City	42
New York	33
Ottawa	31
London	29
Santa Clara	29
Redmond	27
Mexico City	25
Hanoi	23
Hefei	23
Munich	22
Ogden	22
Como	20
Brooklyn	18
Guangzhou	18
Helsinki	15
Orem	15
Düsseldorf	14
Espoo	14
Kunming	14
Warsaw	14
Brussels	13
Norwalk	12
Shanghai	12
São Paulo	12
Chennai	11
Council Bluffs	11
Tokyo	11
Varese	11
Washington	11
Nanjing	10
Verona	10
Amsterdam	9
Fuzhou	9
Montreal	9
San Francisco	9
Abuja	8
Denver	8
Zhengzhou	8
Magnago	7
Tianjin	7
Johannesburg	6
Kilburn	6
Mumbai	6
Nanchang	6
Philadelphia	6
Phoenix	6
Shenzhen	6
Toronto	6
Belo Horizonte	5
Berlin	5
Boston	5
Columbus	5
Hangzhou	5
Kocaeli	5
Parkville	5
Pittsburgh	5
Poplar	5
Rio de Janeiro	5
Stockholm	5
Vienna	5
Atlanta	4
Betim	4
Buffalo	4
Changsha	4
Clifton	4
Da Nang	4
Edinburgh	4
Frankfurt am Main	4
Hai Bà Trưng	4
Haiphong	4
Totale	8.208

Salva come PNG Salva come JPEG

Nome	#
Complexity and Succinctness Issues for Linear-Time Hybrid Logics	230
Security policies enforcement using finite and pushdown edit automata	214
Probabilistic Bisimulation as a Congruence	212
A modest security analysis of cyber-physical systems: A case study	210
Computing Bisimilarity Metrics for Probabilistic Timed Automata	209
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	207
A function elimination method for checking satisfiability of arithmetical logics	205
A Formal Approach to Cyber-Physical Attacks	205
Automatic Analysis of the NRL Pump	201
Privacy in Real Time Systems	198
Decidability results for parametric probabilistic transition systems with an application to security	195
Taylor Approximation for Hybrid Systems	190
Distributed time-asynchronous automata	190
Runtime Enforcement for Control System Security	188
A Classification of Time and/or Probability Dependent Security Properties	183
Automated Analysis of Timed Security: A Case Study on Web Privacy	182
A specification format for rooted branching bisimulation	180
Automatic Analysis of a Non-Repudiation Protocol	178
Design and Verification of Long-Running Transactions in a Timed Framework	176
On the decidability of linear bounded periodic cyber-physical systems	173
Concurrency in Timed Automata	172
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	169
Security Policies Enforcement Using Finite Edit Automata	164
A semantic theory of the internet of things (Extended abstract)	164
A semantic theory of the Internet of Things	163
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	162
A calculus of cyber-physical systems	161
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security	161
Information Flow in Hybrid Systems	160
Automatic Covert Channel Analysis of a Multilevel Secure Component	160
Towards a formal notion of impact metric for cyber-physical attacks	160
A probabilistic calculus of cyber-physical systems	159
Hybrid and First-Order Complete Extensions of CaRet	159
Complexity and succinctness issues for linear-time hybrid logics	157
Concurrency in timed automata	156
A Rule Format for Rooted Branching Bisimulation	156
Monotonic Hybrid Systems	156
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays	151
Time and Probability-Based Information Flow Analysis	151
Weak simulation quasimetric in a gossip scenario	150
Structural model checking for communicating hierarchical machines	150
Taylor Approximation for Hybrid Systems	149
Reachability results for timed automata with unbounded data structures	146
Information Flow Analysis for Probabilistic Timed Automata	145
Dynamic Hierarchical Machines	140
A Decidable Probability Logic for Timed Probabilistic Systems	138
Timed Automata with Monotonic Activities	138
Removing All Silent Transitions from Timed Automata	136
Parametric probabilistic transition systems for system design and analysis	135
Probabilistic Congruence for Generative Semistochastic Processes	135
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	134
Extending Taylor approximation to hybrid automata with integrals	134
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata	131
epsilon-transitions in Concurrent Timed Automata	126
Weak bisimulation for Probabilistic Timed Automata	126
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.	124
Compositional weak metrics for group key update	123
Timed Automata with Data Structures for Distributed Systems Design and Analysis	119
A formal approach to physics-based attacks in cyber-physical systems	119
Timed Cooperating Automata	118
Hiding Information in Multi Level Systems	117
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	116
Transformations of timed cooperating automata	115
A process calculus approach to detection and mitigation of PLC malware	107
Dynamic Hierarchical Machines	103
Formal Models of Timing Attacks on Web Privacy	93
Equational reasonings in wireless network gossip protocols	90
A process calculus approach to correctness enforcement of PLCs	81
Transformations of Timed Cooparating Automata	69
Formal Impact Metrics for Cyber-physical Attacks	69
Hiding information in multi level security systems	69
Step-by-step Robustness for Biochemical Networks	68
Formal Robustness for Cyber-Physical Systems Under Timed Attacks	57
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	56
Industrial Control Systems Security via Runtime Enforcement	53
A study on shuffle, stopwatches and independently evolving clocks	53
Obfuscation strategies for industrial control systems	51
Back to the format: A survey on SOS for probabilistic processes	51
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations	47
Measuring robustness in cyber-physical systems under sensor attacks	44
Robustness for biochemical networks: Step-by-step approach	43
Towards Reverse Engineering of Industrial Physical Processes	42
null	40
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study	30
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations	16
Totale	11.463

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	44.259
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	44.259

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	339	0	0	0	0	0	0	0	0	0	72	111	156
2021/2022	813	110	90	67	21	48	29	63	41	41	143	65	95
2022/2023	951	104	14	65	94	82	214	1	147	148	20	36	26
2023/2024	1.398	239	229	227	254	267	69	20	26	39	14	1	13
2024/2025	1.057	18	16	185	42	36	53	90	26	102	79	146	264
2025/2026	2.350	123	159	147	331	217	186	579	184	308	116	0	0
Totale													11.463