UniSa - IRIS Institutional Research Information System

LENZI, Giacomo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.949
NA - Nord America 4.854
EU - Europa 1.662
SA - Sud America 272
AF - Africa 31
OC - Oceania 2
Totale 13.770
Salva come PNG Salva come JPEG
Nazione #
HK - Hong Kong 5.533
US - Stati Uniti d'America 4.823
SG - Singapore 607
IT - Italia 604
CN - Cina 422
UA - Ucraina 309
BR - Brasile 233
RU - Federazione Russa 184
DE - Germania 146
VN - Vietnam 138
IE - Irlanda 106
TR - Turchia 78
SE - Svezia 67
FI - Finlandia 65
AT - Austria 57
KR - Corea 56
IR - Iran 36
IN - India 23
FR - Francia 22
AR - Argentina 21
CA - Canada 18
RO - Romania 18
PL - Polonia 17
GB - Regno Unito 16
NL - Olanda 16
BD - Bangladesh 11
ES - Italia 11
GE - Georgia 11
ZA - Sudafrica 10
JP - Giappone 8
TN - Tunisia 6
CO - Colombia 5
RS - Serbia 5
CH - Svizzera 4
DO - Repubblica Dominicana 4
EC - Ecuador 4
ID - Indonesia 4
MX - Messico 4
PK - Pakistan 4
CM - Camerun 3
IL - Israele 3
AL - Albania 2
AU - Australia 2
AZ - Azerbaigian 2
BF - Burkina Faso 2
BY - Bielorussia 2
CI - Costa d'Avorio 2
CL - Cile 2
CZ - Repubblica Ceca 2
HN - Honduras 2
KE - Kenya 2
PH - Filippine 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BE - Belgio 1
BG - Bulgaria 1
BO - Bolivia 1
BW - Botswana 1
CR - Costa Rica 1
CV - Capo Verde 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
LT - Lituania 1
MU - Mauritius 1
MY - Malesia 1
NO - Norvegia 1
NP - Nepal 1
OM - Oman 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SI - Slovenia 1
SN - Senegal 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
Totale 13.770
Salva come PNG Salva come JPEG
Città #
Hong Kong 5.527
Ann Arbor 1.114
Dallas 624
Woodbridge 455
Jacksonville 374
Chandler 366
Houston 349
Wilmington 324
Princeton 315
Singapore 174
Dublin 104
Salerno 104
Dong Ket 96
Nanjing 85
Andover 74
Moscow 70
Dearborn 68
Beijing 60
Ashburn 57
Izmir 54
Nuremberg 51
Naples 42
Fairfield 36
Hebei 36
Milan 36
Pellezzano 36
Boardman 32
Vienna 32
Nanchang 29
Changsha 25
Jiaxing 24
Shenyang 19
São Paulo 17
Ho Chi Minh City 16
Norwalk 16
Los Angeles 14
Tianjin 14
Fisciano 13
Sarno 13
Columbus 12
Mestre 12
Seattle 12
Arbus 11
Bucharest 11
Munich 11
Ottawa 11
Seregno 11
Hanoi 10
Jinan 10
Napoli 10
Rome 10
Domicella 9
Florence 9
New York 9
Rio de Janeiro 9
The Dalles 9
Warsaw 9
Brasília 8
Düsseldorf 8
Istanbul 8
Redwood City 8
San Diego 8
Tirschenreuth 8
Brooklyn 7
Morra De Sanctis 7
Pune 7
Shanghai 7
Shiraz 7
Tokyo 7
Atlanta 6
Cambridge 6
Helsinki 6
Orta di Atella 6
San Nicola la Strada 6
Belgrade 5
Buenos Aires 5
Cagliari 5
Phoenix 5
Santa Clara 5
Seoul 5
Amsterdam 4
Ankara 4
Belo Horizonte 4
Council Bluffs 4
Denver 4
Ercolano 4
Genova 4
Guangzhou 4
Johannesburg 4
Kahramanmaraş 4
Kemalpasa 4
Lappeenranta 4
Manaus 4
Ottaviano 4
Palermo 4
Rawalpindi 4
Santo André 4
Tehran 4
Washington 4
Zurich 4
Totale 11.310
Salva come PNG Salva come JPEG
Nome #
On MV-algebras of non-linear functions 753
Geometry of superlukasiewicz logic 718
On the lattice of the subvarieties of monadic MV(C)-algebras 686
Ultramatricial algebras over commutative chain semirings and application to MV-algebras 630
Lukasiewicz equivalent neural networks 506
On generalizing the Nullstellensatz for MV algebras 496
The prime spectrum of $\ell$-groups and MV-algebras 444
Some invariant skeletons for l-u groups and MV-algebras 419
Algebraically closed MV-algebras and their sheaf representation 382
ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE 357
Topological spaces of monadic MV-algebras 343
Topological classes of MV-algebras 315
A generalization of prime ideals in MV -algebras 311
The modal $mu$-calculus: a survey, 250
Algebraic geometry for MV-algebras 246
Algebraic geometry for l-groups 242
The spectrum of l-groups and MV-algebras and some functors 193
A special type of ideals in MV-algebras of continuous functions 162
Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic 151
Fuzzy Logic as a geometry 148
A note on bisimulation quantifiers and fixed points over transitive frames 135
A basic theory with predicates 135
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 133
A fixpoint-based axiom system for $ACTL$. 129
An axiomatization of bisimulation quantifiers via the mu-calculus. 118
Hyperfinite MV-algebras 118
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions 117
A basic theory for the foundations of mathematics and other sciences. 115
An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains 113
The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree 112
structural completeness and unification problem of the logic of Chang algebra 112
Mu--depth 3 is more than 2: a game-theoretic proof 109
A new logical characterization of B"uchi automata 109
On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus 108
Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy 107
The transitive $mu$-Calculus is B"uchi definable, 106
About a positive set theory with equality, 104
On the Modal mu-calculus over finite symmetric graphs 101
Representation of MV algebras by regular ultrapowers of [0,1] 101
The variable hierarchy of the $mu$-calculus is strict. 98
The variable hierarchy of the $mu$-calculus is strict 95
On the variable hierarchy of the modal mu-calculus 94
On modal mu-calculus in S5 and applications. 93
A positive set theory with equality revisited 89
On the Mu-calculus over transitive and finite transitive frames 88
On free MV algebras and a problem of Tarski 88
A characterization of pseudofinite MV-algebras 88
On modal mu-calculus in S5 and applications 87
The mu calculus alternation depth hierarchy is infinite over finite planar graphs 87
On P-transitive graphs and applications 86
On modal $mu$-calculus with explicit interpolants 85
A hierarchy theorem for the mu-calculus 85
On a priced resource-bounded alternating mu-calculus 84
On the structure of the monadic logic of the binary tree (MFCS 1999) 83
Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic 83
On fixpoint arithmetic and infinite time Turing machines, 82
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 80
A general axiomatic framework for the foundations of mathematics, logic and computer science 80
Sheaf representations and locality of Riesz spaces with order unit. 80
Relative subalgebras of MV-algebras 79
Spectral MV-algebras and equispectrality 78
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 77
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 74
Formalizations and models of a basic theory for the foundations of mathematics 74
Deciding the existence of uniform interpolants over transitive models 72
Duality theory and skeleta for semisimple MV-algebras 72
A Pointfree Approach to Measurability and Statistical Models 70
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 70
Weydert's sf3 has no recursive term model 70
Entropies and Dynamical Systems in Riesz MV-algebras 68
Topological spaces of monadic MV-algebras 68
Estensioni contraddittorie della teoria ampia 67
Geometric issues in the algebraic theory of many valued logics. 67
A NOTE ON SPECTRAL MV-ALGEBRAS AND TOPOS THEORY 66
Una proposta di teorie base deifondamenti della matematica 66
On semirings and MV-algebras 65
Recent results on Modal Mu-calculus: a survey 62
On modal mu-calculus over finite graphs with bounded strongly connected components. 62
Teorie base nu-arie 61
On the logical definability of topologically closed recognizable languages of infinite trees 61
On Modal mu-Calculus over finite graphs with small components or small tree width 61
Verita' e giudizi in una nuovaprospettiva assiomatica 61
Un modello aritmetico parziale della teoria ampia 61
On modal mu-calculus over reflexive and symmetric graphs 60
On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings 59
On Vaught's Conjecture and finitely valued MV algebras 58
Dualities and algebraic geometry of Baire functions in non-classical logic 57
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 55
On a positive set theory with inequality 52
Observables on perfect MV-algebras 52
PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS 51
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 48
Models, coproducts and exchangeability: Notes on states on Baire functions 47
Expanding lattice ordered abelian groups to Riesz spaces 44
The spectrum problem for Abelian l-groups and MV-algebras 43
Z0−ideals and Z−ideals in MV −algebras 42
On counting and deciding MV-algebras 41
On the Riesz structures of a lattice ordered abelian group 38
Logical Complexity of Spectra of Abelian ℓ-groups . 35
On a problem of Conrad on Riesz space structures 25
Totale 14.108
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.339
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 37.339
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021483 0 0 0 9 79 23 70 14 68 6 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/20266.614 779 3.386 2.367 82 0 0 0 0 0 0 0 0
Totale 14.172