statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.370
SG - Singapore	278
VN - Vietnam	166
CN - Cina	132
DE - Germania	76
BR - Brasile	64
IT - Italia	49
RU - Federazione Russa	46
FI - Finlandia	39
FR - Francia	28
GB - Regno Unito	24
UA - Ucraina	23
IN - India	22
KR - Corea	20
LV - Lettonia	19
SE - Svezia	19
HK - Hong Kong	17
BG - Bulgaria	16
CA - Canada	12
MX - Messico	11
BD - Bangladesh	9
EC - Ecuador	7
NL - Olanda	5
ES - Italia	4
IQ - Iraq	4
JP - Giappone	4
TR - Turchia	4
UZ - Uzbekistan	4
ZA - Sudafrica	4
AR - Argentina	3
CL - Cile	3
ID - Indonesia	3
IE - Irlanda	3
IL - Israele	3
JO - Giordania	3
TW - Taiwan	3
CO - Colombia	2
KE - Kenya	2
KG - Kirghizistan	2
MY - Malesia	2
PK - Pakistan	2
TN - Tunisia	2
AT - Austria	1
AU - Australia	1
AZ - Azerbaigian	1
BE - Belgio	1
BY - Bielorussia	1
CR - Costa Rica	1
CZ - Repubblica Ceca	1
EG - Egitto	1
JM - Giamaica	1
KZ - Kazakistan	1
LT - Lituania	1
MA - Marocco	1
NO - Norvegia	1
NP - Nepal	1
PE - Perù	1
PH - Filippine	1
PL - Polonia	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
SN - Senegal	1
VE - Venezuela	1
Totale	2.530

Nome	#
Strong temporal planning with uncontrollable durations	253
The nuXmv Symbolic Model Checker	186
Supporting Requirements Validation: The EuRailCheck Tool	183
Dynamic controllability via Timed Game Automata	173
Solving strong controllability of temporal problems with uncertainty using SMT	166
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation	153
Solving Temporal Problems Using SMT: Strong Controllability	151
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty	134
Timelines with Temporal Uncertainty	126
OthelloPlay: a plug-in based tool for requirement formalization and validation	124
The xSAP Safety Analysis Platform	120
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty	111
Kratos - A Software Model Checker for SystemC	109
Planning and Scheduling in Temporally Uncertain Domains	106
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies	99
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic	97
Solving Temporal Problems Using SMT: Weak Controllability	96
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach	96
Verifying SystemC: a Software Model Checking Approach	81
Totale	2.564

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	48	0	0	0	0	0	0	0	0	0	19	11	18
2021/2022	170	7	14	2	12	2	11	1	48	8	8	8	49
2022/2023	313	32	56	2	47	24	46	4	25	37	4	19	17
2023/2024	133	7	16	6	5	9	46	2	4	1	14	3	20
2024/2025	479	11	7	28	75	62	48	5	32	76	59	45	31
2025/2026	904	68	18	105	120	116	57	253	16	73	78	0	0
Totale													2.564