statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	2.147
IT - Italia	1.826
GB - Regno Unito	439
FR - Francia	303
DE - Germania	269
CN - Cina	261
JP - Giappone	261
SG - Singapore	224
UA - Ucraina	112
TR - Turchia	68
RU - Federazione Russa	66
NL - Olanda	52
BR - Brasile	50
KR - Corea	46
CH - Svizzera	39
IE - Irlanda	35
IL - Israele	26
SE - Svezia	26
AT - Austria	21
FI - Finlandia	20
BE - Belgio	19
MY - Malesia	18
JO - Giordania	15
CA - Canada	13
EU - Europa	11
AP - ???statistics.table.value.countryCode.AP???	10
HK - Hong Kong	10
VN - Vietnam	8
IN - India	6
PT - Portogallo	6
BD - Bangladesh	5
AU - Australia	4
GH - Ghana	4
CO - Colombia	3
EE - Estonia	3
EG - Egitto	3
ES - Italia	3
PL - Polonia	3
TH - Thailandia	3
UZ - Uzbekistan	3
ZA - Sudafrica	3
DK - Danimarca	2
GR - Grecia	2
HU - Ungheria	2
ID - Indonesia	2
IR - Iran	2
AR - Argentina	1
BY - Bielorussia	1
CI - Costa d'Avorio	1
CR - Costa Rica	1
DZ - Algeria	1
KW - Kuwait	1
MA - Marocco	1
MX - Messico	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.469

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.678
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	544
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	388
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	380
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	361
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	352
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	313
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	292
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	289
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	280
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	273
Stepping Forward with Interpolants in Unbounded Model Checking	259
BDD-Based Hardware Verification	250
Low Cost Indoor Navigation System For Autonomous Vehicle	234
Interpolant-Based Unbounded Model Checking	216
Programmazione Concorrente con l'Asynchronous I/O	164
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	148
Stepping forward with interpolates in unbounded model checking	73
Totale	6.494

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	326	0	0	0	46	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	230	30	69	125	6	0	0	0	0	0	0	0	0
Totale													6.494

PORTO @ Archivio Istituzionale della Ricerca