IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.637
AS - Asia 835
EU - Europa 560
SA - Sud America 147
AF - Africa 6
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.188
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.585
SG - Singapore 350
VN - Vietnam 210
CN - Cina 134
BR - Brasile 121
UA - Ucraina 115
RU - Federazione Russa 109
IT - Italia 86
FI - Finlandia 43
FR - Francia 38
LV - Lettonia 38
SE - Svezia 38
GB - Regno Unito 36
CA - Canada 35
KR - Corea 33
DE - Germania 22
IN - India 20
BG - Bulgaria 13
ID - Indonesia 12
BD - Bangladesh 11
IQ - Iraq 11
TR - Turchia 11
AR - Argentina 10
MX - Messico 8
HK - Hong Kong 7
ES - Italia 6
CL - Cile 4
JP - Giappone 4
PL - Polonia 4
AZ - Azerbaigian 3
EC - Ecuador 3
IL - Israele 3
NL - Olanda 3
PH - Filippine 3
PK - Pakistan 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BB - Barbados 2
BO - Bolivia 2
CH - Svizzera 2
CO - Colombia 2
JM - Giamaica 2
KE - Kenya 2
KZ - Kazakistan 2
MY - Malesia 2
PY - Paraguay 2
TW - Taiwan 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
BS - Bahamas 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GT - Guatemala 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
LB - Libano 1
MA - Marocco 1
NI - Nicaragua 1
PE - Perù 1
PS - Palestinian Territory 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
Totale 4.188
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 236
Chandler 227
Ashburn 217
Singapore 203
Woodbridge 163
Seattle 154
Cambridge 119
Wilmington 116
Houston 105
Dallas 80
Columbus 73
Ho Chi Minh City 66
Princeton 64
Ann Arbor 60
San Jose 54
Moscow 52
San Mateo 48
Hanoi 46
Santa Clara 43
Riga 38
Seoul 32
Trento 32
Lauterbourg 31
Los Angeles 29
New York 23
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
The Dalles 18
Hefei 17
Da Nang 16
Buffalo 14
Sofia 13
Chicago 12
Haiphong 12
Lawrence 11
Helsinki 10
London 10
Izmir 9
Boardman 8
Brooklyn 8
Jakarta 8
Redondo Beach 8
Milan 7
Orem 7
Council Bluffs 6
Nanjing 6
San Paolo di Civitate 6
São Paulo 6
Curitiba 5
Shanghai 5
Toronto 5
Baghdad 4
Brasília 4
Dong Ket 4
Guangzhou 4
Hong Kong 4
Montreal 4
Ninh Bình 4
Norwalk 4
Phoenix 4
Rio de Janeiro 4
Verona 4
Warsaw 4
Ấp Tháp Mười 4
Baku 3
Campinas 3
Cao Lanh 3
Changsha 3
Chennai 3
Chiswick 3
Denver 3
Elk Grove Village 3
Erbil 3
Falls Church 3
Frankfurt am Main 3
Hai Bà Trưng 3
Manchester 3
Palermo 3
Paris 3
Querétaro 3
Quito 3
Shenzhen 3
São José dos Campos 3
Tampa 3
Tashkent 3
Turin 3
Washington 3
Zhongshan 3
Abu Dhabi 2
Amsterdam 2
Andover 2
Asunción 2
Belo Horizonte 2
Bolzano 2
Bridgetown 2
Bến Tre 2
Can Tho 2
Totale 3.120
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 239
A note on infinitary continuous logic 165
The Real truth 164
A note on unbounded metric temporal logic over dense time domains 155
A modal approach to negation as failure rule 141
A parallel game semantics for linear logic 133
Some properties of nonstandard hulls of Banach algebras 133
A completeness theorem for continuous predicate modal logic 130
A class of programs for which SLDNF resolution and NAF rule are complete 129
Constructivization via approximations and examples 126
A theory of sets with the negation of the axiom of infinity 125
A natural deduction system for bundled branching time logic. 124
Preservation of properties in nonstandard hulls of C*-algebras 124
Approximating classical theorems 116
Nonstandard regular finite set theory 116
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 113
A two-dimensional metric temporal logic 113
Continuous propositional modal logic 113
An approach to infinitary temporal proof theory 109
A finitary outer measure logic 107
Consequences of neocompact quantifier elimination 106
An infinitary variant of Metric Temporal Logic over dense time domains 104
Fixed points in the nonstandard hull of a Banach space. 101
Quantum coherent spaces and linear logic 100
Neocompact Quantifier Elimination in Structures based on Banach Spaces 98
A proof-theoretic investigation of a logic of positions 97
Isometry games in Banach spaces 96
A way of making world quantification explicit 95
Yet another constructivization of classical logic 94
A nonstandard proof of the Eberlein-Smulian theorem 87
An infinitary propositional probability logic 83
On some properties of recursively enmerable equivalence relation 82
Karp's interpolation theorem for some classes of infinitary languages 76
Modules over the dihedral algebras 69
null 68
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 67
Nonstandard hulls of C*-algebras and their applications 67
Models of Clark's completion for some classes of logic programs 63
Model-theoretic properties of Banach spaces 17
Continuous logic in a classical setting 8
Results in model theory for Riesz-valued structures 5
On the weak completeness of a fragment of linear temporal logic 4
Totale 4.262
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.543
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 347
Totale 15.890
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021128 0 0 0 0 0 0 0 0 0 47 43 38
2021/2022321 24 36 5 7 5 36 19 56 16 26 18 73
2022/2023419 59 52 9 60 46 66 2 39 59 2 18 7
2023/2024120 12 16 13 3 5 16 3 7 0 2 17 26
2024/2025576 1 4 10 132 36 56 39 22 40 107 81 48
2025/20261.129 45 25 180 164 95 143 284 25 98 70 0 0
Totale 4.262