IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.121
AS - Asia 1.570
EU - Europa 942
SA - Sud America 295
AF - Africa 33
OC - Oceania 2
Totale 5.963
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.067
SG - Singapore 760
CN - Cina 360
BR - Brasile 238
UA - Ucraina 237
IT - Italia 178
HK - Hong Kong 133
VN - Vietnam 122
DE - Germania 117
FI - Finlandia 92
RU - Federazione Russa 87
FR - Francia 52
SE - Svezia 44
IE - Irlanda 39
KR - Corea 35
GB - Regno Unito 34
TR - Turchia 33
CA - Canada 31
AR - Argentina 30
IN - India 30
BD - Bangladesh 20
IQ - Iraq 18
NL - Olanda 18
BE - Belgio 15
MX - Messico 13
ID - Indonesia 9
PK - Pakistan 8
JP - Giappone 7
CL - Cile 6
EC - Ecuador 6
ES - Italia 6
CO - Colombia 5
DZ - Algeria 5
MA - Marocco 5
ZA - Sudafrica 5
AE - Emirati Arabi Uniti 4
CR - Costa Rica 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
JM - Giamaica 2
KZ - Kazakistan 2
PE - Perù 2
PL - Polonia 2
PT - Portogallo 2
TG - Togo 2
TN - Tunisia 2
VE - Venezuela 2
AM - Armenia 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 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
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
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TJ - Tagikistan 1
TM - Turkmenistan 1
TW - Taiwan 1
UY - Uruguay 1
Totale 5.963
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Singapore 320
Fairfield 223
Houston 213
Ashburn 205
Chandler 176
Jacksonville 167
Beijing 143
Hong Kong 132
Dearborn 116
Wilmington 98
Seattle 92
San Jose 87
Cambridge 70
Udine 61
Hefei 60
Boardman 53
Princeton 42
Ho Chi Minh City 41
Lauterbourg 40
Los Angeles 39
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
Brussels 15
Dallas 15
Redmond 15
Munich 14
Trieste 14
Nanjing 13
Ottawa 13
Santa Clara 13
Helsinki 12
Brooklyn 11
Des Moines 11
Redondo Beach 11
Ogden 10
Chennai 9
Frankfurt am Main 9
Baghdad 8
San Francisco 8
London 7
Milan 7
Mumbai 7
Nanchang 7
Tokyo 7
Turku 7
Amsterdam 6
Atlanta 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
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
Nova Iguaçu 3
Orem 3
Totale 3.872
Salva come PNG Salva come JPEG
Nome #
Mapping Sets and Hypersets into Numbers 208
Bisimulation quantifiers and uniform interpolation for guarded first order logic 204
The logic of the reverse mathematics zoo 188
A set-theoretic translation method for polymodal logics 185
A set-theoretic translation method for (poly)modal logics 185
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 173
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 164
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 157
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 156
Characterizing interpolation pairs in infinitary graded logics 153
mu-levels of interpolation 151
Logical Questions concerning the mu-calculus 149
On the Modal μ-Calculus over Finite Symmetric Graphs 144
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 140
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 140
Deciding the existence of Uniform Interpolants over Transitive Frames 138
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
Interpolation in non classical logic 128
Uniform interpolation, bisimulation quantifiers and fixed points 126
Set-theoretic decidability results for modal theorem proving 120
Il X Problema di Hilbert 119
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
Self Applied proof verification 112
Uniform interpolation, automata and the modal mu-calculus 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 109
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 108
Uniform interpolation for propositional and modal team logics 108
Cascade products and Wheeler automata 103
On modal mu-calculus in S5 and application 103
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 102
On the µ-calculus over transitive and finite transitive frames 91
Co-lexicographically Ordering Automata and Regular Languages - Part I 85
A Linear-size Cascade Decomposition for Wheeler Automata 82
Ordering Regular Languages: A Danger Zone 81
Wheeler Languages 74
Ordering regular languages and automata: Complexity 68
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. 59
Wheelerness and Complementation 31
null 21
null 3
Totale 6.067
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.640
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 21.640
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202124 0 0 0 0 0 0 0 0 0 0 0 24
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.709 163 197 177 229 197 121 163 67 119 149 110 17
Totale 6.067