statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	2.028
IT - Italia	1.815
GB - Regno Unito	439
FR - Francia	303
JP - Giappone	260
DE - Germania	258
CN - Cina	156
UA - Ucraina	111
TR - Turchia	68
RU - Federazione Russa	66
SG - Singapore	59
NL - Olanda	50
CH - Svizzera	39
IE - Irlanda	35
KR - Corea	32
SE - Svezia	26
FI - Finlandia	20
BE - Belgio	19
MY - Malesia	18
JO - Giordania	14
AT - Austria	13
CA - Canada	12
EU - Europa	11
AP - ???statistics.table.value.countryCode.AP???	10
PT - Portogallo	5
AU - Australia	4
GH - Ghana	4
IN - India	4
BR - Brasile	3
CO - Colombia	3
TH - Thailandia	3
VN - Vietnam	3
BD - Bangladesh	2
DK - Danimarca	2
EE - Estonia	2
EG - Egitto	2
GR - Grecia	2
ID - Indonesia	2
IL - Israele	2
PL - Polonia	2
UZ - Uzbekistan	2
BY - Bielorussia	1
CI - Costa d'Avorio	1
DZ - Algeria	1
ES - Italia	1
HK - Hong Kong	1
HU - Ungheria	1
IR - Iran	1
KW - Kuwait	1
MX - Messico	1
NG - Nigeria	1
RO - Romania	1
Totale	5.920

Nome	#
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata	1.657
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques	506
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules	353
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications	345
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints	320
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking	311
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking	283
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal	256
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits	256
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking	247
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT	243
Stepping Forward with Interpolants in Unbounded Model Checking	231
BDD-Based Hardware Verification	226
Low Cost Indoor Navigation System For Autonomous Vehicle	208
Interpolant-Based Unbounded Model Checking	184
Programmazione Concorrente con l'Asynchronous I/O	144
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo	140
Stepping forward with interpolates in unbounded model checking	35
Totale	5.945

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	328	0	0	0	0	0	83	72	71	44	23	18	17
2020/2021	428	37	46	19	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	232	13	53	17	71	55	23	0	0	0	0	0	0
Totale													5.945

PORTO @ Archivio Istituzionale della Ricerca