statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.593
CN - Cina	199
SG - Singapore	180
IT - Italia	146
BR - Brasile	115
HK - Hong Kong	114
SE - Svezia	81
BG - Bulgaria	48
DE - Germania	45
FR - Francia	41
CA - Canada	37
VN - Vietnam	33
RU - Federazione Russa	29
TR - Turchia	25
UA - Ucraina	21
SN - Senegal	20
CI - Costa d'Avorio	19
NG - Nigeria	19
GB - Regno Unito	16
JP - Giappone	13
FI - Finlandia	12
KR - Corea	12
CH - Svizzera	10
IN - India	8
BD - Bangladesh	6
IQ - Iraq	5
ID - Indonesia	4
PK - Pakistan	4
CR - Costa Rica	3
JM - Giamaica	3
KE - Kenya	3
PL - Polonia	3
SA - Arabia Saudita	3
UZ - Uzbekistan	3
AR - Argentina	2
CG - Congo	2
IL - Israele	2
KZ - Kazakistan	2
MX - Messico	2
NL - Olanda	2
ZA - Sudafrica	2
AE - Emirati Arabi Uniti	1
AT - Austria	1
AZ - Azerbaigian	1
BB - Barbados	1
BE - Belgio	1
BH - Bahrain	1
BW - Botswana	1
BY - Bielorussia	1
CZ - Repubblica Ceca	1
DO - Repubblica Dominicana	1
DZ - Algeria	1
EC - Ecuador	1
ET - Etiopia	1
GA - Gabon	1
GE - Georgia	1
IE - Irlanda	1
LB - Libano	1
MA - Marocco	1
NO - Norvegia	1
OM - Oman	1
PA - Panama	1
PS - Palestinian Territory	1
PY - Paraguay	1
SK - Slovacchia (Repubblica Slovacca)	1
SY - Repubblica araba siriana	1
TG - Togo	1
TT - Trinidad e Tobago	1
VE - Venezuela	1
Totale	2.915

Nome	#
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries	217
Handling exp, x (and Timestamps) in Protocol Analysis	210
Secure Service Composition	185
A Note on the Perfect Encryption Assumption in a Process Calculus	183
Semantics-Based Design for Secure Web Services	180
Securing Java with Local Policies	179
Securing Java with Local Policies	161
Planning and verifying service composition	159
Model Checking Usage Policies	151
An imperative language of self-modifying graphs for biological systems	144
A rule-based and imperative language for biochemical modeling and simulation	143
nu-Types for Effects and Freshness Analysis	140
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays	139
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability	138
Efficient stochastic simulation of biochemical reactions with noise and delays	115
Hard Life with Weak Binders	112
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks	82
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks	69
l: An imperative DSL to stochastically simulate biological systems	66
null	55
null	53
null	49
Totale	2.930

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	183	5	12	4	9	33	28	4	10	10	3	13	52
2022/2023	340	30	44	20	28	47	35	0	14	80	12	30	0
2023/2024	194	27	30	24	18	26	37	3	8	2	3	0	16
2024/2025	560	1	23	0	30	70	64	105	42	34	77	57	57
2025/2026	548	59	109	59	15	59	58	77	26	33	35	12	6
2026/2027	4	4	0	0	0	0	0	0	0	0	0	0	0
Totale													2.930

CINECA IRIS Institutional Research Information System