statistiche ricercatore

Continente	#
NA - Nord America	1.145
EU - Europa	696
AS - Asia	370
SA - Sud America	114
AF - Africa	15
Continente sconosciuto - Info sul continente non disponibili	2
OC - Oceania	2
Totale	2.344

Nazione	#
US - Stati Uniti d'America	1.110
RU - Federazione Russa	206
SG - Singapore	139
DE - Germania	115
BR - Brasile	102
CN - Cina	76
IT - Italia	66
UA - Ucraina	51
HK - Hong Kong	48
FI - Finlandia	46
NL - Olanda	41
GB - Regno Unito	36
SE - Svezia	36
VN - Vietnam	35
IN - India	32
IE - Irlanda	24
CA - Canada	22
FR - Francia	19
BE - Belgio	16
MX - Messico	12
ES - Italia	9
JP - Giappone	9
BD - Bangladesh	8
PL - Polonia	8
ZA - Sudafrica	7
AT - Austria	4
IQ - Iraq	4
KE - Kenya	4
KR - Corea	4
PK - Pakistan	4
PY - Paraguay	4
CH - Svizzera	3
EC - Ecuador	3
IL - Israele	3
LT - Lituania	3
AR - Argentina	2
AU - Australia	2
CZ - Repubblica Ceca	2
EE - Estonia	2
ET - Etiopia	2
EU - Europa	2
LU - Lussemburgo	2
RO - Romania	2
TR - Turchia	2
AZ - Azerbaigian	1
BO - Bolivia	1
BY - Bielorussia	1
CO - Colombia	1
CR - Costa Rica	1
DK - Danimarca	1
DZ - Algeria	1
GR - Grecia	1
HU - Ungheria	1
JO - Giordania	1
KZ - Kazakistan	1
LB - Libano	1
NP - Nepal	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
UZ - Uzbekistan	1
VE - Venezuela	1
Totale	2.344

Nome	#
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms	192
A Lazy Approach to Temporal Epistemic Logic Model Checking	164
Model-based Safety Assessment of a Triple Modular Generator with XSAP	164
The xSAP Safety Analysis Platform	158
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers	156
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)	149
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration	147
SMT-based Validation of Timed Failure Propagation Graphs	142
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic	141
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic	134
Comparing Different Functional Allocations in Automated Air Traffic Control Design	134
An Integrated Process for FDIR Design in Aerospace	132
Formal Specification and Synthesis of FDI through an Example	128
FAME: A Model-Based Environment for FDIR Design in Aerospace	120
FAME Process: A Dedicated Development and V&V Process for FDIR	119
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions	105
Diagnosability of fair transition systems	89
Totale	2.374

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	160	0	0	0	0	0	13	26	21	19	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	481	51	66	94	153	109	8	0	0	0	0	0	0
Totale													2.374

IRIS Institutional Research Information System