statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.479
CN - Cina	192
IT - Italia	145
BR - Brasile	109
HK - Hong Kong	108
SG - Singapore	100
SE - Svezia	81
BG - Bulgaria	48
DE - Germania	44
CA - Canada	37
RU - Federazione Russa	29
FR - Francia	23
TR - Turchia	23
UA - Ucraina	21
SN - Senegal	20
CI - Costa d'Avorio	19
NG - Nigeria	19
VN - Vietnam	18
GB - Regno Unito	15
KR - Corea	12
FI - Finlandia	11
CH - Svizzera	10
BD - Bangladesh	5
JP - Giappone	5
IN - India	4
PK - Pakistan	4
IQ - Iraq	3
JM - Giamaica	3
KE - Kenya	3
PL - Polonia	3
UZ - Uzbekistan	3
CR - Costa Rica	2
KZ - Kazakistan	2
MX - Messico	2
NL - Olanda	2
SA - Arabia Saudita	2
ZA - Sudafrica	2
AR - Argentina	1
AT - Austria	1
AZ - Azerbaigian	1
BB - Barbados	1
BE - Belgio	1
BH - Bahrain	1
BW - Botswana	1
CG - Congo	1
CZ - Repubblica Ceca	1
DZ - Algeria	1
ET - Etiopia	1
GA - Gabon	1
GE - Georgia	1
IE - Irlanda	1
IL - Israele	1
LB - Libano	1
NO - Norvegia	1
PA - Panama	1
PS - Palestinian Territory	1
PY - Paraguay	1
SK - Slovacchia (Repubblica Slovacca)	1
TG - Togo	1
TT - Trinidad e Tobago	1
Totale	2.631

Nome	#
Handling exp, x (and Timestamps) in Protocol Analysis	195
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries	194
A Note on the Perfect Encryption Assumption in a Process Calculus	173
Secure Service Composition	170
Semantics-Based Design for Secure Web Services	168
Securing Java with Local Policies	166
Securing Java with Local Policies	145
Planning and verifying service composition	143
Model Checking Usage Policies	135
A rule-based and imperative language for biochemical modeling and simulation	130
An imperative language of self-modifying graphs for biological systems	127
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays	125
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability	124
nu-Types for Effects and Freshness Analysis	122
Efficient stochastic simulation of biochemical reactions with noise and delays	101
Hard Life with Weak Binders	96
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks	66
l: An imperative DSL to stochastically simulate biological systems	56
null	55
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks	53
null	53
null	49
Totale	2.646

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	84	0	0	0	0	10	3	8	12	11	9	7	24
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	268	59	109	59	15	26	0	0	0	0	0	0	0
Totale													2.646

CINECA IRIS Institutional Research Information System