statistiche ricercatore

Continente	#
NA - Nord America	273
EU - Europa	154
AS - Asia	113
AF - Africa	3
Continente sconosciuto - Info sul continente non disponibili	2
Totale	545

Nome	#
Infer Gene Regulatory Networks from Time Series Data with Formal Methods	64
Download malware? no, thanks: how formal methods can block update attacks	59
Identification of Android Malware Families with Model Checking	56
De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods	54
Model Checking Techniques Applied to Satellite Operational Mode Management	46
Identifying Mobile Repackaged Applications through Formal Methods	44
Ransomware Steals Your Phone. Formal Methods Rescue It	43
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking	42
LEILA: formaL tool for idEntifying mobIle maLicious behAviour	42
Hey Malware, I Can Find You!	39
Reconnaissance of 2016 central Italy earthquake sequence	35
Talos: no more ransomware victims with formal methods	35
Totale	559

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	53	0	0	0	0	5	13	2	17	1	12	2	1
2020/2021	138	13	14	1	12	1	32	0	12	5	13	33	2
2021/2022	55	3	0	26	8	0	1	1	10	3	0	2	1
2022/2023	107	25	1	7	13	2	17	2	6	15	1	13	5
2023/2024	64	11	10	7	7	3	0	0	1	14	4	2	5
2024/2025	51	16	3	13	2	17	0	0	0	0	0	0	0
Totale													559