statistiche ricercatore

Continente	#
NA - Nord America	2.355
EU - Europa	1.997
AS - Asia	1.103
Continente sconosciuto - Info sul continente non disponibili	156
SA - Sud America	113
AF - Africa	14
OC - Oceania	5
Totale	5.743

Nazione	#
US - Stati Uniti d'America	2.303
CN - Cina	520
DK - Danimarca	427
RU - Federazione Russa	381
GB - Regno Unito	371
SG - Singapore	331
IT - Italia	323
SE - Svezia	143
VN - Vietnam	119
DE - Germania	113
UA - Ucraina	79
BR - Brasile	77
FI - Finlandia	45
KR - Corea	36
CA - Canada	31
IE - Irlanda	24
IN - India	23
AL - Albania	19
FR - Francia	17
TR - Turchia	17
HK - Hong Kong	15
AR - Argentina	13
ES - Italia	11
MX - Messico	11
NL - Olanda	9
BD - Bangladesh	8
CL - Cile	8
CO - Colombia	8
PL - Polonia	7
BE - Belgio	6
UZ - Uzbekistan	6
AU - Australia	5
MA - Marocco	5
AT - Austria	4
EC - Ecuador	4
GT - Guatemala	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
IL - Israele	2
JM - Giamaica	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
CR - Costa Rica	1
CW - ???statistics.table.value.countryCode.CW???	1
DO - Repubblica Dominicana	1
EG - Egitto	1
IR - Iran	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.592

Nome	#
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	381
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	364
Focusing and proof-nets in linear and non commutative logic	346
Non-commutative logic III : focusing proofs	314
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	299
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus	291
Modularity of proof nets: generating the type of a module	290
Non-commutative proof construction: a constraint-based approach	273
Non decomposable connectives of linear logic	273
Cut Elimination for Monomial MALL Proof Nets	272
Construction of retractile proof structures	260
A new correctness criterion for multiplicative non commutative proof-nets	259
Focalizzazione delle prove in logica non-commutativa	233
Construction of Bipolar Focussing Proof Structures	230
Interactive correctness criterion for multiplicative-additive proof-nets	226
Bipolar Proof Nets for MALL	226
Contractible Proof Structures	222
Generalized connectives for multiplicative linear logic	210
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	207
Transactional Nets	194
A Proof of the Focusing Theorem via MALL Proof Nets	120
Probabilistic logic programming with multiplicative modules	100
Logic Programming with Multiplicative Structures	97
Bayesian Proof Nets	56
Totale	5.743

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	268	0	0	0	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	278	9	19	95	155	0	0	0	0	0	0	0	0
Totale													5.743

Benvenuti nell'Anagrafe della Ricerca d'Ateneo