UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 7.990
NA - Nord America 5.816
EU - Europa 1.915
SA - Sud America 424
AF - Africa 70
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 16.219
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.755
HK - Hong Kong 5.566
SG - Singapore 1.117
IT - Italia 653
CN - Cina 549
VN - Vietnam 329
BR - Brasile 324
UA - Ucraina 312
RU - Federazione Russa 186
DE - Germania 171
FR - Francia 124
IE - Irlanda 106
TR - Turchia 91
SE - Svezia 72
FI - Finlandia 70
AT - Austria 63
KR - Corea 61
IN - India 59
AR - Argentina 47
IR - Iran 38
GB - Regno Unito 37
CA - Canada 31
BD - Bangladesh 29
JP - Giappone 28
NL - Olanda 28
RO - Romania 27
PL - Polonia 21
ZA - Sudafrica 20
IQ - Iraq 19
MX - Messico 18
PK - Pakistan 17
CO - Colombia 14
ES - Italia 13
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
LB - Libano 5
MA - Marocco 5
NP - Nepal 5
PY - Paraguay 5
AL - Albania 4
AZ - Azerbaigian 4
CH - Svizzera 4
CM - Camerun 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
ET - Etiopia 4
MY - Malesia 4
OM - Oman 4
UY - Uruguay 4
AU - Australia 3
EG - Egitto 3
HN - Honduras 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
MU - Mauritius 1
NO - Norvegia 1
PS - Palestinian Territory 1
QA - Qatar 1
SI - Slovenia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 16.219
Salva come PNG Salva come JPEG
Città #
Hong Kong 5.556
Ann Arbor 1.114
Dallas 625
Woodbridge 455
San Jose 442
Singapore 432
Jacksonville 374
Chandler 366
Houston 354
Wilmington 324
Princeton 316
Ashburn 164
Council Bluffs 120
Salerno 108
Dublin 104
The Dalles 97
Dong Ket 96
Lauterbourg 90
Beijing 86
Nanjing 85
Ho Chi Minh City 83
Andover 74
Moscow 70
Dearborn 68
Hanoi 55
Izmir 54
Nuremberg 53
Naples 48
Milan 43
Fairfield 36
Hebei 36
Pellezzano 36
Vienna 33
Boardman 32
Nanchang 29
New York 29
Changsha 25
Tokyo 25
Jiaxing 24
São Paulo 24
Los Angeles 23
Bucharest 20
Shenyang 19
Frankfurt am Main 17
Norwalk 16
Santa Clara 16
Chennai 15
Fisciano 15
Tianjin 14
Rome 13
Sarno 13
Seattle 13
Warsaw 13
Columbus 12
Mestre 12
Munich 12
Arbus 11
Istanbul 11
Ottawa 11
Seregno 11
Denver 10
Helsinki 10
Jinan 10
Nairobi 10
Napoli 10
Rio de Janeiro 10
Shanghai 10
Amsterdam 9
Atlanta 9
Brasília 9
Domicella 9
Florence 9
Haiphong 9
Johannesburg 9
Baghdad 8
Brooklyn 8
Da Nang 8
Düsseldorf 8
Orem 8
Pune 8
Redwood City 8
San Diego 8
Stockholm 8
Tirschenreuth 8
Buenos Aires 7
Cagliari 7
Morra De Sanctis 7
Shiraz 7
Belgrade 6
Belo Horizonte 6
Cambridge 6
Fortaleza 6
Guangzhou 6
Manaus 6
Montreal 6
Orta di Atella 6
Phoenix 6
Quito 6
San Nicola la Strada 6
Seoul 6
Totale 12.785
Salva come PNG Salva come JPEG
Nome #
On MV-algebras of non-linear functions 776
Geometry of superlukasiewicz logic 739
On the lattice of the subvarieties of monadic MV(C)-algebras 717
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 642
Lukasiewicz equivalent neural networks 533
On generalizing the Nullstellensatz for MV algebras 513
The prime spectrum of $\ell$-groups and MV-algebras 464
Some invariant skeletons for l-u groups and MV-algebras 440
Algebraically closed MV-algebras and their sheaf representation 412
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 386
Topological spaces of monadic MV-algebras 381
A generalization of prime ideals in MV -algebras 342
Topological classes of MV-algebras 337
The modal $mu$-calculus: a survey, 275
Algebraic geometry for l-groups 275
Algebraic geometry for MV-algebras 269
The spectrum of l-groups and MV-algebras and some functors 216
A special type of ideals in MV-algebras of continuous functions 200
Fuzzy Logic as a geometry 171
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 169
A note on bisimulation quantifiers and fixed points over transitive frames 163
A basic theory with predicates 163
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 159
A fixpoint-based axiom system for $ACTL$. 152
A new logical characterization of B"uchi automata 146
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 144
A basic theory for the foundations of mathematics and other sciences. 141
An axiomatization of bisimulation quantifiers via the mu-calculus. 138
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 138
Hyperfinite MV-algebras 136
About a positive set theory with equality, 135
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 132
structural completeness and unification problem of the logic of Chang algebra 130
Mu--depth 3 is more than 2: a game-theoretic proof 129
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 128
Representation of MV algebras by regular ultrapowers of [0,1] 127
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 126
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 122
The transitive $mu$-Calculus is B"uchi definable, 122
A characterization of pseudofinite MV-algebras 122
On the variable hierarchy of the modal mu-calculus 119
The variable hierarchy of the $mu$-calculus is strict 117
On the structure of the monadic logic of the binary tree (MFCS 1999) 116
A hierarchy theorem for the mu-calculus 116
The variable hierarchy of the $mu$-calculus is strict. 116
On the Modal mu-calculus over finite symmetric graphs 115
A positive set theory with equality revisited 113
On free MV algebras and a problem of Tarski 111
On a priced resource-bounded alternating mu-calculus 110
On fixpoint arithmetic and infinite time Turing machines, 108
A general axiomatic framework for the foundations of mathematics, logic and computer science 108
On modal mu-calculus in S5 and applications. 108
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 106
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 105
On P-transitive graphs and applications 105
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 105
On the Mu-calculus over transitive and finite transitive frames 104
On modal $mu$-calculus with explicit interpolants 102
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 101
Sheaf representations and locality of Riesz spaces with order unit. 101
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 98
A Pointfree Approach to Measurability and Statistical Models 97
On modal mu-calculus in S5 and applications 97
Spectral MV-algebras and equispectrality 96
Duality theory and skeleta for semisimple MV-algebras 96
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 95
Relative subalgebras of MV-algebras 94
Dualities and algebraic geometry of Baire functions in non-classical logic 94
Topological spaces of monadic MV-algebras 92
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 91
Estensioni contraddittorie della teoria ampia 89
Formalizations and models of a basic theory for the foundations of mathematics 88
Un modello aritmetico parziale della teoria ampia 88
Entropies and Dynamical Systems in Riesz MV-algebras 87
Deciding the existence of uniform interpolants over transitive models 87
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 86
Models, coproducts and exchangeability: Notes on states on Baire functions 85
Weydert's sf3 has no recursive term model 85
On the logical definability of topologically closed recognizable languages of infinite trees 84
Geometric issues in the algebraic theory of many valued logics. 83
On semirings and MV-algebras 82
On modal mu-calculus over finite graphs with bounded strongly connected components. 82
Una proposta di teorie base deifondamenti della matematica 82
Recent results on Modal Mu-calculus: a survey 80
Teorie base nu-arie 77
Verita' e giudizi in una nuovaprospettiva assiomatica 77
On Vaught's Conjecture and finitely valued MV algebras 76
On modal mu-calculus over reflexive and symmetric graphs 74
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 74
On Modal mu-Calculus over finite graphs with small components or small tree width 73
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 72
Observables on perfect MV-algebras 69
On a positive set theory with inequality 68
Expanding lattice ordered abelian groups to Riesz spaces 67
The spectrum problem for Abelian l-groups and MV-algebras 64
Z0−ideals and Z−ideals in MV −algebras 61
On the Riesz structures of a lattice ordered abelian group 58
On counting and deciding MV-algebras 57
Logical Complexity of Spectra of Abelian ℓ-groups . 49
On a problem of Conrad on Riesz space structures 42
Totale 16.392
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.043
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 43.043
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021214 0 0 0 0 0 0 0 0 0 0 87 127
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.071 779 3.386 2.367 251 394 225 676 190 240 540 23 0
Totale 16.629