statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.409
SG - Singapore	280
VN - Vietnam	166
CN - Cina	132
DE - Germania	76
BR - Brasile	64
IT - Italia	60
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	14
MX - Messico	12
BD - Bangladesh	9
EC - Ecuador	7
ES - Italia	6
NL - Olanda	5
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.587

Nome	#
Strong temporal planning with uncontrollable durations	258
The nuXmv Symbolic Model Checker	190
Supporting Requirements Validation: The EuRailCheck Tool	188
Dynamic controllability via Timed Game Automata	173
Solving strong controllability of temporal problems with uncertainty using SMT	169
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation	155
Solving Temporal Problems Using SMT: Strong Controllability	153
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty	140
Timelines with Temporal Uncertainty	128
OthelloPlay: a plug-in based tool for requirement formalization and validation	128
The xSAP Safety Analysis Platform	125
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty	112
Kratos - A Software Model Checker for SystemC	112
Planning and Scheduling in Temporally Uncertain Domains	109
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies	103
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic	100
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach	98
Solving Temporal Problems Using SMT: Weak Controllability	97
Verifying SystemC: a Software Model Checking Approach	83
Totale	2.621

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	18	0	0	0	0	0	0	0	0	0	0	0	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	961	68	18	105	120	116	57	253	16	73	88	25	22
Totale													2.621