UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.101
NA - Nord America 6.819
EU - Europa 2.462
SA - Sud America 436
Continente sconosciuto - Info sul continente non disponibili 411
AF - Africa 74
OC - Oceania 3
Totale 18.306
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.693
HK - Hong Kong 5.584
IT - Italia 1.181
SG - Singapore 1.144
CN - Cina 579
BR - Brasile 336
VN - Vietnam 329
UA - Ucraina 312
RU - Federazione Russa 187
DE - Germania 172
FR - Francia 124
IE - Irlanda 108
TR - Turchia 91
SE - Svezia 72
FI - Finlandia 70
AT - Austria 63
CA - Canada 63
IN - India 61
KR - Corea 61
BD - Bangladesh 51
AR - Argentina 47
IR - Iran 42
GB - Regno Unito 41
JP - Giappone 32
NL - Olanda 29
RO - Romania 28
MX - Messico 26
PL - Polonia 22
ZA - Sudafrica 20
IQ - Iraq 19
PK - Pakistan 17
ES - Italia 15
CO - Colombia 14
GE - Georgia 12
EC - Ecuador 11
ID - Indonesia 10
KE - Kenya 10
PH - Filippine 10
CL - Cile 8
SA - Arabia Saudita 8
HN - Honduras 7
IL - Israele 6
JM - Giamaica 6
RS - Serbia 6
TN - Tunisia 6
UZ - Uzbekistan 6
VE - Venezuela 6
CH - Svizzera 5
CR - Costa Rica 5
LB - Libano 5
MA - Marocco 5
NP - Nepal 5
PY - Paraguay 5
AL - Albania 4
AZ - Azerbaigian 4
CM - Camerun 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
ET - Etiopia 4
MY - Malesia 4
OM - Oman 4
PT - Portogallo 4
SC - Seychelles 4
TT - Trinidad e Tobago 4
UY - Uruguay 4
AU - Australia 3
EG - Egitto 3
JO - Giordania 3
PR - Porto Rico 3
SN - Senegal 3
AE - Emirati Arabi Uniti 2
BE - Belgio 2
BF - Burkina Faso 2
BO - Bolivia 2
BW - Botswana 2
BY - Bielorussia 2
CI - Costa d'Avorio 2
DK - Danimarca 2
GT - Guatemala 2
HU - Ungheria 2
KW - Kuwait 2
KZ - Kazakistan 2
NG - Nigeria 2
PA - Panama 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
AM - Armenia 1
BG - Bulgaria 1
BH - Bahrain 1
BJ - Benin 1
BZ - Belize 1
CV - Capo Verde 1
CY - Cipro 1
GY - Guiana 1
HT - Haiti 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
MQ - Martinica 1
Totale 17.887
Salva come PNG Salva come JPEG
Città #
Hong Kong 5.574
Ann Arbor 1.114
Dallas 629
San Jose 559
Woodbridge 455
Singapore 453
Jacksonville 377
Milan 367
Chandler 366
Ashburn 359
Houston 357
Wilmington 326
Princeton 316
Council Bluffs 223
Beijing 109
Salerno 109
Dublin 104
The Dalles 97
Dong Ket 96
Lauterbourg 90
Rome 90
Nanjing 85
Ho Chi Minh City 83
Andover 74
Dearborn 71
Moscow 70
Naples 60
New York 59
Hanoi 55
Izmir 54
Nuremberg 53
Santa Clara 46
Fairfield 37
Hebei 36
Pellezzano 36
São Paulo 35
Vienna 33
Boardman 32
Nanchang 29
Tokyo 29
Los Angeles 28
Changsha 25
Jiaxing 24
Memphis 23
Figino 22
Bucharest 20
Shenyang 19
Chennai 17
Frankfurt am Main 17
Seattle 17
Norwalk 16
Phoenix 16
Toronto 16
Fisciano 15
Tianjin 14
Turin 14
Warsaw 14
Denver 13
Sarno 13
Atlanta 12
Brooklyn 12
Columbus 12
Florence 12
Mestre 12
Mexico City 12
Munich 12
Arbus 11
Cagliari 11
Istanbul 11
Ottawa 11
Seregno 11
Shanghai 11
Amsterdam 10
Bologna 10
Helsinki 10
Jinan 10
Nairobi 10
Napoli 10
Rio de Janeiro 10
Brasília 9
Domicella 9
Haiphong 9
Johannesburg 9
Philadelphia 9
San Diego 9
Baghdad 8
Chicago 8
Da Nang 8
Düsseldorf 8
Montreal 8
Orem 8
Pune 8
Redwood City 8
Stockholm 8
Tirschenreuth 8
Buenos Aires 7
Buffalo 7
Cambridge 7
Morra De Sanctis 7
San Nicola la Strada 7
Totale 13.879
Salva come PNG Salva come JPEG
Nome #
On MV-algebras of non-linear functions 794
Geometry of superlukasiewicz logic 748
On the lattice of the subvarieties of monadic MV(C)-algebras 728
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 659
Lukasiewicz equivalent neural networks 555
On generalizing the Nullstellensatz for MV algebras 537
The prime spectrum of $\ell$-groups and MV-algebras 481
Some invariant skeletons for l-u groups and MV-algebras 458
Algebraically closed MV-algebras and their sheaf representation 438
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 404
Topological spaces of monadic MV-algebras 395
Topological classes of MV-algebras 350
A generalization of prime ideals in MV -algebras 350
Algebraic geometry for l-groups 297
Algebraic geometry for MV-algebras 291
The modal $mu$-calculus: a survey, 286
The spectrum of l-groups and MV-algebras and some functors 228
A special type of ideals in MV-algebras of continuous functions 216
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 201
A fixpoint-based axiom system for $ACTL$. 194
Fuzzy Logic as a geometry 191
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 183
A basic theory with predicates 181
A note on bisimulation quantifiers and fixed points over transitive frames 177
A new logical characterization of B"uchi automata 162
An axiomatization of bisimulation quantifiers via the mu-calculus. 158
Hyperfinite MV-algebras 154
A basic theory for the foundations of mathematics and other sciences. 152
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 151
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 151
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 150
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 149
structural completeness and unification problem of the logic of Chang algebra 149
About a positive set theory with equality, 148
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 148
Representation of MV algebras by regular ultrapowers of [0,1] 142
Mu--depth 3 is more than 2: a game-theoretic proof 138
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 138
The transitive $mu$-Calculus is B"uchi definable, 136
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 134
A characterization of pseudofinite MV-algebras 134
A positive set theory with equality revisited 132
On the variable hierarchy of the modal mu-calculus 132
A hierarchy theorem for the mu-calculus 131
On the Modal mu-calculus over finite symmetric graphs 130
The variable hierarchy of the $mu$-calculus is strict. 129
On P-transitive graphs and applications 128
On the structure of the monadic logic of the binary tree (MFCS 1999) 126
On modal $mu$-calculus with explicit interpolants 126
The variable hierarchy of the $mu$-calculus is strict 125
On free MV algebras and a problem of Tarski 124
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 122
A general axiomatic framework for the foundations of mathematics, logic and computer science 121
On modal mu-calculus in S5 and applications. 121
On a priced resource-bounded alternating mu-calculus 116
Formalizations and models of a basic theory for the foundations of mathematics 116
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 116
Sheaf representations and locality of Riesz spaces with order unit. 116
On fixpoint arithmetic and infinite time Turing machines, 115
On the Mu-calculus over transitive and finite transitive frames 115
A Pointfree Approach to Measurability and Statistical Models 113
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 112
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 112
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 111
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 111
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 110
On modal mu-calculus over finite graphs with bounded strongly connected components. 108
Spectral MV-algebras and equispectrality 107
On modal mu-calculus in S5 and applications 107
Models, coproducts and exchangeability: Notes on states on Baire functions 103
Dualities and algebraic geometry of Baire functions in non-classical logic 103
Deciding the existence of uniform interpolants over transitive models 102
Duality theory and skeleta for semisimple MV-algebras 102
Relative subalgebras of MV-algebras 101
V(C)-algebras 99
Teorie base nu-arie 99
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 99
Weydert's sf3 has no recursive term model 99
Entropies and Dynamical Systems in Riesz MV-algebras 97
Topological spaces of monadic MV-algebras 97
On semirings and MV-algebras 96
Recent results on Modal Mu-calculus: a survey 95
Estensioni contraddittorie della teoria ampia 95
Un modello aritmetico parziale della teoria ampia 95
On Vaught's Conjecture and finitely valued MV algebras 94
Geometric issues in the algebraic theory of many valued logics. 94
Una proposta di teorie base deifondamenti della matematica 93
On the logical definability of topologically closed recognizable languages of infinite trees 92
On Modal mu-Calculus over finite graphs with small components or small tree width 91
Expanding lattice ordered abelian groups to Riesz spaces 88
On modal mu-calculus over reflexive and symmetric graphs 83
Verita' e giudizi in una nuovaprospettiva assiomatica 82
On a positive set theory with inequality 81
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 77
Observables on perfect MV-algebras 76
Z0−ideals and Z−ideals in MV −algebras 75
The spectrum problem for Abelian l-groups and MV-algebras 73
On the Riesz structures of a lattice ordered abelian group 71
On counting and deciding MV-algebras 64
Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective 60
Totale 17.944
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.384
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 49.384
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022554 0 0 0 16 11 2 1 22 85 77 101 239
2022/2023938 92 51 13 122 90 231 2 87 134 21 49 46
2023/2024423 61 52 21 15 23 53 21 15 11 30 27 94
2024/20251.324 64 27 26 37 30 141 123 99 248 59 197 273
2025/20269.716 779 3.386 2.367 251 394 225 676 190 240 540 148 520
2026/20271.032 178 139 310 405 0 0 0 0 0 0 0 0
Totale 18.306