statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	6.276
EU - Europa	2.925
AS - Asia	2.148
SA - Sud America	146
AF - Africa	42
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	4
Totale	11.546

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.182
IT - Italia	1.315
SG - Singapore	737
UA - Ucraina	491
CN - Cina	476
SE - Svezia	360
TR - Turchia	321
VN - Vietnam	249
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	54
MX - Messico	35
IN - India	34
BD - Bangladesh	33
PL - Polonia	17
BE - Belgio	13
AT - Austria	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
MD - Moldavia	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
HN - Honduras	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.546

Salva come PNG Salva come JPEG

Città	#
Milan	916
Fairfield	776
Woodbridge	494
San Jose	481
Ashburn	478
Singapore	394
Jacksonville	384
Houston	359
Chandler	304
Seattle	301
Cambridge	281
Wilmington	268
Hong Kong	239
Ann Arbor	236
Nyköping	163
Dallas	148
Beijing	145
Dearborn	142
Princeton	140
Izmir	137
Dublin	119
Boardman	88
Dong Ket	87
Lauterbourg	66
The Dalles	66
Chicago	65
Council Bluffs	62
Rome	61
Los Angeles	58
San Mateo	48
San Diego	44
Ho Chi Minh City	42
New York	36
Ottawa	31
Santa Clara	30
London	29
Redmond	27
Mexico City	26
Hanoi	24
Hefei	23
Munich	22
Ogden	22
Como	20
Brooklyn	18
Guangzhou	18
Orem	16
Helsinki	15
Kunming	15
Düsseldorf	14
Espoo	14
Warsaw	14
Brussels	13
Norwalk	13
Shanghai	12
São Paulo	12
Chennai	11
Tokyo	11
Varese	11
Washington	11
Montreal	10
Nanjing	10
Verona	10
Amsterdam	9
Denver	9
Fuzhou	9
San Francisco	9
Abuja	8
Zhengzhou	8
Magnago	7
Philadelphia	7
Phoenix	7
Tianjin	7
Johannesburg	6
Kilburn	6
Mumbai	6
Nanchang	6
Salt Lake City	6
Shenzhen	6
Toronto	6
Belo Horizonte	5
Berlin	5
Boston	5
Buffalo	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
Changsha	4
Clifton	4
Da Nang	4
Edinburgh	4
Frankfurt am Main	4
Hai Bà Trưng	4
Totale	8.349

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	156	0	0	0	0	0	0	0	0	0	0	0	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.595	123	159	147	331	217	186	579	184	308	176	102	83
Totale													11.708