statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	2.357
IT - Italia	1.901
GB - Regno Unito	445
VN - Vietnam	403
SG - Singapore	402
FR - Francia	325
CN - Cina	315
DE - Germania	277
JP - Giappone	277
RU - Federazione Russa	188
UA - Ucraina	112
BR - Brasile	71
TR - Turchia	69
KR - Corea	62
NL - Olanda	58
HK - Hong Kong	46
CH - Svizzera	39
IE - Irlanda	36
FI - Finlandia	27
SE - Svezia	27
IL - Israele	26
IN - India	25
AT - Austria	22
BE - Belgio	19
CA - Canada	18
MY - Malesia	18
JO - Giordania	15
BD - Bangladesh	12
TH - Thailandia	12
EU - Europa	11
AP - ???statistics.table.value.countryCode.AP???	10
TW - Taiwan	9
PH - Filippine	7
PT - Portogallo	6
ZA - Sudafrica	6
AR - Argentina	5
CO - Colombia	5
MX - Messico	5
AU - Australia	4
ES - Italia	4
GH - Ghana	4
IQ - Iraq	4
PK - Pakistan	4
EE - Estonia	3
EG - Egitto	3
ID - Indonesia	3
PL - Polonia	3
UZ - Uzbekistan	3
AL - Albania	2
DK - Danimarca	2
GR - Grecia	2
HU - Ungheria	2
IR - Iran	2
NP - Nepal	2
AE - Emirati Arabi Uniti	1
BA - Bosnia-Erzegovina	1
BY - Bielorussia	1
CI - Costa d'Avorio	1
CR - Costa Rica	1
DZ - Algeria	1
EC - Ecuador	1
KE - Kenya	1
KW - Kuwait	1
KZ - Kazakistan	1
MA - Marocco	1
NG - Nigeria	1
NO - Norvegia	1
PS - Palestinian Territory	1
PY - Paraguay	1
RO - Romania	1
SA - Arabia Saudita	1
SY - Repubblica araba siriana	1
VE - Venezuela	1
Totale	7.734

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.756
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	600
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	450
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	437
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	424
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	422
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	399
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	379
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	372
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	356
Stepping Forward with Interpolants in Unbounded Model Checking	342
BDD-Based Hardware Verification	336
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	332
Low Cost Indoor Navigation System For Autonomous Vehicle	283
Interpolant-Based Unbounded Model Checking	273
Programmazione Concorrente con l'Asynchronous I/O	239
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	219
Stepping forward with interpolates in unbounded model checking	140
Totale	7.759

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	25	0	0	0	0	0	0	0	0	0	0	0	25
2021/2022	278	10	19	3	6	32	26	27	16	24	15	41	59
2022/2023	403	31	80	7	29	60	36	18	23	57	6	10	46
2023/2024	252	10	18	4	22	43	39	16	35	9	21	13	22
2024/2025	551	13	53	17	71	55	38	15	54	75	19	61	80
2025/2026	1.495	30	69	125	75	85	105	326	122	305	150	29	74
Totale													7.759

PORTO @ Archivio Istituzionale della Ricerca