UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.013
NA - Nord America 5.971
EU - Europa 2.395
SA - Sud America 425
AF - Africa 70
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 16.878
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.900
HK - Hong Kong 5.569
IT - Italia 1.125
SG - Singapore 1.123
CN - Cina 556
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
AR - Argentina 47
IR - Iran 38
CA - Canada 37
GB - Regno Unito 37
BD - Bangladesh 35
JP - Giappone 28
NL - Olanda 28
RO - Romania 28
PL - Polonia 21
ZA - Sudafrica 20
IQ - Iraq 19
MX - Messico 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
RS - Serbia 6
TN - Tunisia 6
UZ - Uzbekistan 6
VE - Venezuela 6
CH - Svizzera 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
HN - Honduras 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
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
CR - Costa Rica 1
CV - Capo Verde 1
CY - Cipro 1
DK - Danimarca 1
GT - Guatemala 1
GY - Guiana 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
QA - Qatar 1
SI - Slovenia 1
Totale 16.874
Salva come PNG Salva come JPEG
Città #
Hong Kong 5.559
Ann Arbor 1.114
Dallas 626
San Jose 458
Woodbridge 455
Singapore 436
Jacksonville 375
Chandler 366
Houston 356
Milan 356
Wilmington 324
Princeton 316
Ashburn 169
Council Bluffs 120
Salerno 109
Dublin 104
The Dalles 97
Dong Ket 96
Beijing 92
Lauterbourg 90
Nanjing 85
Ho Chi Minh City 83
Rome 81
Andover 74
Moscow 70
Dearborn 68
Hanoi 55
Naples 55
Izmir 54
Nuremberg 53
Fairfield 36
Hebei 36
Pellezzano 36
Vienna 33
Boardman 32
New York 32
Nanchang 29
Changsha 25
Tokyo 25
Jiaxing 24
Los Angeles 24
São Paulo 24
Memphis 22
Santa Clara 22
Bucharest 20
Shenyang 19
Figino 18
Frankfurt am Main 17
Norwalk 16
Chennai 15
Fisciano 15
Seattle 15
Tianjin 14
Turin 14
Sarno 13
Warsaw 13
Columbus 12
Mestre 12
Munich 12
Arbus 11
Istanbul 11
Ottawa 11
Seregno 11
Atlanta 10
Cagliari 10
Denver 10
Florence 10
Helsinki 10
Jinan 10
Nairobi 10
Napoli 10
Rio de Janeiro 10
Shanghai 10
Amsterdam 9
Brasília 9
Brooklyn 9
Domicella 9
Haiphong 9
Johannesburg 9
Baghdad 8
Bologna 8
Da Nang 8
Düsseldorf 8
Orem 8
Pune 8
Redwood City 8
San Diego 8
Stockholm 8
Tirschenreuth 8
Buenos Aires 7
Montreal 7
Morra De Sanctis 7
Phoenix 7
San Nicola la Strada 7
Shiraz 7
Belgrade 6
Belo Horizonte 6
Cambridge 6
Fortaleza 6
Guangzhou 6
Totale 13.271
Salva come PNG Salva come JPEG
Nome #
On MV-algebras of non-linear functions 780
Geometry of superlukasiewicz logic 743
On the lattice of the subvarieties of monadic MV(C)-algebras 720
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 646
Lukasiewicz equivalent neural networks 540
On generalizing the Nullstellensatz for MV algebras 520
The prime spectrum of $\ell$-groups and MV-algebras 474
Some invariant skeletons for l-u groups and MV-algebras 447
Algebraically closed MV-algebras and their sheaf representation 418
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 396
Topological spaces of monadic MV-algebras 388
Topological classes of MV-algebras 344
A generalization of prime ideals in MV -algebras 343
Algebraic geometry for l-groups 281
The modal $mu$-calculus: a survey, 280
Algebraic geometry for MV-algebras 278
The spectrum of l-groups and MV-algebras and some functors 223
A special type of ideals in MV-algebras of continuous functions 209
Fuzzy Logic as a geometry 181
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 176
A basic theory with predicates 174
A note on bisimulation quantifiers and fixed points over transitive frames 168
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 165
A fixpoint-based axiom system for $ACTL$. 158
An axiomatization of bisimulation quantifiers via the mu-calculus. 148
A basic theory for the foundations of mathematics and other sciences. 148
A new logical characterization of B"uchi automata 147
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 144
Hyperfinite MV-algebras 143
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 142
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 142
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 142
About a positive set theory with equality, 141
structural completeness and unification problem of the logic of Chang algebra 137
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 135
The transitive $mu$-Calculus is B"uchi definable, 132
Mu--depth 3 is more than 2: a game-theoretic proof 130
Representation of MV algebras by regular ultrapowers of [0,1] 129
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 127
A positive set theory with equality revisited 126
A characterization of pseudofinite MV-algebras 125
On the variable hierarchy of the modal mu-calculus 125
On the Modal mu-calculus over finite symmetric graphs 123
On P-transitive graphs and applications 121
A hierarchy theorem for the mu-calculus 121
The variable hierarchy of the $mu$-calculus is strict. 121
On the structure of the monadic logic of the binary tree (MFCS 1999) 120
The variable hierarchy of the $mu$-calculus is strict 120
A general axiomatic framework for the foundations of mathematics, logic and computer science 118
On free MV algebras and a problem of Tarski 118
On modal mu-calculus in S5 and applications. 114
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 113
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 113
Sheaf representations and locality of Riesz spaces with order unit. 112
On a priced resource-bounded alternating mu-calculus 111
On fixpoint arithmetic and infinite time Turing machines, 110
On the Mu-calculus over transitive and finite transitive frames 110
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 107
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 106
A Pointfree Approach to Measurability and Statistical Models 104
On modal $mu$-calculus with explicit interpolants 104
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 103
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 102
Spectral MV-algebras and equispectrality 101
On modal mu-calculus over finite graphs with bounded strongly connected components. 100
Models, coproducts and exchangeability: Notes on states on Baire functions 99
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 99
On modal mu-calculus in S5 and applications 99
Duality theory and skeleta for semisimple MV-algebras 97
Deciding the existence of uniform interpolants over transitive models 94
Relative subalgebras of MV-algebras 94
Dualities and algebraic geometry of Baire functions in non-classical logic 94
Entropies and Dynamical Systems in Riesz MV-algebras 93
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 93
Weydert's sf3 has no recursive term model 93
Topological spaces of monadic MV-algebras 93
Formalizations and models of a basic theory for the foundations of mathematics 92
Recent results on Modal Mu-calculus: a survey 90
Estensioni contraddittorie della teoria ampia 90
Un modello aritmetico parziale della teoria ampia 89
Geometric issues in the algebraic theory of many valued logics. 88
On semirings and MV-algebras 88
Una proposta di teorie base deifondamenti della matematica 87
Teorie base nu-arie 86
On the logical definability of topologically closed recognizable languages of infinite trees 86
On Vaught's Conjecture and finitely valued MV algebras 85
On Modal mu-Calculus over finite graphs with small components or small tree width 83
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 79
Verita' e giudizi in una nuovaprospettiva assiomatica 77
On modal mu-calculus over reflexive and symmetric graphs 76
On a positive set theory with inequality 74
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 74
Expanding lattice ordered abelian groups to Riesz spaces 73
Observables on perfect MV-algebras 70
The spectrum problem for Abelian l-groups and MV-algebras 68
Z0−ideals and Z−ideals in MV −algebras 67
On the Riesz structures of a lattice ordered abelian group 63
On counting and deciding MV-algebras 60
Logical Complexity of Spectra of Abelian ℓ-groups . 55
Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective 54
Totale 16.989
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.927
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 44.927
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022570 3 4 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/202714 14 0 0 0 0 0 0 0 0 0 0 0
Totale 17.288