statistiche ricercatore

Continente	#
EU - Europa	3.620
NA - Nord America	2.625
AS - Asia	1.723
SA - Sud America	92
Continente sconosciuto - Info sul continente non disponibili	25
AF - Africa	18
OC - Oceania	4
Totale	8.107

Nazione	#
US - Stati Uniti d'America	2.572
IT - Italia	1.991
GB - Regno Unito	446
SG - Singapore	403
VN - Vietnam	403
FR - Francia	325
CN - Cina	315
DE - Germania	277
JP - Giappone	277
RU - Federazione Russa	188
UA - Ucraina	112
BR - Brasile	73
TR - Turchia	69
KR - Corea	62
NL - Olanda	59
HK - Hong Kong	46
CH - Svizzera	39
IE - Irlanda	36
CA - Canada	32
FI - Finlandia	27
SE - Svezia	27
IL - Israele	26
IN - India	25
AT - Austria	22
BE - Belgio	19
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
CO - Colombia	7
PH - Filippine	7
AR - Argentina	6
MX - Messico	6
PT - Portogallo	6
ZA - Sudafrica	6
ES - Italia	5
AU - Australia	4
GH - Ghana	4
IQ - Iraq	4
PK - Pakistan	4
PL - Polonia	4
EE - Estonia	3
EG - Egitto	3
HN - Honduras	3
ID - Indonesia	3
SV - El Salvador	3
UZ - Uzbekistan	3
AL - Albania	2
CL - Cile	2
DK - Danimarca	2
GR - Grecia	2
HU - Ungheria	2
IR - Iran	2
JM - Giamaica	2
NP - Nepal	2
TT - Trinidad e Tobago	2
AE - Emirati Arabi Uniti	1
BA - Bosnia-Erzegovina	1
BG - Bulgaria	1
BY - Bielorussia	1
CI - Costa d'Avorio	1
CR - Costa Rica	1
DZ - Algeria	1
EC - Ecuador	1
GD - Grenada	1
KE - Kenya	1
KW - Kuwait	1
KZ - Kazakistan	1
MA - Marocco	1
NG - Nigeria	1
NI - Nicaragua	1
NO - Norvegia	1
PA - Panama	1
PE - Perù	1
PR - Porto Rico	1
PS - Palestinian Territory	1
PY - Paraguay	1
RO - Romania	1
SA - Arabia Saudita	1
SY - Repubblica araba siriana	1
VE - Venezuela	1
Totale	8.082

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.781
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	617
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	468
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	451
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	449
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	448
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	419
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	395
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	383
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	379
Stepping Forward with Interpolants in Unbounded Model Checking	363
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	351
BDD-Based Hardware Verification	348
Interpolant-Based Unbounded Model Checking	306
Low Cost Indoor Navigation System For Autonomous Vehicle	300
Programmazione Concorrente con l'Asynchronous I/O	252
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	237
Stepping forward with interpolates in unbounded model checking	160
Totale	8.107

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	246	0	0	0	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.550	30	69	125	75	85	105	326	122	305	150	29	129
2026/2027	293	42	48	68	135	0	0	0	0	0	0	0	0
Totale													8.107

PORTO @ Archivio Istituzionale della Ricerca