statistiche ricercatore

Continente	#
NA - Nord America	2.153
EU - Europa	1.977
AS - Asia	1.101
Continente sconosciuto - Info sul continente non disponibili	155
SA - Sud America	112
AF - Africa	14
OC - Oceania	5
Totale	5.517

Nazione	#
US - Stati Uniti d'America	2.117
CN - Cina	519
DK - Danimarca	427
RU - Federazione Russa	380
GB - Regno Unito	371
SG - Singapore	331
IT - Italia	311
SE - Svezia	143
VN - Vietnam	119
DE - Germania	113
UA - Ucraina	78
BR - Brasile	76
FI - Finlandia	43
KR - Corea	36
IE - Irlanda	24
IN - India	23
CA - Canada	20
AL - Albania	19
TR - Turchia	17
HK - Hong Kong	15
FR - Francia	14
AR - Argentina	13
ES - Italia	11
MX - Messico	11
BD - Bangladesh	8
CL - Cile	8
CO - Colombia	8
NL - Olanda	8
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
TH - Thailandia	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
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
GT - Guatemala	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.366

Nome	#
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	372
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	355
Focusing and proof-nets in linear and non commutative logic	339
Non-commutative logic III : focusing proofs	303
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	290
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus	286
Modularity of proof nets: generating the type of a module	279
Non decomposable connectives of linear logic	269
Cut Elimination for Monomial MALL Proof Nets	263
Construction of retractile proof structures	255
Non-commutative proof construction: a constraint-based approach	254
A new correctness criterion for multiplicative non commutative proof-nets	252
Bipolar Proof Nets for MALL	219
Construction of Bipolar Focussing Proof Structures	218
Interactive correctness criterion for multiplicative-additive proof-nets	214
Contractible Proof Structures	210
Focalizzazione delle prove in logica non-commutativa	209
Generalized connectives for multiplicative linear logic	202
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	198
Transactional Nets	190
A Proof of the Focusing Theorem via MALL Proof Nets	112
Probabilistic logic programming with multiplicative modules	95
Logic Programming with Multiplicative Structures	89
Bayesian Proof Nets	44
Totale	5.517

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	272	0	0	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	52	9	19	24	0	0	0	0	0	0	0	0	0
Totale													5.517

Benvenuti nell'Anagrafe della Ricerca d'Ateneo