IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.696
AS - Asia 838
EU - Europa 575
SA - Sud America 149
AF - Africa 6
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.267
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.642
SG - Singapore 350
VN - Vietnam 210
CN - Cina 134
BR - Brasile 122
UA - Ucraina 115
RU - Federazione Russa 109
IT - Italia 100
FI - Finlandia 43
FR - Francia 38
LV - Lettonia 38
SE - Svezia 38
CA - Canada 37
GB - Regno Unito 36
KR - Corea 33
DE - Germania 22
IN - India 20
BD - Bangladesh 14
BG - Bulgaria 13
ID - Indonesia 12
AR - Argentina 11
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
EC - Ecuador 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
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.267
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 236
Chandler 227
Ashburn 226
Singapore 203
Woodbridge 163
Seattle 154
Cambridge 119
Wilmington 116
Houston 105
Dallas 81
Columbus 73
San Jose 71
Ho Chi Minh City 66
Princeton 64
Ann Arbor 60
Moscow 52
San Mateo 48
Hanoi 46
Santa Clara 46
Riga 38
Seoul 32
Trento 32
Lauterbourg 31
Los Angeles 30
New York 26
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
The Dalles 18
Hefei 17
Da Nang 16
Buffalo 14
Chicago 13
Sofia 13
Haiphong 12
Lawrence 11
Helsinki 10
London 10
Izmir 9
Boardman 8
Brooklyn 8
Council Bluffs 8
Jakarta 8
Redondo Beach 8
Milan 7
Orem 7
São Paulo 7
Nanjing 6
San Paolo di Civitate 6
Toronto 6
Curitiba 5
Shanghai 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
Phoenix 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
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
Totale 3.163
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 243
The Real truth 169
A note on infinitary continuous logic 168
A note on unbounded metric temporal logic over dense time domains 156
A modal approach to negation as failure rule 142
A completeness theorem for continuous predicate modal logic 134
A parallel game semantics for linear logic 133
Some properties of nonstandard hulls of Banach algebras 133
A class of programs for which SLDNF resolution and NAF rule are complete 131
Constructivization via approximations and examples 126
A theory of sets with the negation of the axiom of infinity 126
A natural deduction system for bundled branching time logic. 126
Preservation of properties in nonstandard hulls of C*-algebras 125
Approximating classical theorems 118
Nonstandard regular finite set theory 116
A two-dimensional metric temporal logic 116
Continuous propositional modal logic 114
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 113
An approach to infinitary temporal proof theory 113
A finitary outer measure logic 107
Consequences of neocompact quantifier elimination 107
An infinitary variant of Metric Temporal Logic over dense time domains 104
Fixed points in the nonstandard hull of a Banach space. 103
Quantum coherent spaces and linear logic 100
Isometry games in Banach spaces 99
A proof-theoretic investigation of a logic of positions 98
Neocompact Quantifier Elimination in Structures based on Banach Spaces 98
Yet another constructivization of classical logic 95
A way of making world quantification explicit 95
A nonstandard proof of the Eberlein-Smulian theorem 89
An infinitary propositional probability logic 88
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 75
Modules over the dihedral algebras 71
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 64
Model-theoretic properties of Banach spaces 18
Continuous logic in a classical setting 13
Results in model theory for Riesz-valued structures 10
On the weak completeness of a fragment of linear temporal logic 4
Totale 4.341
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.420
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 364
Totale 16.784
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202138 0 0 0 0 0 0 0 0 0 0 0 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.208 45 25 180 164 95 143 284 25 98 83 40 26
Totale 4.341