statistiche ricercatore

Continente	#
NA - Nord America	1.657
EU - Europa	1.348
AS - Asia	517
SA - Sud America	134
Continente sconosciuto - Info sul continente non disponibili	32
AF - Africa	24
OC - Oceania	2
Totale	3.714

Nazione	#
US - Stati Uniti d'America	1.603
RU - Federazione Russa	773
SG - Singapore	186
DE - Germania	124
BR - Brasile	114
CN - Cina	94
VN - Vietnam	79
IT - Italia	73
SE - Svezia	61
HK - Hong Kong	54
UA - Ucraina	52
FI - Finlandia	46
GB - Regno Unito	44
FR - Francia	42
NL - Olanda	41
IN - India	36
CA - Canada	31
IE - Irlanda	25
MX - Messico	19
BE - Belgio	16
ES - Italia	16
BD - Bangladesh	11
JP - Giappone	11
PL - Polonia	10
IQ - Iraq	8
ZA - Sudafrica	8
EC - Ecuador	5
IL - Israele	5
AT - Austria	4
CR - Costa Rica	4
DZ - Algeria	4
ET - Etiopia	4
KE - Kenya	4
KR - Corea	4
LT - Lituania	4
PK - Pakistan	4
PY - Paraguay	4
AR - Argentina	3
CH - Svizzera	3
CO - Colombia	3
ID - Indonesia	3
MY - Malesia	3
NP - Nepal	3
AU - Australia	2
CZ - Repubblica Ceca	2
EE - Estonia	2
EU - Europa	2
KZ - Kazakistan	2
LU - Lussemburgo	2
PH - Filippine	2
RO - Romania	2
SA - Arabia Saudita	2
TH - Thailandia	2
TR - Turchia	2
VE - Venezuela	2
AE - Emirati Arabi Uniti	1
AZ - Azerbaigian	1
BO - Bolivia	1
BY - Bielorussia	1
CG - Congo	1
CL - Cile	1
DK - Danimarca	1
EG - Egitto	1
GR - Grecia	1
HU - Ungheria	1
IR - Iran	1
JO - Giordania	1
LB - Libano	1
SI - Slovenia	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
UY - Uruguay	1
UZ - Uzbekistan	1
ZW - Zimbabwe	1
Totale	3.684

Nome	#
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms	271
Model-based Safety Assessment of a Triple Modular Generator with XSAP	251
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers	244
A Lazy Approach to Temporal Epistemic Logic Model Checking	243
The xSAP Safety Analysis Platform	241
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)	229
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration	224
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic	222
SMT-based Validation of Timed Failure Propagation Graphs	221
An Integrated Process for FDIR Design in Aerospace	219
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic	214
Comparing Different Functional Allocations in Automated Air Traffic Control Design	207
Formal Specification and Synthesis of FDI through an Example	204
FAME: A Model-Based Environment for FDIR Design in Aerospace	190
FAME Process: A Dedicated Development and V&V Process for FDIR	187
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions	184
Diagnosability of fair transition systems	163
Totale	3.714

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	151	0	0	0	23	5	16	6	22	8	5	37	29
2022/2023	326	15	45	6	71	11	45	4	19	72	18	12	8
2023/2024	267	19	9	16	20	15	42	39	20	15	30	4	38
2024/2025	557	6	6	39	32	11	12	38	42	220	43	78	30
2025/2026	1.558	51	66	94	153	109	50	192	583	113	73	61	13
2026/2027	263	54	53	102	54	0	0	0	0	0	0	0	0
Totale													3.714

IRIS Institutional Research Information System