statistiche ricercatore

Continente	#
EU - Europa	1.713
NA - Nord America	1.420
AS - Asia	553
SA - Sud America	66
AF - Africa	19
Continente sconosciuto - Info sul continente non disponibili	9
OC - Oceania	8
Totale	3.788

Nazione	#
US - Stati Uniti d'America	1.406
PL - Polonia	1.095
RU - Federazione Russa	235
CN - Cina	160
IT - Italia	156
SG - Singapore	148
SE - Svezia	81
HK - Hong Kong	60
IE - Irlanda	54
VN - Vietnam	50
BR - Brasile	48
JO - Giordania	28
KR - Corea	26
GB - Regno Unito	20
IN - India	20
DE - Germania	17
FR - Francia	15
ID - Indonesia	15
FI - Finlandia	14
TR - Turchia	10
AU - Australia	8
BE - Belgio	8
CA - Canada	8
CI - Costa d'Avorio	8
AR - Argentina	7
IQ - Iraq	6
JP - Giappone	6
RO - Romania	4
UZ - Uzbekistan	4
AE - Emirati Arabi Uniti	3
CL - Cile	3
EC - Ecuador	3
ES - Italia	3
NP - Nepal	3
ZA - Sudafrica	3
BD - Bangladesh	2
CO - Colombia	2
EU - Europa	2
NL - Olanda	2
TH - Thailandia	2
TN - Tunisia	2
UA - Ucraina	2
AL - Albania	1
AO - Angola	1
AT - Austria	1
AZ - Azerbaigian	1
BG - Bulgaria	1
BO - Bolivia	1
BY - Bielorussia	1
BZ - Belize	1
CG - Congo	1
CH - Svizzera	1
DO - Repubblica Dominicana	1
DZ - Algeria	1
EE - Estonia	1
GE - Georgia	1
HN - Honduras	1
JM - Giamaica	1
KE - Kenya	1
KG - Kirghizistan	1
KZ - Kazakistan	1
LV - Lettonia	1
MA - Marocco	1
MM - Myanmar	1
MX - Messico	1
NG - Nigeria	1
OM - Oman	1
PE - Perù	1
PK - Pakistan	1
SA - Arabia Saudita	1
SY - Repubblica araba siriana	1
TJ - Tagikistan	1
VE - Venezuela	1
VG - Isole Vergini Britanniche	1
Totale	3.781

Nome	#
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems	402
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle	376
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems	375
Transient analysis of non-Markovian models using stochastic state classes	372
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm	347
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models	329
Transient analysis of generalised semi-Markov processes using transient stochastic state classes	327
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models	314
Job scheduler for electromechanical system for biological analyses	251
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers	199
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems	182
Automatic Code Generation from Real-Time Systems Specifications	180
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions	134
Totale	3.788

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	105	0	0	15	2	3	3	8	8	5	18	16	27
2022/2023	333	27	73	25	16	36	44	35	16	51	0	6	4
2023/2024	55	4	8	14	4	3	2	1	7	0	1	9	2
2024/2025	733	24	67	48	100	249	156	5	15	13	15	12	29
2025/2026	754	61	74	41	29	102	29	89	42	74	105	20	88
2026/2027	58	32	24	2	0	0	0	0	0	0	0	0	0
Totale													3.788