IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.823
AS - Asia 1.307
EU - Europa 853
SA - Sud America 271
AF - Africa 23
OC - Oceania 2
Totale 5.279
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.787
SG - Singapore 640
CN - Cina 319
UA - Ucraina 235
BR - Brasile 230
IT - Italia 160
HK - Hong Kong 124
DE - Germania 112
VN - Vietnam 92
FI - Finlandia 86
RU - Federazione Russa 86
SE - Svezia 41
IE - Irlanda 39
KR - Corea 33
GB - Regno Unito 28
TR - Turchia 27
AR - Argentina 24
CA - Canada 22
IN - India 18
NL - Olanda 16
BE - Belgio 15
BD - Bangladesh 12
FR - Francia 10
MX - Messico 9
IQ - Iraq 7
ID - Indonesia 6
EC - Ecuador 5
ZA - Sudafrica 5
CO - Colombia 4
ES - Italia 4
JP - Giappone 4
LT - Lituania 4
CL - Cile 3
DZ - Algeria 3
EG - Egitto 3
IL - Israele 3
MA - Marocco 3
PY - Paraguay 3
RS - Serbia 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CH - Svizzera 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
IR - Iran 2
KG - Kirghizistan 2
PK - Pakistan 2
PL - Polonia 2
TN - Tunisia 2
AM - Armenia 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BF - Burkina Faso 1
BG - Bulgaria 1
BW - Botswana 1
CG - Congo 1
CM - Camerun 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GN - Guinea 1
GR - Grecia 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LV - Lettonia 1
MY - Malesia 1
NR - Nauru 1
OM - Oman 1
PA - Panama 1
PT - Portogallo 1
RE - Reunion 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TJ - Tagikistan 1
TM - Turkmenistan 1
TW - Taiwan 1
UY - Uruguay 1
VE - Venezuela 1
Totale 5.279
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Singapore 263
Fairfield 222
Houston 213
Ashburn 184
Chandler 176
Jacksonville 167
Beijing 139
Hong Kong 124
Dearborn 116
Wilmington 98
Seattle 92
Cambridge 70
Udine 61
Hefei 60
Boardman 52
Princeton 42
Dublin 36
Seoul 33
Ho Chi Minh City 32
Los Angeles 31
Izmir 23
São Paulo 23
Buffalo 19
New York 18
San Diego 18
Brussels 15
Redmond 15
Munich 14
Dallas 13
Hanoi 13
Ottawa 13
Nanjing 12
Brooklyn 11
Des Moines 11
Redondo Beach 11
The Dalles 11
Trieste 11
Ogden 10
Chennai 8
London 7
Milan 7
Nanchang 7
Turku 7
Brasília 6
Helsinki 6
Kunming 6
Mumbai 6
Rezzato 6
San Francisco 6
Santa Clara 6
Amsterdam 5
Baton Rouge 5
Boston 5
Contagem 5
Frankfurt am Main 5
Jinan 5
Norwalk 5
Rio de Janeiro 5
Shanghai 5
Bắc Ninh 4
Diemen 4
Dong Ket 4
Haiphong 4
Padova 4
Tokyo 4
Toronto 4
Belo Horizonte 3
Bologna 3
Curitiba 3
Formosa 3
Guangzhou 3
Johannesburg 3
Joinville 3
Juiz de Fora 3
Limeira 3
Maringá 3
Montreal 3
Phoenix 3
Ribeirão Preto 3
Rio Claro 3
Salvador 3
San Polo di Piave 3
Stockholm 3
Tashkent 3
Ankara 2
Aparecida de Goiânia 2
Baghdad 2
Baotou 2
Bauru 2
Belgrade 2
Bishkek 2
Can Tho 2
Casablanca 2
Chicago 2
Chongqing 2
Columbus 2
Concord 2
Corrientes 2
Totale 3.512
Salva come PNG Salva come JPEG
Nome #
Bisimulation quantifiers and uniform interpolation for guarded first order logic 191
Mapping Sets and Hypersets into Numbers 177
The logic of the reverse mathematics zoo 170
A set-theoretic translation method for polymodal logics 167
A set-theoretic translation method for (poly)modal logics 163
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 155
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 151
Games, Automata, Logic, and Formal Verification (GandALF 2011) 149
Complete Recursively Enumerable Relations in Arithmetic 147
Modal deduction in second-order logic and set theory. I 142
mu-levels of interpolation 142
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 137
Characterizing interpolation pairs in infinitary graded logics 136
On the Modal μ-Calculus over Finite Symmetric Graphs 136
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 130
Logical Questions concerning the mu-calculus 130
Deciding the existence of Uniform Interpolants over Transitive Frames 129
Cayley graph of virtualy free groups 128
On Modal mu--Calculus in S5 and Applications 124
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 122
Extensions of S1S and the composition method 121
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 120
Uniform interpolation, bisimulation quantifiers and fixed points 114
Interpolation in non classical logic 113
Il X Problema di Hilbert 112
Set-theoretic decidability results for modal theorem proving 108
Self Applied proof verification 104
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 103
FINALITY REGAINED 102
On modal mu-calculus with explicit interpolants 102
Uniform interpolation, automata and the modal mu-calculus 100
Modal deduction in second-order logic and set theory. II 99
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 98
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 98
On modal µ-calculus over reflexive symmetric graphs 96
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 94
Uniform interpolation for propositional and modal team logics 92
On modal mu-calculus in S5 and application 90
On the µ-calculus over transitive and finite transitive frames 82
Cascade products and Wheeler automata 72
Wheeler Languages 68
Co-lexicographically Ordering Automata and Regular Languages - Part I 65
Ordering Regular Languages: A Danger Zone 65
A Linear-size Cascade Decomposition for Wheeler Automata 56
Regular languages meet prefix sorting 51
Ordering regular languages and automata: Complexity 50
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 48
null 21
Wheelerness and Complementation 10
null 3
Totale 5.383
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.836
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 19.836
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021351 0 0 0 0 0 56 16 58 116 29 52 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.025 163 197 177 229 197 62 0 0 0 0 0 0
Totale 5.383