statistiche ricercatore

Continente	#
NA - Nord America	2.064
EU - Europa	1.967
AS - Asia	1.098
SA - Sud America	108
AF - Africa	14
OC - Oceania	5
Continente sconosciuto - Info sul continente non disponibili	4
Totale	5.260

Nazione	#
US - Stati Uniti d'America	2.035
CN - Cina	519
DK - Danimarca	427
RU - Federazione Russa	380
GB - Regno Unito	370
SG - Singapore	330
IT - Italia	303
SE - Svezia	143
VN - Vietnam	119
DE - Germania	113
UA - Ucraina	77
BR - Brasile	73
FI - Finlandia	43
KR - Corea	36
IE - Irlanda	24
IN - India	23
AL - Albania	19
TR - Turchia	17
CA - Canada	16
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
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
VE - Venezuela	1
Totale	5.260

Nome	#
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing	370
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing	351
Focusing and proof-nets in linear and non commutative logic	334
Non-commutative logic III : focusing proofs	299
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	284
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus	281
Modularity of proof nets: generating the type of a module	275
Non decomposable connectives of linear logic	268
Cut Elimination for Monomial MALL Proof Nets	257
Construction of retractile proof structures	250
Non-commutative proof construction: a constraint-based approach	249
A new correctness criterion for multiplicative non commutative proof-nets	249
Bipolar Proof Nets for MALL	216
Construction of Bipolar Focussing Proof Structures	214
Focalizzazione delle prove in logica non-commutativa	206
Interactive correctness criterion for multiplicative-additive proof-nets	205
Contractible Proof Structures	204
Generalized connectives for multiplicative linear logic	197
Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic	193
Transactional Nets	182
A Proof of the Focusing Theorem via MALL Proof Nets	109
Probabilistic logic programming with multiplicative modules	91
Logic Programming with Multiplicative Structures	87
Bayesian Proof Nets	40
Totale	5.411

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	29	0	0	0	0	0	0	0	0	0	0	19	10
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.082	96	128	61	121	186	100	154	44	70	119	3	0
Totale													5.411

Benvenuti nell'Anagrafe della Ricerca d'Ateneo