statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	2.159
IT - Italia	1.826
GB - Regno Unito	439
FR - Francia	303
SG - Singapore	290
CN - Cina	288
DE - Germania	270
JP - Giappone	263
UA - Ucraina	112
TR - Turchia	68
RU - Federazione Russa	67
BR - Brasile	55
NL - Olanda	52
KR - Corea	46
CH - Svizzera	39
IE - Irlanda	35
IL - Israele	26
SE - Svezia	26
HK - Hong Kong	24
AT - Austria	21
FI - Finlandia	20
VN - Vietnam	20
BE - Belgio	19
MY - Malesia	18
JO - Giordania	15
CA - Canada	13
EU - Europa	11
AP - ???statistics.table.value.countryCode.AP???	10
IN - India	7
PT - Portogallo	6
BD - Bangladesh	5
AU - Australia	4
GH - Ghana	4
CO - Colombia	3
EE - Estonia	3
EG - Egitto	3
ES - Italia	3
ID - Indonesia	3
PL - Polonia	3
TH - Thailandia	3
UZ - Uzbekistan	3
ZA - Sudafrica	3
DK - Danimarca	2
GR - Grecia	2
HU - Ungheria	2
IR - Iran	2
MX - Messico	2
AR - Argentina	1
BY - Bielorussia	1
CI - Costa d'Avorio	1
CR - Costa Rica	1
DZ - Algeria	1
IQ - Iraq	1
KE - Kenya	1
KW - Kuwait	1
MA - Marocco	1
NG - Nigeria	1
NP - Nepal	1
PK - Pakistan	1
PS - Palestinian Territory	1
RO - Romania	1
TW - Taiwan	1
VE - Venezuela	1
Totale	6.614

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.686
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	552
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	397
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	385
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	369
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	359
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	324
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	305
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	295
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	287
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	283
Stepping Forward with Interpolants in Unbounded Model Checking	266
BDD-Based Hardware Verification	257
Low Cost Indoor Navigation System For Autonomous Vehicle	239
Interpolant-Based Unbounded Model Checking	222
Programmazione Concorrente con l'Asynchronous I/O	172
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	157
Stepping forward with interpolates in unbounded model checking	84
Totale	6.639

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	280	0	0	0	0	34	34	47	47	39	30	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	375	30	69	125	75	76	0	0	0	0	0	0	0
Totale													6.639

PORTO @ Archivio Istituzionale della Ricerca