statistiche ricercatore

Continente	#
EU - Europa	2.852
NA - Nord America	1.256
AS - Asia	562
SA - Sud America	74
AF - Africa	27
Continente sconosciuto - Info sul continente non disponibili	26
OC - Oceania	1
Totale	4.798

Nazione	#
IT - Italia	2.541
US - Stati Uniti d'America	1.188
CN - Cina	161
SG - Singapore	160
HK - Hong Kong	104
SE - Svezia	91
BR - Brasile	59
CA - Canada	53
DE - Germania	47
VN - Vietnam	38
FR - Francia	36
BG - Bulgaria	30
RU - Federazione Russa	26
GB - Regno Unito	24
FI - Finlandia	17
TR - Turchia	17
JP - Giappone	15
UA - Ucraina	11
IN - India	10
KR - Corea	10
CI - Costa d'Avorio	9
GR - Grecia	7
PK - Pakistan	7
BD - Bangladesh	6
MX - Messico	6
AE - Emirati Arabi Uniti	5
SN - Senegal	5
BE - Belgio	4
EC - Ecuador	4
MA - Marocco	4
SA - Arabia Saudita	4
VE - Venezuela	4
CR - Costa Rica	3
ID - Indonesia	3
NL - Olanda	3
PL - Polonia	3
UZ - Uzbekistan	3
ZA - Sudafrica	3
AR - Argentina	2
CH - Svizzera	2
ES - Italia	2
EU - Europa	2
IL - Israele	2
IQ - Iraq	2
JM - Giamaica	2
JO - Giordania	2
KE - Kenya	2
KZ - Kazakistan	2
PE - Perù	2
PY - Paraguay	2
QA - Qatar	2
RO - Romania	2
TW - Taiwan	2
AM - Armenia	1
AT - Austria	1
BA - Bosnia-Erzegovina	1
BB - Barbados	1
BT - Bhutan	1
BY - Bielorussia	1
CM - Camerun	1
CO - Colombia	1
DK - Danimarca	1
DO - Repubblica Dominicana	1
EG - Egitto	1
GT - Guatemala	1
HU - Ungheria	1
IE - Irlanda	1
IR - Iran	1
LA - Repubblica Popolare Democratica del Laos	1
LB - Libano	1
NZ - Nuova Zelanda	1
PH - Filippine	1
PR - Porto Rico	1
PS - Palestinian Territory	1
TN - Tunisia	1
UG - Uganda	1
XK - ???statistics.table.value.countryCode.XK???	1
Totale	4.775

Nome	#
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods	544
A high-level model checking language with compile-time pruning of local variables	448
Applications of P systems in population biology and ecology: The cases of MPP and APP systems	438
Systolic automata and p systems	435
Identification of components in biochemical pathways: Extensive application to SBML models	414
Compositional semantics and behavioural equivalences for reaction systems with restriction	406
Attributed probabilistic P systems and their application to the modelling of social interactions in primates	397
null	350
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM	349
null	346
ObjMC: The Objective/MC compiler	157
Case studies of application of probabilistic and statistical model checking in game design	146
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level	145
Component identification in biochemical pathways	113
Minimal probabilistic P systems for modelling ecological systems	110
Totale	4.798

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	136	0	0	1	14	31	33	2	6	12	0	3	34
2022/2023	166	21	17	14	7	9	21	0	10	49	3	13	2
2023/2024	122	6	7	18	2	24	21	9	3	1	3	17	11
2024/2025	566	1	20	27	25	45	68	52	28	32	60	54	154
2025/2026	491	42	58	48	30	55	38	91	24	33	51	14	7
2026/2027	76	12	32	32	0	0	0	0	0	0	0	0	0
Totale													4.798

CINECA IRIS Institutional Research Information System