statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.106
IT - Italia	366
CN - Cina	155
SG - Singapore	152
BR - Brasile	80
DE - Germania	80
HK - Hong Kong	74
SE - Svezia	73
TR - Turchia	35
BG - Bulgaria	32
CI - Costa d'Avorio	27
RU - Federazione Russa	22
VN - Vietnam	22
CA - Canada	18
UA - Ucraina	17
GB - Regno Unito	14
FI - Finlandia	12
NG - Nigeria	12
BE - Belgio	9
IN - India	8
CH - Svizzera	5
KR - Corea	5
PK - Pakistan	5
EE - Estonia	4
FR - Francia	4
SN - Senegal	4
AR - Argentina	3
UZ - Uzbekistan	3
ZA - Sudafrica	3
AZ - Azerbaigian	2
BD - Bangladesh	2
CZ - Repubblica Ceca	2
IE - Irlanda	2
IQ - Iraq	2
JP - Giappone	2
KE - Kenya	2
MX - Messico	2
SA - Arabia Saudita	2
BO - Bolivia	1
BY - Bielorussia	1
CR - Costa Rica	1
DK - Danimarca	1
EC - Ecuador	1
ET - Etiopia	1
GT - Guatemala	1
GY - Guiana	1
ID - Indonesia	1
LA - Repubblica Popolare Democratica del Laos	1
LV - Lettonia	1
MA - Marocco	1
NL - Olanda	1
PA - Panama	1
PE - Perù	1
PS - Palestinian Territory	1
PY - Paraguay	1
TH - Thailandia	1
TT - Trinidad e Tobago	1
VE - Venezuela	1
Totale	2.388

Nome	#
Modeling and analysis of human memory load in multitasking scenarios	356
Early prototyping of wireless sensor network algorithms in PVS	236
Analysis of wireless sensor network protocols in dynamic scenarios	221
A Space-Aware Bytecode Verifier for Java Cards	184
Using postdomination to reduce space requirements of data flow analysis	179
Debugging PVS specifications of control logics via event-driven simulation	173
Java Bytecode Verification with Dynamic Structures	166
Simulation and Test-Case Generation for PVS Specifications of Control Logics	162
Decomposing Bytecode Verification by Abstract Interpretation	161
Using Control Dependencies for Space-Aware Bytecode Verification	155
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01	119
A Tool for Signal Probability Analysis of FPGA-Based Systems	101
Usefulness of Delayed Enhancement by Magnetic Resonance Imaging in Hypertrophic Cardiomyopathy as a Marker of Disease and Its Severity	65
The mysterious case of an intracardiac mass	65
null	55
Totale	2.398

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	56	0	0	0	0	0	0	6	10	13	4	10	13
2021/2022	137	1	14	5	10	26	21	1	9	4	1	12	33
2022/2023	253	16	35	22	16	39	30	1	10	63	1	19	1
2023/2024	125	14	15	11	5	17	24	2	3	2	3	15	14
2024/2025	520	4	20	3	32	59	82	57	46	49	55	34	79
2025/2026	273	35	37	22	19	90	38	32	0	0	0	0	0
Totale													2.398

CINECA IRIS Institutional Research Information System