IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.179
AS - Asia 1.576
EU - Europa 955
SA - Sud America 297
AF - Africa 33
OC - Oceania 2
Totale 6.042
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.120
SG - Singapore 761
CN - Cina 362
BR - Brasile 239
UA - Ucraina 237
IT - Italia 188
HK - Hong Kong 134
VN - Vietnam 122
DE - Germania 117
FI - Finlandia 92
RU - Federazione Russa 88
FR - Francia 52
SE - Svezia 44
IE - Irlanda 39
KR - Corea 35
GB - Regno Unito 34
TR - Turchia 33
CA - Canada 32
AR - Argentina 30
IN - India 30
BD - Bangladesh 22
IQ - Iraq 18
NL - Olanda 18
BE - Belgio 15
MX - Messico 13
ID - Indonesia 9
PK - Pakistan 8
ES - Italia 7
JP - Giappone 7
CL - Cile 6
CO - Colombia 6
EC - Ecuador 6
DZ - Algeria 5
MA - Marocco 5
ZA - Sudafrica 5
AE - Emirati Arabi Uniti 4
CR - Costa Rica 4
JM - Giamaica 4
KG - Kirghizistan 4
LT - Lituania 4
EG - Egitto 3
IL - Israele 3
KE - Kenya 3
PH - Filippine 3
PY - Paraguay 3
RS - Serbia 3
SA - Arabia Saudita 3
UZ - Uzbekistan 3
BO - Bolivia 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
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
TN - Tunisia 2
VE - Venezuela 2
AM - Armenia 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BB - Barbados 1
BF - Burkina Faso 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
LV - Lettonia 1
MD - Moldavia 1
MY - Malesia 1
NG - Nigeria 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.042
Salva come PNG Salva come JPEG
Città #
Woodbridge 415
Ann Arbor 393
Singapore 321
Fairfield 223
Houston 214
Ashburn 208
Chandler 176
Jacksonville 167
Beijing 143
Hong Kong 133
Dearborn 116
Wilmington 98
Seattle 92
San Jose 90
Cambridge 70
Udine 61
Hefei 60
Boardman 56
Princeton 42
Ho Chi Minh City 41
Lauterbourg 40
Los Angeles 40
The Dalles 38
Dublin 36
Seoul 35
Council Bluffs 28
Izmir 23
São Paulo 23
New York 22
Buffalo 19
Hanoi 19
San Diego 18
Santa Clara 16
Brussels 15
Dallas 15
Redmond 15
Munich 14
Ottawa 14
Trieste 14
Nanjing 13
Brooklyn 12
Helsinki 12
Des Moines 11
Redondo Beach 11
Ogden 10
Chennai 9
Frankfurt am Main 9
San Francisco 9
Baghdad 8
Atlanta 7
London 7
Milan 7
Mumbai 7
Nanchang 7
Tokyo 7
Turku 7
Amsterdam 6
Brasília 6
Kunming 6
Rezzato 6
Rio de Janeiro 6
Baton Rouge 5
Boston 5
Contagem 5
Haiphong 5
Jinan 5
Miami 5
Montreal 5
Norwalk 5
Phoenix 5
Shanghai 5
Stockholm 5
Belo Horizonte 4
Bắc Ninh 4
Diemen 4
Dong Ket 4
Lahore 4
Padova 4
Poplar 4
Toronto 4
Bishkek 3
Bologna 3
Can Tho 3
Casablanca 3
Chicago 3
Columbus 3
Curitiba 3
Delhi 3
Dhaka 3
Formosa 3
Guangzhou 3
Johannesburg 3
Joinville 3
Juiz de Fora 3
Kirkuk 3
Limeira 3
Maringá 3
Mexico City 3
Nairobi 3
North Kansas City 3
Totale 3.893
Salva come PNG Salva come JPEG
Nome #
Mapping Sets and Hypersets into Numbers 212
Bisimulation quantifiers and uniform interpolation for guarded first order logic 207
The logic of the reverse mathematics zoo 190
A set-theoretic translation method for polymodal logics 186
A set-theoretic translation method for (poly)modal logics 185
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 176
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 166
Modal deduction in second-order logic and set theory. I 161
Games, Automata, Logic, and Formal Verification (GandALF 2011) 161
Complete Recursively Enumerable Relations in Arithmetic 158
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 156
Characterizing interpolation pairs in infinitary graded logics 153
mu-levels of interpolation 153
Logical Questions concerning the mu-calculus 151
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 145
On the Modal μ-Calculus over Finite Symmetric Graphs 145
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 140
Deciding the existence of Uniform Interpolants over Transitive Frames 139
Cayley graph of virtualy free groups 138
Extensions of S1S and the composition method 134
On Modal mu--Calculus in S5 and Applications 132
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 130
Uniform interpolation, bisimulation quantifiers and fixed points 129
Interpolation in non classical logic 128
Set-theoretic decidability results for modal theorem proving 121
Il X Problema di Hilbert 120
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 115
FINALITY REGAINED 114
On modal mu-calculus with explicit interpolants 113
Uniform interpolation, automata and the modal mu-calculus 113
Uniform interpolation for propositional and modal team logics 113
Self Applied proof verification 112
Modal deduction in second-order logic and set theory. II 111
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 110
On modal µ-calculus over reflexive symmetric graphs 110
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 109
Cascade products and Wheeler automata 105
On modal mu-calculus in S5 and application 104
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 102
On the µ-calculus over transitive and finite transitive frames 92
Co-lexicographically Ordering Automata and Regular Languages - Part I 89
A Linear-size Cascade Decomposition for Wheeler Automata 89
Ordering Regular Languages: A Danger Zone 82
Wheeler Languages 77
Ordering regular languages and automata: Complexity 72
Regular languages meet prefix sorting 68
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 62
Wheelerness and Complementation 35
null 22
Universally Wheeler Languages 8
Wheeler Graphs and Wheeler Languages 7
null 3
Totale 6.153
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.350
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 22.350
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022358 13 37 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/20251.002 8 61 56 38 73 31 56 41 62 78 170 328
2025/20261.748 163 197 177 229 197 121 163 67 119 149 110 56
2026/202747 47 0 0 0 0 0 0 0 0 0 0 0
Totale 6.153