statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	2.421
IT - Italia	1.956
GB - Regno Unito	445
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	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	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
PT - Portogallo	6
ZA - Sudafrica	6
ES - Italia	5
MX - Messico	5
AU - Australia	4
GH - Ghana	4
IQ - Iraq	4
PK - Pakistan	4
PL - Polonia	4
EE - Estonia	3
EG - Egitto	3
ID - Indonesia	3
UZ - Uzbekistan	3
AL - Albania	2
CL - Cile	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
BG - Bulgaria	1
BY - Bielorussia	1
CI - Costa d'Avorio	1
CR - Costa Rica	1
DZ - Algeria	1
EC - Ecuador	1
HN - Honduras	1
JM - Giamaica	1
KE - Kenya	1
KW - Kuwait	1
KZ - Kazakistan	1
MA - Marocco	1
NG - Nigeria	1
NO - Norvegia	1
PA - Panama	1
PE - Perù	1
PS - Palestinian Territory	1
PY - Paraguay	1
RO - Romania	1
SA - Arabia Saudita	1
SV - El Salvador	1
SY - Repubblica araba siriana	1
VE - Venezuela	1
Totale	7.870

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.763
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	604
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	455
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	440
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	436
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	433
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	405
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	384
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	377
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	369
Stepping Forward with Interpolants in Unbounded Model Checking	354
BDD-Based Hardware Verification	340
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	338
Interpolant-Based Unbounded Model Checking	297
Low Cost Indoor Navigation System For Autonomous Vehicle	287
Programmazione Concorrente con l'Asynchronous I/O	242
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	222
Stepping forward with interpolates in unbounded model checking	149
Totale	7.895

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

PORTO @ Archivio Istituzionale della Ricerca