statistiche ricercatore

Continente	#
EU - Europa	2.826
NA - Nord America	1.058
AS - Asia	465
SA - Sud America	68
AF - Africa	26
Continente sconosciuto - Info sul continente non disponibili	3
OC - Oceania	1
Totale	4.447

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

Nome	#
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods	519
A high-level model checking language with compile-time pruning of local variables	417
Systolic automata and p systems	413
Applications of P systems in population biology and ecology: The cases of MPP and APP systems	412
Identification of components in biochemical pathways: Extensive application to SBML models	394
Attributed probabilistic P systems and their application to the modelling of social interactions in primates	380
Compositional semantics and behavioural equivalences for reaction systems with restriction	375
null	350
null	346
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM	336
Case studies of application of probabilistic and statistical model checking in game design	129
ObjMC: The Objective/MC compiler	127
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level	97
Component identification in biochemical pathways	90
Minimal probabilistic P systems for modelling ecological systems	85
Totale	4.470

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	101	0	0	0	0	0	14	2	8	50	8	3	16
2021/2022	149	2	11	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	239	42	58	48	30	55	6	0	0	0	0	0	0
Totale													4.470

CINECA IRIS Institutional Research Information System