statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	2.322
IT - Italia	1.858
GB - Regno Unito	445
VN - Vietnam	403
SG - Singapore	401
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	45
CH - Svizzera	39
IE - Irlanda	36
FI - Finlandia	27
SE - Svezia	27
IL - Israele	26
IN - India	25
AT - Austria	22
BE - Belgio	19
MY - Malesia	18
CA - Canada	17
JO - Giordania	15
TH - Thailandia	12
EU - Europa	11
AP - ???statistics.table.value.countryCode.AP???	10
BD - Bangladesh	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.651

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.745
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	595
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	448
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	435
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	420
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	416
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	389
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	376
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	363
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	352
Stepping Forward with Interpolants in Unbounded Model Checking	338
BDD-Based Hardware Verification	329
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	328
Low Cost Indoor Navigation System For Autonomous Vehicle	280
Interpolant-Based Unbounded Model Checking	268
Programmazione Concorrente con l'Asynchronous I/O	238
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	218
Stepping forward with interpolates in unbounded model checking	138
Totale	7.676

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	49	0	0	0	0	0	0	0	0	0	0	24	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.412	30	69	125	75	85	105	326	122	305	150	20	0
Totale													7.676

PORTO @ Archivio Istituzionale della Ricerca