IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.452
EU - Europa 642
AS - Asia 154
SA - Sud America 3
AF - Africa 2
OC - Oceania 1
Totale 3.254
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.439
UA - Ucraina 234
IT - Italia 127
CN - Cina 124
DE - Germania 89
FI - Finlandia 76
IE - Irlanda 37
SE - Svezia 37
TR - Turchia 23
BE - Belgio 14
GB - Regno Unito 14
CA - Canada 13
FR - Francia 5
NL - Olanda 5
VN - Vietnam 4
BR - Brasile 2
DK - Danimarca 2
RU - Federazione Russa 2
AU - Australia 1
CL - Cile 1
CM - Camerun 1
IN - India 1
IR - Iran 1
TG - Togo 1
TW - Taiwan 1
Totale 3.254
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Fairfield 222
Houston 208
Chandler 176
Jacksonville 167
Dearborn 116
Ashburn 99
Wilmington 98
Seattle 88
Cambridge 70
Udine 57
Beijing 46
Princeton 42
Dublin 35
Izmir 23
San Diego 18
Redmond 15
Brussels 14
Hefei 13
Nanjing 12
Des Moines 11
Ottawa 11
Trieste 11
Ogden 10
Nanchang 7
New York 7
Kunming 6
Rezzato 6
Jinan 5
Norwalk 5
Boardman 4
Dong Ket 4
Helsinki 4
Milan 4
Shanghai 4
San Francisco 3
Baotou 2
Chongqing 2
Guangzhou 2
Guiyang 2
Harbin 2
Lignano Sabbiadoro 2
Montréal 2
Phoenix 2
Rio De Janeiro 2
Sapri 2
Shenyang 2
Tesero 2
Villafranca Padovana 2
Wuhan 2
Xian 2
Agugliano 1
Andover 1
Ardabil 1
Aviano 1
Birmingham 1
Bologna 1
Casier 1
Chengdu 1
Erlangen 1
Fuzhou 1
Garden City 1
Grafing 1
Hebei 1
Jiaxing 1
Jinhua 1
Lanzhou 1
Lappeenranta 1
Leesburg 1
Lomé 1
Los Angeles 1
Menlo Park 1
Ningbo 1
Nuremberg 1
Padova 1
Rennes 1
Saarbrücken 1
Sydney 1
Taipei 1
Taizhou 1
Torrile 1
Valfenera 1
Washington 1
Yellow Springs 1
Zhengzhou 1
Totale 2.492
Salva come PNG Salva come JPEG
Nome #
The logic of the reverse mathematics zoo 137
Bisimulation quantifiers and uniform interpolation for guarded first order logic 136
Mapping Sets and Hypersets into Numbers 130
A set-theoretic translation method for (poly)modal logics 120
A set-theoretic translation method for polymodal logics 113
On the Modal μ-Calculus over Finite Symmetric Graphs 111
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 111
mu-levels of interpolation 110
Modal deduction in second-order logic and set theory. I 106
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 104
Games, Automata, Logic, and Formal Verification (GandALF 2011) 104
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 95
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 92
Characterizing interpolation pairs in infinitary graded logics 90
Complete Recursively Enumerable Relations in Arithmetic 89
Logical Questions concerning the mu-calculus 87
Extensions of S1S and the composition method 82
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 81
Cayley graph of virtualy free groups 78
Deciding the existence of Uniform Interpolants over Transitive Frames 77
Uniform interpolation, bisimulation quantifiers and fixed points 76
Set-theoretic decidability results for modal theorem proving 75
On Modal mu--Calculus in S5 and Applications 74
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 67
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 67
Interpolation in non classical logic 67
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 66
Il X Problema di Hilbert 64
Self Applied proof verification 64
On modal µ-calculus over reflexive symmetric graphs 63
FINALITY REGAINED 61
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 61
On modal mu-calculus in S5 and application 58
On the µ-calculus over transitive and finite transitive frames 57
On modal mu-calculus with explicit interpolants 56
Uniform interpolation, automata and the modal mu-calculus 56
Uniform interpolation for propositional and modal team logics 56
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 55
Modal deduction in second-order logic and set theory. II 55
Wheeler Languages 29
Regular languages meet prefix sorting 18
Ordering Regular Languages: A Danger Zone 16
Co-lexicographically Ordering Automata and Regular Languages - Part I 13
Ordering regular languages and automata: Complexity 7
A Linear-size Cascade Decomposition for Wheeler Automata 6
null 3
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 3
Totale 3.346
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.108
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 10.108
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019154 0 0 0 0 0 0 0 0 0 0 99 55
2019/2020842 32 25 21 113 56 155 133 90 52 68 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/2024102 16 13 6 12 13 11 0 3 18 9 1 0
Totale 3.346