statistiche ricercatore

LANOTTE, RUGGERO

Distribuzione geografica

Continente	#
NA - Nord America	4.744
EU - Europa	2.565
AS - Asia	647
AF - Africa	8
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	3
SA - Sud America	2
Totale	7.974

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.707
IT - Italia	1.244
UA - Ucraina	490
SE - Svezia	356
TR - Turchia	314
CN - Cina	176
VN - Vietnam	144
IE - Irlanda	121
DE - Germania	114
FI - Finlandia	110
GB - Regno Unito	74
CA - Canada	37
FR - Francia	23
BE - Belgio	12
DZ - Algeria	8
EU - Europa	5
NL - Olanda	5
SG - Singapore	5
AT - Austria	3
JP - Giappone	3
LU - Lussemburgo	3
RO - Romania	3
AU - Australia	2
IN - India	2
BG - Bulgaria	1
BR - Brasile	1
CH - Svizzera	1
ES - Italia	1
HK - Hong Kong	1
HR - Croazia	1
KH - Cambogia	1
LT - Lituania	1
NO - Norvegia	1
NP - Nepal	1
NZ - Nuova Zelanda	1
PE - Perù	1
RU - Federazione Russa	1
Totale	7.974

Salva come PNG Salva come JPEG

Città	#
Milan	904
Fairfield	776
Woodbridge	494
Jacksonville	382
Houston	356
Ashburn	337
Chandler	308
Seattle	301
Cambridge	281
Wilmington	266
Ann Arbor	236
Nyköping	163
Dearborn	142
Princeton	142
Izmir	136
Dublin	119
Dong Ket	87
Beijing	61
Rome	58
San Mateo	48
San Diego	44
Ottawa	31
Redmond	27
Hefei	22
Ogden	22
Como	20
Düsseldorf	14
Kunming	13
Brussels	12
Los Angeles	12
Norwalk	12
Washington	11
Boardman	10
Guangzhou	10
Verona	10
London	9
Helsinki	8
Nanjing	8
New York	8
Fuzhou	7
Magnago	7
Kilburn	6
Nanchang	6
Berlin	5
Chicago	5
Dallas	5
Kocaeli	5
Munich	5
Parkville	5
Toronto	5
Zhengzhou	5
Changsha	4
Clifton	4
Edinburgh	4
Philadelphia	4
Redwood City	4
Varese	4
Vicenza	4
Amsterdam	3
Auburn Hills	3
Cagliari	3
Hebei	3
Islington	3
Pittsburgh	3
Quzhou	3
Shaoxing	3
Strasbourg	3
Vienna	3
Bologna	2
Busto Arsizio	2
Castellanza	2
Chiswick	2
Frankfurt am Main	2
Lappeenranta	2
Mariano Comense	2
Olgiate Comasco	2
Savona	2
Shenyang	2
Singapore	2
Southwark	2
Stockholm	2
Tokyo	2
Acton	1
Ardee	1
Auckland	1
Bucharest	1
Burbach	1
Calolziocorte	1
Castiglione Olona	1
Central	1
Changchun	1
Chengdu	1
Chioggia	1
Chongqing	1
Cork	1
Delhi	1
Denver	1
Falkenstein	1
Falls Church	1
Fenyang	1
Totale	6.070

Salva come PNG Salva come JPEG

Nome	#
Complexity and Succinctness Issues for Linear-Time Hybrid Logics	189
Security policies enforcement using finite and pushdown edit automata	177
Computing Bisimilarity Metrics for Probabilistic Timed Automata	169
Decidability results for parametric probabilistic transition systems with an application to security	165
A Formal Approach to Cyber-Physical Attacks	161
Taylor Approximation for Hybrid Systems	159
Distributed time-asynchronous automata	159
Probabilistic Bisimulation as a Congruence	157
Privacy in Real Time Systems	157
Runtime Enforcement for Control System Security	157
A modest security analysis of cyber-physical systems: A case study	152
Concurrency in Timed Automata	146
A function elimination method for checking satisfiability of arithmetical logics	142
On the decidability of linear bounded periodic cyber-physical systems	142
Design and Verification of Long-Running Transactions in a Timed Framework	141
Automatic Analysis of the NRL Pump	138
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	138
A Classification of Time and/or Probability Dependent Security Properties	137
Security Policies Enforcement Using Finite Edit Automata	135
Information Flow in Hybrid Systems	134
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	134
Automated Analysis of Timed Security: A Case Study on Web Privacy	132
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security	132
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays	128
Concurrency in timed automata	128
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics	128
Automatic Analysis of a Non-Repudiation Protocol	127
Towards a formal notion of impact metric for cyber-physical attacks	125
Automatic Covert Channel Analysis of a Multilevel Secure Component	124
Monotonic Hybrid Systems	124
null	120
Complexity and succinctness issues for linear-time hybrid logics	117
Information Flow Analysis for Probabilistic Timed Automata	117
Timed Automata with Monotonic Activities	117
Reachability results for timed automata with unbounded data structures	116
A calculus of cyber-physical systems	115
Parametric probabilistic transition systems for system design and analysis	114
Removing All Silent Transitions from Timed Automata	111
Hybrid and First-Order Complete Extensions of CaRet	110
A specification format for rooted branching bisimulation	109
A semantic theory of the Internet of Things	109
A semantic theory of the internet of things (Extended abstract)	108
Time and Probability-Based Information Flow Analysis	107
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata	104
Weak bisimulation for Probabilistic Timed Automata	103
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces	102
Structural model checking for communicating hierarchical machines	100
Taylor Approximation for Hybrid Systems	99
Dynamic Hierarchical Machines	98
A Probabilistic Calculus of Cyber-Physical Systems	98
epsilon-transitions in Concurrent Timed Automata	97
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.	95
A Rule Format for Rooted Branching Bisimulation	93
A Decidable Probability Logic for Timed Probabilistic Systems	92
Probabilistic Congruence for Generative Semistochastic Processes	92
Timed Cooperating Automata	90
Extending taylor approximation to hybrid automata with integrals	89
Transformations of timed cooperating automata	87
Timed Automata with Data Structures for Distributed Systems Design and Analysis	86
Hiding Information in Multi Level Systems	86
Compositional weak metrics for group key update	86
Dynamic Hierarchical Machines	76
A formal approach to physics-based attacks in cyber-physical systems	68
Formal Models of Timing Attacks on Web Privacy	65
Equational reasonings in wireless network gossip protocols	52
A process calculus approach to detection and mitigation of PLC malware	50
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	49
Transformations of Timed Cooparating Automata	44
null	40
Formal Impact Metrics for Cyber-physical Attacks	39
Hiding information in multi level security systems	38
Weak simulation quasimetric in a gossip scenario	31
A process calculus approach to correctness enforcement of PLCs	23
Step-by-step Robustness for Biochemical Networks	14
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	8
Back to the format: A survey on SOS for probabilistic processes	6
Industrial Control Systems Security via Runtime Enforcement	5
Towards Reverse Engineering of Industrial Physical Processes	4
A study on shuffle, stopwatches and independently evolving clocks	3
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study	1
Totale	8.120

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	1.781	0	85	81	331	116	209	282	208	159	136	49	125
2020/2021	1.319	39	175	74	103	98	133	79	104	175	72	111	156
2021/2022	814	110	90	67	21	48	29	63	41	41	143	65	96
2022/2023	957	105	14	65	97	82	216	1	147	148	20	36	26
2023/2024	1.422	244	233	232	258	272	70	20	26	39	14	1	13
2024/2025	33	18	15	0	0	0	0	0	0	0	0	0	0
Totale													8.120