UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.081
NA - Nord America 6.169
EU - Europa 2.433
SA - Sud America 425
Continente sconosciuto - Info sul continente non disponibili 411
AF - Africa 70
OC - Oceania 3
Totale 17.592
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.078
HK - Hong Kong 5.583
IT - Italia 1.162
SG - Singapore 1.142
CN - Cina 575
VN - Vietnam 329
BR - Brasile 325
UA - Ucraina 312
RU - Federazione Russa 186
DE - Germania 171
FR - Francia 124
IE - Irlanda 107
TR - Turchia 91
SE - Svezia 72
FI - Finlandia 70
AT - Austria 63
KR - Corea 61
IN - India 59
BD - Bangladesh 51
AR - Argentina 47
CA - Canada 41
IR - Iran 38
GB - Regno Unito 37
JP - Giappone 28
NL - Olanda 28
RO - Romania 28
MX - Messico 26
PL - Polonia 22
ZA - Sudafrica 20
IQ - Iraq 19
PK - Pakistan 17
CO - Colombia 14
ES - Italia 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 6
RS - Serbia 6
TN - Tunisia 6
UZ - Uzbekistan 6
VE - Venezuela 6
CH - Svizzera 5
JM - Giamaica 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
UY - Uruguay 4
AU - Australia 3
EG - Egitto 3
IL - Israele 3
JO - Giordania 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
CR - Costa Rica 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
CV - Capo Verde 1
CY - Cipro 1
DK - Danimarca 1
GT - Guatemala 1
GY - Guiana 1
HT - Haiti 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
MQ - Martinica 1
MU - Mauritius 1
NO - Norvegia 1
PR - Porto Rico 1
PS - Palestinian Territory 1
Totale 17.176
Salva come PNG Salva come JPEG
Città #
Hong Kong 5.573
Ann Arbor 1.114
Dallas 626
San Jose 458
Woodbridge 455
Singapore 452
Jacksonville 375
Chandler 366
Milan 366
Houston 356
Wilmington 325
Princeton 316
Council Bluffs 215
Ashburn 185
Beijing 109
Salerno 109
Dublin 104
The Dalles 97
Dong Ket 96
Lauterbourg 90
Rome 87
Nanjing 85
Ho Chi Minh City 83
Andover 74
Moscow 70
Dearborn 68
Naples 56
Hanoi 55
Izmir 54
Nuremberg 53
Santa Clara 42
Fairfield 36
Hebei 36
Pellezzano 36
Vienna 33
Boardman 32
New York 32
Nanchang 29
Los Angeles 26
Changsha 25
Tokyo 25
Jiaxing 24
São Paulo 24
Figino 22
Memphis 22
Bucharest 20
Shenyang 19
Frankfurt am Main 17
Norwalk 16
Chennai 15
Fisciano 15
Seattle 15
Tianjin 14
Turin 14
Warsaw 14
Sarno 13
Columbus 12
Mestre 12
Mexico City 12
Munich 12
Arbus 11
Florence 11
Istanbul 11
Ottawa 11
Seregno 11
Shanghai 11
Atlanta 10
Brooklyn 10
Cagliari 10
Denver 10
Helsinki 10
Jinan 10
Nairobi 10
Napoli 10
Rio de Janeiro 10
Amsterdam 9
Bologna 9
Brasília 9
Domicella 9
Haiphong 9
Johannesburg 9
Phoenix 9
Baghdad 8
Da Nang 8
Düsseldorf 8
Montreal 8
Orem 8
Pune 8
Redwood City 8
San Diego 8
Stockholm 8
Tirschenreuth 8
Toronto 8
Buenos Aires 7
Morra De Sanctis 7
San Nicola la Strada 7
Shiraz 7
Belgrade 6
Belo Horizonte 6
Cambridge 6
Totale 13.489
Salva come PNG Salva come JPEG
Nome #
On MV-algebras of non-linear functions 783
Geometry of superlukasiewicz logic 744
On the lattice of the subvarieties of monadic MV(C)-algebras 723
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 647
Lukasiewicz equivalent neural networks 542
On generalizing the Nullstellensatz for MV algebras 523
The prime spectrum of $\ell$-groups and MV-algebras 476
Some invariant skeletons for l-u groups and MV-algebras 450
Algebraically closed MV-algebras and their sheaf representation 424
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 400
Topological spaces of monadic MV-algebras 389
Topological classes of MV-algebras 345
A generalization of prime ideals in MV -algebras 345
Algebraic geometry for MV-algebras 285
Algebraic geometry for l-groups 284
The modal $mu$-calculus: a survey, 281
The spectrum of l-groups and MV-algebras and some functors 226
A special type of ideals in MV-algebras of continuous functions 210
Fuzzy Logic as a geometry 187
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 178
A basic theory with predicates 176
A note on bisimulation quantifiers and fixed points over transitive frames 171
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 167
A fixpoint-based axiom system for $ACTL$. 161
An axiomatization of bisimulation quantifiers via the mu-calculus. 152
A new logical characterization of B"uchi automata 150
A basic theory for the foundations of mathematics and other sciences. 149
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 146
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 146
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 144
Hyperfinite MV-algebras 144
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 143
About a positive set theory with equality, 143
structural completeness and unification problem of the logic of Chang algebra 142
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 136
The transitive $mu$-Calculus is B"uchi definable, 134
Mu--depth 3 is more than 2: a game-theoretic proof 133
Representation of MV algebras by regular ultrapowers of [0,1] 131
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 130
A characterization of pseudofinite MV-algebras 128
On the Modal mu-calculus over finite symmetric graphs 127
A positive set theory with equality revisited 127
A hierarchy theorem for the mu-calculus 127
On the variable hierarchy of the modal mu-calculus 127
On P-transitive graphs and applications 123
On the structure of the monadic logic of the binary tree (MFCS 1999) 122
The variable hierarchy of the $mu$-calculus is strict 122
The variable hierarchy of the $mu$-calculus is strict. 122
A general axiomatic framework for the foundations of mathematics, logic and computer science 120
On free MV algebras and a problem of Tarski 119
On modal mu-calculus in S5 and applications. 116
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 115
Sheaf representations and locality of Riesz spaces with order unit. 114
On a priced resource-bounded alternating mu-calculus 113
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 113
On fixpoint arithmetic and infinite time Turing machines, 111
On the Mu-calculus over transitive and finite transitive frames 111
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 109
A Pointfree Approach to Measurability and Statistical Models 108
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 108
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 107
On modal $mu$-calculus with explicit interpolants 105
Spectral MV-algebras and equispectrality 104
On modal mu-calculus over finite graphs with bounded strongly connected components. 103
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 103
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 101
On modal mu-calculus in S5 and applications 101
Models, coproducts and exchangeability: Notes on states on Baire functions 99
Deciding the existence of uniform interpolants over transitive models 98
Duality theory and skeleta for semisimple MV-algebras 98
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 97
Dualities and algebraic geometry of Baire functions in non-classical logic 97
Weydert's sf3 has no recursive term model 96
Relative subalgebras of MV-algebras 96
Entropies and Dynamical Systems in Riesz MV-algebras 94
V(C)-algebras 94
Formalizations and models of a basic theory for the foundations of mathematics 93
Un modello aritmetico parziale della teoria ampia 93
Topological spaces of monadic MV-algebras 93
Recent results on Modal Mu-calculus: a survey 92
On Vaught's Conjecture and finitely valued MV algebras 91
Estensioni contraddittorie della teoria ampia 91
Geometric issues in the algebraic theory of many valued logics. 91
On semirings and MV-algebras 91
Teorie base nu-arie 89
On the logical definability of topologically closed recognizable languages of infinite trees 88
Una proposta di teorie base deifondamenti della matematica 88
On Modal mu-Calculus over finite graphs with small components or small tree width 87
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 83
Verita' e giudizi in una nuovaprospettiva assiomatica 80
On modal mu-calculus over reflexive and symmetric graphs 79
Expanding lattice ordered abelian groups to Riesz spaces 77
On a positive set theory with inequality 76
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 76
Observables on perfect MV-algebras 71
Z0−ideals and Z−ideals in MV −algebras 69
The spectrum problem for Abelian l-groups and MV-algebras 69
On the Riesz structures of a lattice ordered abelian group 65
On counting and deciding MV-algebras 61
Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective 57
Totale 17.265
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.931
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 46.931
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022563 0 0 9 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/2027318 178 139 1 0 0 0 0 0 0 0 0 0
Totale 17.592