statistiche ricercatore

Continente	#
NA - Nord America	1.343
EU - Europa	1.324
AS - Asia	509
SA - Sud America	132
AF - Africa	23
Continente sconosciuto - Info sul continente non disponibili	2
OC - Oceania	2
Totale	3.335

Nazione	#
US - Stati Uniti d'America	1.297
RU - Federazione Russa	773
SG - Singapore	185
DE - Germania	123
BR - Brasile	112
CN - Cina	92
VN - Vietnam	78
IT - Italia	72
HK - Hong Kong	52
UA - Ucraina	52
SE - Svezia	48
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
BD - Bangladesh	11
ES - Italia	11
JP - Giappone	11
PL - Polonia	10
IQ - Iraq	8
ZA - Sudafrica	8
EC - Ecuador	5
IL - Israele	5
AT - Austria	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
AU - Australia	2
CR - Costa Rica	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
NP - Nepal	1
SI - Slovenia	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
UY - Uruguay	1
UZ - Uzbekistan	1
Totale	3.335

Nome	#
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms	253
Model-based Safety Assessment of a Triple Modular Generator with XSAP	229
A Lazy Approach to Temporal Epistemic Logic Model Checking	226
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers	221
The xSAP Safety Analysis Platform	218
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)	209
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic	203
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration	201
An Integrated Process for FDIR Design in Aerospace	199
SMT-based Validation of Timed Failure Propagation Graphs	199
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic	191
Comparing Different Functional Allocations in Automated Air Traffic Control Design	188
Formal Specification and Synthesis of FDI through an Example	182
FAME: A Model-Based Environment for FDIR Design in Aerospace	170
FAME Process: A Dedicated Development and V&V Process for FDIR	169
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions	164
Diagnosability of fair transition systems	143
Totale	3.365

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	81	0	0	0	0	0	0	0	0	0	43	8	30
2021/2022	161	5	2	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.472	51	66	94	153	109	50	192	583	113	61	0	0
Totale													3.365

IRIS Institutional Research Information System