statistiche ricercatore

Continente	#
EU - Europa	2.561
NA - Nord America	2.096
AS - Asia	819
SA - Sud America	75
AF - Africa	9
OC - Oceania	2
Continente sconosciuto - Info sul continente non disponibili	1
Totale	5.563

Nazione	#
US - Stati Uniti d'America	2.082
IT - Italia	1.003
GB - Regno Unito	488
DE - Germania	367
FR - Francia	326
SG - Singapore	285
CN - Cina	230
UA - Ucraina	98
TR - Turchia	74
BR - Brasile	61
KR - Corea	60
AT - Austria	45
HK - Hong Kong	39
SE - Svezia	35
IL - Israele	34
FI - Finlandia	32
IE - Irlanda	30
VN - Vietnam	29
CH - Svizzera	28
NL - Olanda	26
RU - Federazione Russa	26
BE - Belgio	18
MY - Malesia	17
JO - Giordania	15
IN - India	10
CA - Canada	9
AE - Emirati Arabi Uniti	8
AR - Argentina	8
JP - Giappone	7
RO - Romania	6
PL - Polonia	5
BD - Bangladesh	4
ES - Italia	4
ID - Indonesia	4
ZA - Sudafrica	4
BY - Bielorussia	3
DZ - Algeria	3
EE - Estonia	3
EU - Europa	3
MX - Messico	3
AM - Armenia	2
AU - Australia	2
CI - Costa d'Avorio	2
CL - Cile	2
IR - Iran	2
PT - Portogallo	2
UY - Uruguay	2
AF - Afghanistan, Repubblica islamica di	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
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
TH - Thailandia	1
TW - Taiwan	1
VE - Venezuela	1
Totale	5.563

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

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	191	0	0	0	0	0	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	453	70	70	99	76	115	23	0	0	0	0	0	0
Totale													5.594

PORTO @ Archivio Istituzionale della Ricerca