IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.724
AS - Asia 844
EU - Europa 579
SA - Sud America 154
Continente sconosciuto - Info sul continente non disponibili 75
AF - Africa 6
OC - Oceania 2
Totale 4.384
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.668
SG - Singapore 353
VN - Vietnam 210
CN - Cina 136
BR - Brasile 124
UA - Ucraina 115
RU - Federazione Russa 109
IT - Italia 103
FI - Finlandia 43
SE - Svezia 39
FR - Francia 38
LV - Lettonia 38
CA - Canada 37
GB - Regno Unito 36
KR - Corea 33
DE - Germania 22
IN - India 20
BD - Bangladesh 15
BG - Bulgaria 13
AR - Argentina 12
ID - Indonesia 12
IQ - Iraq 11
TR - Turchia 11
MX - Messico 8
HK - Hong Kong 7
ES - Italia 6
CL - Cile 4
JP - Giappone 4
NL - Olanda 4
PL - Polonia 4
AZ - Azerbaigian 3
CO - Colombia 3
EC - Ecuador 3
GT - Guatemala 3
IL - Israele 3
PH - Filippine 3
PK - Pakistan 3
UZ - Uzbekistan 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BB - Barbados 2
BO - Bolivia 2
CH - Svizzera 2
JM - Giamaica 2
KE - Kenya 2
KZ - Kazakistan 2
MY - Malesia 2
PY - Paraguay 2
TW - Taiwan 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
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.310
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 236
Ashburn 227
Chandler 227
Singapore 205
Woodbridge 163
Seattle 154
Cambridge 119
Wilmington 116
Houston 105
Dallas 81
Columbus 73
San Jose 72
Ho Chi Minh City 66
Princeton 64
Ann Arbor 60
Moscow 52
Santa Clara 49
San Mateo 48
Hanoi 46
Riga 38
Seoul 32
Trento 32
Lauterbourg 31
Los Angeles 31
New York 26
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
The Dalles 18
Hefei 17
Da Nang 16
Buffalo 14
Chicago 14
Sofia 13
Haiphong 12
Lawrence 11
Helsinki 10
London 10
Izmir 9
Phoenix 9
Boardman 8
Brooklyn 8
Council Bluffs 8
Jakarta 8
Redondo Beach 8
São Paulo 8
Milan 7
Orem 7
Shanghai 7
Nanjing 6
San Paolo di Civitate 6
Toronto 6
Curitiba 5
Verona 5
Baghdad 4
Brasília 4
Dong Ket 4
Guangzhou 4
Hong Kong 4
Miano 4
Montreal 4
Ninh Bình 4
Norwalk 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
Palermo 3
Paris 3
Querétaro 3
Quito 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
Bauru 2
Belo Horizonte 2
Totale 3.181
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 243
The Real truth 176
A note on infinitary continuous logic 170
A note on unbounded metric temporal logic over dense time domains 157
A modal approach to negation as failure rule 142
A parallel game semantics for linear logic 137
Some properties of nonstandard hulls of Banach algebras 134
A completeness theorem for continuous predicate modal logic 134
A class of programs for which SLDNF resolution and NAF rule are complete 131
Constructivization via approximations and examples 127
A theory of sets with the negation of the axiom of infinity 127
A natural deduction system for bundled branching time logic. 127
Preservation of properties in nonstandard hulls of C*-algebras 126
Approximating classical theorems 118
Nonstandard regular finite set theory 117
An approach to infinitary temporal proof theory 116
A two-dimensional metric temporal logic 116
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 114
Continuous propositional modal logic 114
A finitary outer measure logic 108
Consequences of neocompact quantifier elimination 107
Fixed points in the nonstandard hull of a Banach space. 105
An infinitary variant of Metric Temporal Logic over dense time domains 105
Quantum coherent spaces and linear logic 100
Isometry games in Banach spaces 99
Neocompact Quantifier Elimination in Structures based on Banach Spaces 99
A proof-theoretic investigation of a logic of positions 98
Yet another constructivization of classical logic 96
A way of making world quantification explicit 96
An infinitary propositional probability logic 93
A nonstandard proof of the Eberlein-Smulian theorem 90
On some properties of recursively enmerable equivalence relation 87
Karp's interpolation theorem for some classes of infinitary languages 77
Nonstandard hulls of C*-algebras and their applications 76
Modules over the dihedral algebras 72
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 69
null 68
Models of Clark's completion for some classes of logic programs 65
Model-theoretic properties of Banach spaces 19
Continuous logic in a classical setting 14
Results in model theory for Riesz-valued structures 11
On the weak completeness of a fragment of linear temporal logic 4
Totale 4.384
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.006
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 375
Totale 17.381
Salva come PNG Salva come JPEG


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