IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.362
AS - Asia 1.552
EU - Europa 971
SA - Sud America 301
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 33
OC - Oceania 2
Totale 6.334
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.294
SG - Singapore 745
CN - Cina 360
BR - Brasile 239
UA - Ucraina 239
IT - Italia 210
HK - Hong Kong 131
VN - Vietnam 120
DE - Germania 114
FI - Finlandia 90
RU - Federazione Russa 88
FR - Francia 52
SE - Svezia 44
IE - Irlanda 39
CA - Canada 37
KR - Corea 35
GB - Regno Unito 34
TR - Turchia 32
AR - Argentina 30
IN - India 30
BD - Bangladesh 20
IQ - Iraq 18
NL - Olanda 17
BE - Belgio 15
MX - Messico 14
ID - Indonesia 10
EC - Ecuador 8
PK - Pakistan 8
CO - Colombia 7
ES - Italia 7
JP - Giappone 7
CL - Cile 6
JM - Giamaica 6
DZ - Algeria 5
ZA - Sudafrica 5
AE - Emirati Arabi Uniti 4
CR - Costa Rica 4
KG - Kirghizistan 4
LT - Lituania 4
MA - Marocco 4
PH - Filippine 4
SA - Arabia Saudita 4
BO - Bolivia 3
EG - Egitto 3
IL - Israele 3
KE - Kenya 3
PY - Paraguay 3
BF - Burkina Faso 2
CH - Svizzera 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
IR - Iran 2
KZ - Kazakistan 2
PE - Perù 2
PL - Polonia 2
PT - Portogallo 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
TN - Tunisia 2
UZ - Uzbekistan 2
VE - Venezuela 2
AM - Armenia 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BW - Botswana 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GN - Guinea 1
GR - Grecia 1
HT - Haiti 1
JO - Giordania 1
LB - Libano 1
MD - Moldavia 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
NR - Nauru 1
OM - Oman 1
PA - Panama 1
RE - Reunion 1
TH - Thailandia 1
TJ - Tagikistan 1
TM - Turkmenistan 1
TW - Taiwan 1
UY - Uruguay 1
Totale 6.221
Salva come PNG Salva come JPEG
Città #
Woodbridge 415
Ann Arbor 393
Singapore 318
Ashburn 226
Fairfield 223
Houston 215
Chandler 177
Jacksonville 167
Beijing 143
Hong Kong 130
Dearborn 116
San Jose 114
Wilmington 98
Seattle 92
Cambridge 70
Council Bluffs 70
Udine 61
Hefei 59
Boardman 56
Los Angeles 45
Princeton 43
Ho Chi Minh City 41
Lauterbourg 40
The Dalles 37
Dublin 36
Seoul 35
Izmir 23
New York 22
São Paulo 22
Santa Clara 21
Buffalo 19
Hanoi 19
San Diego 18
Dallas 17
Milan 16
Brussels 15
Ottawa 15
Redmond 15
Nanjing 13
Brooklyn 12
Des Moines 11
Helsinki 11
Munich 11
Redondo Beach 11
Trieste 11
Ogden 10
Chennai 9
Frankfurt am Main 9
Atlanta 8
Baghdad 8
Miano 8
San Francisco 8
Chicago 7
London 7
Mumbai 7
Nanchang 7
Phoenix 7
Amsterdam 6
Brasília 6
Kunming 6
Rezzato 6
Rio de Janeiro 6
Turku 6
Baton Rouge 5
Boston 5
Contagem 5
Haiphong 5
Jinan 5
Montreal 5
Norwalk 5
Shanghai 5
Stockholm 5
Tokyo 5
Belo Horizonte 4
Bologna 4
Bắc Ninh 4
Diemen 4
Dong Ket 4
Lahore 4
Newark 4
Padova 4
Poplar 4
Toronto 4
Bishkek 3
Can Tho 3
Casablanca 3
Columbus 3
Curitiba 3
Delhi 3
Dhaka 3
Formosa 3
Guangzhou 3
Guayaquil 3
Johannesburg 3
Joinville 3
Juiz de Fora 3
Kingston 3
Kirkuk 3
Limeira 3
Maringá 3
Totale 3.994
Salva come PNG Salva come JPEG
Nome #
Mapping Sets and Hypersets into Numbers 216
Bisimulation quantifiers and uniform interpolation for guarded first order logic 214
The logic of the reverse mathematics zoo 196
A set-theoretic translation method for polymodal logics 191
A set-theoretic translation method for (poly)modal logics 190
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 182
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 174
Modal deduction in second-order logic and set theory. I 169
Games, Automata, Logic, and Formal Verification (GandALF 2011) 165
Characterizing interpolation pairs in infinitary graded logics 162
Complete Recursively Enumerable Relations in Arithmetic 162
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 160
Logical Questions concerning the mu-calculus 158
mu-levels of interpolation 158
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 153
On the Modal μ-Calculus over Finite Symmetric Graphs 149
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 147
Deciding the existence of Uniform Interpolants over Transitive Frames 145
Cayley graph of virtualy free groups 142
Extensions of S1S and the composition method 138
On Modal mu--Calculus in S5 and Applications 138
Uniform interpolation, bisimulation quantifiers and fixed points 137
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 135
Interpolation in non classical logic 133
Il X Problema di Hilbert 127
Set-theoretic decidability results for modal theorem proving 127
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 120
FINALITY REGAINED 119
On modal mu-calculus with explicit interpolants 119
Uniform interpolation for propositional and modal team logics 119
Self Applied proof verification 117
Uniform interpolation, automata and the modal mu-calculus 116
Modal deduction in second-order logic and set theory. II 115
On modal µ-calculus over reflexive symmetric graphs 115
On modal mu-calculus in S5 and application 115
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 114
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 113
Cascade products and Wheeler automata 108
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 105
On the µ-calculus over transitive and finite transitive frames 98
Co-lexicographically Ordering Automata and Regular Languages - Part I 95
Ordering Regular Languages: A Danger Zone 90
Wheeler Languages 83
Ordering regular languages and automata: Complexity 75
Regular languages meet prefix sorting 72
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 67
Wheelerness and Complementation 37
A Linear-size Cascade Decomposition for Wheeler Automata 30
Wheeler Graphs and Wheeler Languages 11
Universally Wheeler Languages 10
null 3
Totale 6.334
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.000
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.000
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022308 0 0 11 26 16 15 25 17 11 44 87 56
2022/2023371 51 27 23 36 46 94 1 19 47 3 8 16
2023/2024112 16 13 6 12 13 11 0 3 18 9 1 10
2024/2025977 8 61 56 38 73 31 56 37 61 75 167 314
2025/20261.686 156 192 175 225 188 117 156 63 118 142 104 50
2026/2027315 57 127 131 0 0 0 0 0 0 0 0 0
Totale 6.334