statistiche ricercatore

Continente	#
EU - Europa	2.554
NA - Nord America	2.061
AS - Asia	668
SA - Sud America	63
AF - Africa	8
OC - Oceania	2
Continente sconosciuto - Info sul continente non disponibili	1
Totale	5.357

Nazione	#
US - Stati Uniti d'America	2.047
IT - Italia	1.002
GB - Regno Unito	487
DE - Germania	367
FR - Francia	323
SG - Singapore	203
CN - Cina	200
UA - Ucraina	98
TR - Turchia	73
KR - Corea	59
BR - Brasile	54
AT - Austria	45
SE - Svezia	35
IL - Israele	34
FI - Finlandia	32
IE - Irlanda	30
CH - Svizzera	28
RU - Federazione Russa	26
NL - Olanda	25
HK - Hong Kong	22
BE - Belgio	18
MY - Malesia	17
VN - Vietnam	16
JO - Giordania	15
CA - Canada	9
IN - India	9
AE - Emirati Arabi Uniti	8
JP - Giappone	6
RO - Romania	6
PL - Polonia	5
AR - Argentina	4
ES - Italia	4
ID - Indonesia	4
BY - Bielorussia	3
DZ - Algeria	3
EE - Estonia	3
EU - Europa	3
MX - Messico	3
ZA - Sudafrica	3
AU - Australia	2
CI - Costa d'Avorio	2
CL - Cile	2
IR - Iran	2
AF - Afghanistan, Repubblica islamica di	1
AM - Armenia	1
BB - Barbados	1
BG - Bulgaria	1
CZ - Repubblica Ceca	1
HR - Croazia	1
IQ - Iraq	1
JM - Giamaica	1
KH - Cambogia	1
LT - Lituania	1
LV - Lettonia	1
PE - Perù	1
PK - Pakistan	1
PT - Portogallo	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
TH - Thailandia	1
TW - Taiwan	1
UY - Uruguay	1
VE - Venezuela	1
Totale	5.357

Nome	#
Street Viewer: An Autonomous Vision Based Traffic Tracking System	513
Accurate and Efficient Visual Search on Embedded Systems	460
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties	436
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking	390
Scalable FPGA Graph model to detect routing faults	365
Secure Path Verification	362
Formal Verification of Embedded Systems for Remote Attestation	349
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks	348
Secure Embedded Architectures: Taint Properties Verification	345
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking	336
Optimization techniques for craig interpolant compaction in unbounded model checking	316
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties	316
CDVS feature selection on embedded systems	298
Algorithm Optimization and Applications for Embedded Systems	287
Efficient Complex High-Precision Computations on GPUs without Precision Loss	267
Totale	5.388

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	257	0	0	0	49	17	37	15	30	26	42	29	12
2021/2022	266	22	18	3	35	6	23	14	10	28	30	33	44
2022/2023	355	27	56	8	45	37	46	39	12	44	3	10	28
2023/2024	127	8	6	8	2	5	20	6	6	3	6	20	37
2024/2025	539	8	60	25	46	30	50	10	56	80	25	50	99
2025/2026	247	70	70	99	8	0	0	0	0	0	0	0	0
Totale													5.388

PORTO @ Archivio Istituzionale della Ricerca