statistiche ricercatore

Continente	#
NA - Nord America	1.508
EU - Europa	1.342
AS - Asia	517
SA - Sud America	134
Continente sconosciuto - Info sul continente non disponibili	32
AF - Africa	23
OC - Oceania	2
Totale	3.558

Nazione	#
US - Stati Uniti d'America	1.460
RU - Federazione Russa	773
SG - Singapore	186
DE - Germania	123
BR - Brasile	114
CN - Cina	94
VN - Vietnam	79
IT - Italia	72
SE - Svezia	61
HK - Hong Kong	54
UA - Ucraina	52
FI - Finlandia	46
FR - Francia	42
NL - Olanda	41
GB - Regno Unito	40
IN - India	36
CA - Canada	25
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
Totale	3.528

Nome	#
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms	264
Model-based Safety Assessment of a Triple Modular Generator with XSAP	244
A Lazy Approach to Temporal Epistemic Logic Model Checking	235
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers	233
The xSAP Safety Analysis Platform	230
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)	220
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration	216
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic	214
SMT-based Validation of Timed Failure Propagation Graphs	211
An Integrated Process for FDIR Design in Aerospace	208
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic	204
Comparing Different Functional Allocations in Automated Air Traffic Control Design	197
Formal Specification and Synthesis of FDI through an Example	194
FAME: A Model-Based Environment for FDIR Design in Aerospace	184
FAME Process: A Dedicated Development and V&V Process for FDIR	178
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions	175
Diagnosability of fair transition systems	151
Totale	3.558

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	154	0	0	3	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	107	54	53	0	0	0	0	0	0	0	0	0	0
Totale													3.558

IRIS Institutional Research Information System