IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.579
EU - Europa 785
AS - Asia 499
SA - Sud America 59
AF - Africa 4
OC - Oceania 1
Totale 3.927
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.557
SG - Singapore 288
UA - Ucraina 234
IT - Italia 147
CN - Cina 141
DE - Germania 97
RU - Federazione Russa 83
FI - Finlandia 78
BR - Brasile 57
IE - Irlanda 38
SE - Svezia 38
KR - Corea 27
GB - Regno Unito 24
TR - Turchia 24
CA - Canada 19
BE - Belgio 15
NL - Olanda 10
FR - Francia 9
VN - Vietnam 4
CH - Svizzera 2
DK - Danimarca 2
HK - Hong Kong 2
MX - Messico 2
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
CL - Cile 1
CM - Camerun 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ES - Italia 1
GR - Grecia 1
IL - Israele 1
IN - India 1
IQ - Iraq 1
IR - Iran 1
JP - Giappone 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LT - Lituania 1
LV - Lettonia 1
PA - Panama 1
PK - Pakistan 1
PL - Polonia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TM - Turkmenistan 1
TN - Tunisia 1
TW - Taiwan 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 3.927
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Fairfield 222
Houston 208
Singapore 208
Chandler 176
Jacksonville 167
Dearborn 116
Ashburn 99
Wilmington 98
Seattle 89
Cambridge 70
Udine 60
Boardman 52
Beijing 51
Princeton 42
Dublin 36
Seoul 27
Izmir 23
San Diego 18
Brussels 15
Redmond 15
Hefei 13
Ottawa 13
Nanjing 12
Des Moines 11
Trieste 11
New York 10
Ogden 10
London 7
Nanchang 7
São Paulo 7
Brooklyn 6
Kunming 6
Los Angeles 6
Rezzato 6
Baton Rouge 5
Helsinki 5
Jinan 5
Norwalk 5
San Francisco 5
Shanghai 5
Diemen 4
Dong Ket 4
Frankfurt am Main 4
Milan 4
Padova 4
The Dalles 4
Toronto 4
Bologna 3
Contagem 3
Guangzhou 3
Juiz de Fora 3
San Polo di Piave 3
Baotou 2
Boston 2
Chongqing 2
Columbus 2
Durham 2
Fayetteville 2
Fuzhou 2
Guiyang 2
Harbin 2
Hong Kong 2
Joinville 2
Lappeenranta 2
Le Havre 2
Lignano Sabbiadoro 2
Montréal 2
Moscow 2
Neuenhof 2
Petrolina 2
Phoenix 2
Rio De Janeiro 2
Santa Clara 2
Sapri 2
Shenyang 2
Tesero 2
Villafranca Padovana 2
Wuhan 2
Xian 2
Agugliano 1
Almaty 1
Alvorada 1
Andover 1
Ardabil 1
Artur Nogueira 1
Aryanah 1
Ashgabat 1
Aviano 1
Barueri 1
Batna City 1
Belluno 1
Birmingham 1
Bishkek 1
Brasília 1
Bratislava 1
Cabreúva 1
Cajamar 1
Campanha 1
Totale 2.870
Salva come PNG Salva come JPEG
Nome #
Bisimulation quantifiers and uniform interpolation for guarded first order logic 155
The logic of the reverse mathematics zoo 149
Mapping Sets and Hypersets into Numbers 143
A set-theoretic translation method for (poly)modal logics 137
A set-theoretic translation method for polymodal logics 130
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 130
Modal deduction in second-order logic and set theory. I 121
mu-levels of interpolation 121
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 119
On the Modal μ-Calculus over Finite Symmetric Graphs 119
Games, Automata, Logic, and Formal Verification (GandALF 2011) 117
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 108
Complete Recursively Enumerable Relations in Arithmetic 106
Characterizing interpolation pairs in infinitary graded logics 105
Logical Questions concerning the mu-calculus 103
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 99
On Modal mu--Calculus in S5 and Applications 97
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 96
Extensions of S1S and the composition method 95
Deciding the existence of Uniform Interpolants over Transitive Frames 93
Cayley graph of virtualy free groups 92
Set-theoretic decidability results for modal theorem proving 88
Uniform interpolation, bisimulation quantifiers and fixed points 88
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 84
Il X Problema di Hilbert 82
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 82
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 80
FINALITY REGAINED 79
Interpolation in non classical logic 79
Self Applied proof verification 72
Modal deduction in second-order logic and set theory. II 72
Uniform interpolation, automata and the modal mu-calculus 71
On modal µ-calculus over reflexive symmetric graphs 69
On modal mu-calculus in S5 and application 69
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 69
On modal mu-calculus with explicit interpolants 68
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 66
On the µ-calculus over transitive and finite transitive frames 65
Uniform interpolation for propositional and modal team logics 62
Wheeler Languages 43
Cascade products and Wheeler automata 34
Co-lexicographically Ordering Automata and Regular Languages - Part I 33
Regular languages meet prefix sorting 33
Ordering Regular Languages: A Danger Zone 32
Ordering regular languages and automata: Complexity 22
null 21
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 16
A Linear-size Cascade Decomposition for Wheeler Automata 11
null 3
Totale 4.028
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.427
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 15.427
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202097 0 0 0 0 0 0 0 0 0 0 33 64
2020/2021481 7 48 11 50 14 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/2025672 8 61 56 38 73 31 56 41 62 78 168 0
Totale 4.028