IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.008
AS - Asia 1.541
EU - Europa 934
SA - Sud America 295
AF - Africa 33
OC - Oceania 2
Totale 5.813
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.961
SG - Singapore 745
CN - Cina 348
BR - Brasile 238
UA - Ucraina 237
IT - Italia 170
HK - Hong Kong 132
VN - Vietnam 122
DE - Germania 117
FI - Finlandia 92
RU - Federazione Russa 87
FR - Francia 52
SE - Svezia 44
IE - Irlanda 39
GB - Regno Unito 34
KR - Corea 34
TR - Turchia 33
AR - Argentina 30
IN - India 30
CA - Canada 27
BD - Bangladesh 20
IQ - Iraq 18
NL - Olanda 18
BE - Belgio 15
MX - Messico 12
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
KG - Kirghizistan 4
LT - Lituania 4
CR - Costa Rica 3
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
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
JM - Giamaica 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.813
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Singapore 318
Fairfield 223
Houston 213
Ashburn 204
Chandler 176
Jacksonville 167
Beijing 140
Hong Kong 131
Dearborn 116
Wilmington 98
Seattle 92
Cambridge 70
Udine 61
Hefei 60
Boardman 53
San Jose 49
Princeton 42
Ho Chi Minh City 41
Lauterbourg 40
Los Angeles 38
The Dalles 38
Dublin 36
Seoul 34
Izmir 23
São Paulo 23
New York 21
Buffalo 19
Hanoi 19
San Diego 18
Brussels 15
Redmond 15
Dallas 14
Munich 14
Trieste 14
Nanjing 13
Ottawa 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
Santa Clara 7
Tokyo 7
Turku 7
Amsterdam 6
Brasília 6
Kunming 6
Rezzato 6
Rio de Janeiro 6
Atlanta 5
Baton Rouge 5
Boston 5
Contagem 5
Haiphong 5
Jinan 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
Council Bluffs 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
Miami 3
Nairobi 3
Nova Iguaçu 3
Orem 3
Ribeirão Preto 3
Totale 3.789
Salva come PNG Salva come JPEG
Nome #
Bisimulation quantifiers and uniform interpolation for guarded first order logic 203
Mapping Sets and Hypersets into Numbers 203
The logic of the reverse mathematics zoo 186
A set-theoretic translation method for polymodal logics 179
A set-theoretic translation method for (poly)modal logics 179
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 171
Games, Automata, Logic, and Formal Verification (GandALF 2011) 159
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 158
Modal deduction in second-order logic and set theory. I 156
Complete Recursively Enumerable Relations in Arithmetic 156
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 154
Characterizing interpolation pairs in infinitary graded logics 151
mu-levels of interpolation 149
Logical Questions concerning the mu-calculus 145
On the Modal μ-Calculus over Finite Symmetric Graphs 141
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 137
Deciding the existence of Uniform Interpolants over Transitive Frames 137
Cayley graph of virtualy free groups 137
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 135
On Modal mu--Calculus in S5 and Applications 132
Extensions of S1S and the composition method 129
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 128
Uniform interpolation, bisimulation quantifiers and fixed points 124
Interpolation in non classical logic 122
Set-theoretic decidability results for modal theorem proving 119
Il X Problema di Hilbert 117
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 113
On modal mu-calculus with explicit interpolants 112
FINALITY REGAINED 111
Modal deduction in second-order logic and set theory. II 111
Uniform interpolation, automata and the modal mu-calculus 111
Self Applied proof verification 109
On modal µ-calculus over reflexive symmetric graphs 109
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 107
Uniform interpolation for propositional and modal team logics 107
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 106
On modal mu-calculus in S5 and application 102
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 101
Cascade products and Wheeler automata 95
On the µ-calculus over transitive and finite transitive frames 91
Ordering Regular Languages: A Danger Zone 77
A Linear-size Cascade Decomposition for Wheeler Automata 74
Co-lexicographically Ordering Automata and Regular Languages - Part I 73
Wheeler Languages 73
Regular languages meet prefix sorting 63
Ordering regular languages and automata: Complexity 62
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 55
Wheelerness and Complementation 24
null 21
null 3
Totale 5.917
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.788
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 20.788
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021105 0 0 0 0 0 0 0 0 0 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.559 163 197 177 229 197 121 163 67 119 126 0 0
Totale 5.917