IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.898
AS - Asia 850
EU - Europa 584
SA - Sud America 164
Continente sconosciuto - Info sul continente non disponibili 75
AF - Africa 6
OC - Oceania 2
Totale 4.579
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.834
SG - Singapore 353
VN - Vietnam 211
CN - Cina 137
BR - Brasile 128
UA - Ucraina 115
RU - Federazione Russa 109
IT - Italia 105
FI - Finlandia 43
FR - Francia 40
CA - Canada 39
SE - Svezia 39
LV - Lettonia 38
GB - Regno Unito 36
KR - Corea 33
DE - Germania 22
IN - India 20
BD - Bangladesh 15
AR - Argentina 13
BG - Bulgaria 13
ID - Indonesia 12
IQ - Iraq 11
TR - Turchia 11
MX - Messico 9
HK - Hong Kong 7
EC - Ecuador 6
ES - Italia 6
CL - Cile 4
CO - Colombia 4
GT - Guatemala 4
JP - Giappone 4
MY - Malesia 4
NL - Olanda 4
PL - Polonia 4
VE - Venezuela 4
AZ - Azerbaigian 3
IL - Israele 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
CR - Costa Rica 2
CZ - Repubblica Ceca 2
JM - Giamaica 2
KE - Kenya 2
KZ - Kazakistan 2
PY - Paraguay 2
SV - El Salvador 2
TW - Taiwan 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
BS - Bahamas 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
HN - Honduras 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
NP - Nepal 1
PE - Perù 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 4.505
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 236
Ashburn 228
Chandler 227
Singapore 205
Woodbridge 163
Seattle 154
Cambridge 119
Wilmington 116
Houston 105
Columbus 96
Dallas 81
San Jose 74
Ho Chi Minh City 67
Princeton 64
Ann Arbor 60
Santa Clara 53
Moscow 52
San Mateo 48
Council Bluffs 46
Hanoi 46
Riga 38
Trento 33
Seoul 32
Lauterbourg 31
Los Angeles 31
New York 26
Phoenix 23
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
The Dalles 19
Hefei 17
Da Nang 16
Buffalo 15
Chicago 14
Sofia 13
Haiphong 12
Lawrence 11
Helsinki 10
London 10
Izmir 9
São Paulo 9
Boardman 8
Brooklyn 8
Jakarta 8
Redondo Beach 8
Shanghai 8
Milan 7
Orem 7
Toronto 7
Curitiba 6
Nanjing 6
San Paolo di Civitate 6
Verona 5
Baghdad 4
Brasília 4
Dong Ket 4
Guangzhou 4
Hong Kong 4
Kuala Lumpur 4
Las Vegas 4
Miano 4
Montreal 4
Ninh Bình 4
Norwalk 4
Palermo 4
Quito 4
Rio de Janeiro 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
Naples 3
Paris 3
Querétaro 3
Rome 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
Totale 3.277
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 247
The Real truth 180
A note on infinitary continuous logic 173
A note on unbounded metric temporal logic over dense time domains 162
A modal approach to negation as failure rule 147
Some properties of nonstandard hulls of Banach algebras 142
A parallel game semantics for linear logic 141
A class of programs for which SLDNF resolution and NAF rule are complete 138
A completeness theorem for continuous predicate modal logic 137
A natural deduction system for bundled branching time logic. 131
Constructivization via approximations and examples 130
A theory of sets with the negation of the axiom of infinity 129
Preservation of properties in nonstandard hulls of C*-algebras 129
An approach to infinitary temporal proof theory 125
Approximating classical theorems 124
A two-dimensional metric temporal logic 121
Continuous propositional modal logic 121
Nonstandard regular finite set theory 120
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 118
A finitary outer measure logic 117
Consequences of neocompact quantifier elimination 117
An infinitary variant of Metric Temporal Logic over dense time domains 112
Fixed points in the nonstandard hull of a Banach space. 110
Isometry games in Banach spaces 105
Quantum coherent spaces and linear logic 105
A proof-theoretic investigation of a logic of positions 103
Neocompact Quantifier Elimination in Structures based on Banach Spaces 103
A way of making world quantification explicit 101
Yet another constructivization of classical logic 100
An infinitary propositional probability logic 98
A nonstandard proof of the Eberlein-Smulian theorem 96
On some properties of recursively enmerable equivalence relation 93
Karp's interpolation theorem for some classes of infinitary languages 82
Modules over the dihedral algebras 78
Nonstandard hulls of C*-algebras and their applications 78
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 74
Models of Clark's completion for some classes of logic programs 70
null 68
Model-theoretic properties of Banach spaces 20
Continuous logic in a classical setting 15
Results in model theory for Riesz-valued structures 13
On the weak completeness of a fragment of linear temporal logic 6
Totale 4.579
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.690
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 390
Totale 18.080
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022261 0 0 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.211 45 25 180 164 95 143 284 25 98 83 40 29
2026/2027235 34 76 125 0 0 0 0 0 0 0 0 0
Totale 4.579