statistiche ricercatore

Continente	#
NA - Nord America	2.114
EU - Europa	1.975
AS - Asia	1.099
SA - Sud America	109
AF - Africa	14
OC - Oceania	5
Continente sconosciuto - Info sul continente non disponibili	4
Totale	5.320

Nazione	#
US - Stati Uniti d'America	2.081
CN - Cina	519
DK - Danimarca	427
RU - Federazione Russa	380
GB - Regno Unito	370
SG - Singapore	331
IT - Italia	310
SE - Svezia	143
VN - Vietnam	119
DE - Germania	113
UA - Ucraina	78
BR - Brasile	74
FI - Finlandia	43
KR - Corea	36
IE - Irlanda	24
IN - India	23
AL - Albania	19
CA - Canada	18
TR - Turchia	17
FR - Francia	14
HK - Hong Kong	14
AR - Argentina	13
ES - Italia	11
MX - Messico	11
BD - Bangladesh	8
CL - Cile	8
NL - Olanda	8
CO - Colombia	7
PL - Polonia	7
BE - Belgio	6
UZ - Uzbekistan	6
AU - Australia	5
MA - Marocco	5
AT - Austria	4
EC - Ecuador	4
ZA - Sudafrica	4
CH - Svizzera	3
EU - Europa	3
IQ - Iraq	3
LT - Lituania	3
LU - Lussemburgo	3
PH - Filippine	3
AE - Emirati Arabi Uniti	2
HR - Croazia	2
HU - Ungheria	2
ID - Indonesia	2
KE - Kenya	2
PK - Pakistan	2
PY - Paraguay	2
RO - Romania	2
TH - Thailandia	2
A2 - ???statistics.table.value.countryCode.A2???	1
AF - Afghanistan, Repubblica islamica di	1
AO - Angola	1
AZ - Azerbaigian	1
DO - Repubblica Dominicana	1
EG - Egitto	1
IL - Israele	1
IR - Iran	1
JM - Giamaica	1
JP - Giappone	1
LB - Libano	1
LV - Lettonia	1
MN - Mongolia	1
MU - Mauritius	1
MY - Malesia	1
NO - Norvegia	1
OM - Oman	1
PA - Panama	1
PS - Palestinian Territory	1
PT - Portogallo	1
SY - Repubblica araba siriana	1
TJ - Tagikistan	1
TT - Trinidad e Tobago	1
VE - Venezuela	1
Totale	5.320

Nome	#
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	371
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	353
Focusing and proof-nets in linear and non commutative logic	336
Non-commutative logic III : focusing proofs	301
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	286
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus	284
Modularity of proof nets: generating the type of a module	277
Non decomposable connectives of linear logic	269
Cut Elimination for Monomial MALL Proof Nets	261
Non-commutative proof construction: a constraint-based approach	253
A new correctness criterion for multiplicative non commutative proof-nets	252
Construction of retractile proof structures	252
Bipolar Proof Nets for MALL	217
Construction of Bipolar Focussing Proof Structures	215
Interactive correctness criterion for multiplicative-additive proof-nets	210
Focalizzazione delle prove in logica non-commutativa	209
Contractible Proof Structures	207
Generalized connectives for multiplicative linear logic	201
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	197
Transactional Nets	184
A Proof of the Focusing Theorem via MALL Proof Nets	112
Probabilistic logic programming with multiplicative modules	93
Logic Programming with Multiplicative Structures	88
Bayesian Proof Nets	43
Totale	5.471

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	336	24	40	4	11	55	9	42	9	20	5	71	46
2022/2023	407	42	96	20	50	35	68	1	45	38	2	7	3
2023/2024	83	11	13	7	7	11	11	1	2	1	7	0	12
2024/2025	755	8	15	46	11	6	37	293	160	67	23	42	47
2025/2026	1.136	96	128	61	121	186	100	154	44	70	119	33	24
2026/2027	6	6	0	0	0	0	0	0	0	0	0	0	0
Totale													5.471

Benvenuti nell'Anagrafe della Ricerca d'Ateneo