IRIS
Baratella, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.490
AS - Asia 538
EU - Europa 497
SA - Sud America 137
AF - Africa 3
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.668
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.445
SG - Singapore 316
CN - Cina 116
BR - Brasile 114
UA - Ucraina 114
RU - Federazione Russa 109
IT - Italia 73
VN - Vietnam 45
FI - Finlandia 43
LV - Lettonia 37
SE - Svezia 37
GB - Regno Unito 35
CA - Canada 33
DE - Germania 19
BG - Bulgaria 13
TR - Turchia 10
AR - Argentina 9
ID - Indonesia 9
IN - India 8
BD - Bangladesh 7
MX - Messico 6
IQ - Iraq 5
ES - Italia 4
AZ - Azerbaigian 3
CL - Cile 3
EC - Ecuador 3
FR - Francia 3
HK - Hong Kong 3
IL - Israele 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
NL - Olanda 2
PY - Paraguay 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 3.668
Salva come PNG Salva come JPEG
Città #
Fairfield 357
Jacksonville 235
Chandler 227
Ashburn 189
Singapore 189
Woodbridge 163
Seattle 151
Cambridge 119
Wilmington 116
Houston 104
Dallas 80
Columbus 73
Princeton 64
Ann Arbor 60
Moscow 52
San Mateo 48
Santa Clara 41
Riga 37
Trento 32
Los Angeles 25
San Diego 22
Ottawa 21
Beijing 20
Dearborn 20
Hefei 17
Ho Chi Minh City 16
New York 15
Buffalo 14
Sofia 13
Chicago 11
Lawrence 11
Helsinki 10
London 10
Izmir 9
Boardman 8
Redondo Beach 8
Brooklyn 7
Jakarta 7
Council Bluffs 6
Hanoi 6
Nanjing 6
San Paolo di Civitate 6
São Paulo 6
Haiphong 5
Shanghai 5
Toronto 5
Curitiba 4
Dong Ket 4
Guangzhou 4
Milan 4
Norwalk 4
Verona 4
Baku 3
Brasília 3
Campinas 3
Changsha 3
Chiswick 3
Denver 3
Elk Grove Village 3
Erbil 3
Falls Church 3
Hong Kong 3
Palermo 3
Phoenix 3
Querétaro 3
Quito 3
Rio de Janeiro 3
São José dos Campos 3
Tashkent 3
Washington 3
Zhongshan 3
Abu Dhabi 2
Andover 2
Asunción 2
Belo Horizonte 2
Bolzano 2
Bridgetown 2
Castiglione D'adda 2
Chennai 2
Como 2
Fuzhou 2
Governador Valadares 2
Hangzhou 2
Hebei 2
Itaobim 2
Johannesburg 2
Karlsruhe 2
Kilburn 2
Lancaster 2
Las Vegas 2
Lomas de Zamora 2
Manchester 2
Monte Grande 2
Montreal 2
Orem 2
Petrópolis 2
Pittsburgh 2
Poplar 2
Porto Alegre 2
Quixadá 2
Totale 2.785
Salva come PNG Salva come JPEG
Nome #
A predicate extension of real valued logic 195
The Real truth 137
A note on infinitary continuous logic 132
Some properties of nonstandard hulls of Banach algebras 125
A note on unbounded metric temporal logic over dense time domains 122
A parallel game semantics for linear logic 121
A class of programs for which SLDNF resolution and NAF rule are complete 119
A theory of sets with the negation of the axiom of infinity 118
A completeness theorem for continuous predicate modal logic 116
A natural deduction system for bundled branching time logic. 115
Constructivization via approximations and examples 114
Approximating classical theorems 110
Nonstandard regular finite set theory 110
Continuous propositional modal logic 107
A modal approach to negation as failure rule 104
A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses 103
A two-dimensional metric temporal logic 101
An approach to infinitary temporal proof theory 100
Consequences of neocompact quantifier elimination 98
An infinitary variant of Metric Temporal Logic over dense time domains 94
Fixed points in the nonstandard hull of a Banach space. 93
Preservation of properties in nonstandard hulls of C*-algebras 93
Neocompact Quantifier Elimination in Structures based on Banach Spaces 91
A way of making world quantification explicit 89
Quantum coherent spaces and linear logic 87
Isometry games in Banach spaces 85
A proof-theoretic investigation of a logic of positions 85
On some properties of recursively enmerable equivalence relation 81
A nonstandard proof of the Eberlein-Smulian theorem 81
Yet another constructivization of classical logic 80
Karp's interpolation theorem for some classes of infinitary languages 74
An infinitary propositional probability logic 70
null 68
Modules over the dihedral algebras 65
A finitary outer measure logic 64
The theory of ${f Z}C(2)sp 2$-lattices is decidable. 61
Models of Clark's completion for some classes of logic programs 59
Nonstandard hulls of C*-algebras and their applications 50
Model-theoretic properties of Banach spaces 15
Continuous logic in a classical setting 3
On the weak completeness of a fragment of linear temporal logic 3
Results in model theory for Riesz-valued structures 2
Totale 3.740
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.697
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 323
Totale 15.020
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021279 0 0 0 0 0 39 53 19 40 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/2026607 45 25 180 164 95 98 0 0 0 0 0 0
Totale 3.740