IRIS
D'AGOSTINO, Giovanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.510
EU - Europa 652
AS - Asia 307
SA - Sud America 3
AF - Africa 2
OC - Oceania 1
Totale 3.475
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.497
UA - Ucraina 234
SG - Singapore 145
CN - Cina 132
IT - Italia 131
DE - Germania 89
FI - Finlandia 78
IE - Irlanda 37
SE - Svezia 37
TR - Turchia 23
BE - Belgio 14
GB - Regno Unito 14
CA - Canada 13
FR - Francia 8
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
ES - Italia 1
IN - India 1
IR - Iran 1
TG - Togo 1
TW - Taiwan 1
Totale 3.475
Salva come PNG Salva come JPEG
Città #
Woodbridge 414
Ann Arbor 393
Fairfield 222
Houston 208
Chandler 176
Jacksonville 167
Singapore 129
Dearborn 116
Ashburn 99
Wilmington 98
Seattle 88
Cambridge 70
Udine 57
Boardman 52
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
Baton Rouge 5
Helsinki 5
Jinan 5
Norwalk 5
Shanghai 5
Dong Ket 4
Milan 4
Guangzhou 3
San Francisco 3
Baotou 2
Chongqing 2
Columbus 2
Fayetteville 2
Fuzhou 2
Guiyang 2
Harbin 2
Lappeenranta 2
Le Havre 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
Garden City 1
Grafing 1
Hebei 1
Jiaxing 1
Jinhua 1
Lanzhou 1
Leesburg 1
Lomé 1
Los Angeles 1
Madrid 1
Menlo Park 1
Ningbo 1
Nuremberg 1
Padova 1
Pont-Péan 1
Rennes 1
Saarbrücken 1
San Giorgio di Nogaro 1
Sottoselva 1
Sydney 1
Taipei 1
Taizhou 1
Torrile 1
Valfenera 1
Washington 1
Yellow Springs 1
Zhengzhou 1
Totale 2.689
Salva come PNG Salva come JPEG
Nome #
Bisimulation quantifiers and uniform interpolation for guarded first order logic 144
The logic of the reverse mathematics zoo 142
Mapping Sets and Hypersets into Numbers 136
A set-theoretic translation method for (poly)modal logics 124
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs 121
A set-theoretic translation method for polymodal logics 117
On the Modal μ-Calculus over Finite Symmetric Graphs 116
mu-levels of interpolation 115
Modal deduction in second-order logic and set theory. I 110
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames 110
Games, Automata, Logic, and Formal Verification (GandALF 2011) 108
Translating the hypergame Paradox; remarks on the set of founded elements of a relation 100
Complete Recursively Enumerable Relations in Arithmetic 95
Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, 95
Logical Questions concerning the mu-calculus 94
Characterizing interpolation pairs in infinitary graded logics 94
Extensions of S1S and the composition method 85
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories 84
Cayley graph of virtualy free groups 83
Deciding the existence of Uniform Interpolants over Transitive Frames 82
Uniform interpolation, bisimulation quantifiers and fixed points 79
Set-theoretic decidability results for modal theorem proving 78
On Modal mu--Calculus in S5 and Applications 77
Il X Problema di Hilbert 72
An axiomatization of Bisimulation Quantifiers via the mu-calculus, 72
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 70
Interpolation in non classical logic 70
On Non-Well-founded Multisets: Scott Collapse in the Multiworld, in Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 69
FINALITY REGAINED 66
Self Applied proof verification 66
On modal µ-calculus over reflexive symmetric graphs 66
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH 65
Modal deduction in second-order logic and set theory. II 61
On modal mu-calculus in S5 and application 61
On the µ-calculus over transitive and finite transitive frames 60
On modal mu-calculus with explicit interpolants 59
Uniform interpolation, automata and the modal mu-calculus 59
Uniform interpolation for propositional and modal team logics 58
On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components 57
Wheeler Languages 33
Regular languages meet prefix sorting 23
Ordering Regular Languages: A Danger Zone 21
Co-lexicographically Ordering Automata and Regular Languages - Part I 18
A Linear-size Cascade Decomposition for Wheeler Automata 18
Cascade products and Wheeler automata 15
Ordering regular languages and automata: Complexity 10
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. 9
null 3
Totale 3.570
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.720
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 12.720
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020651 0 0 0 0 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/2024112 16 13 6 12 13 11 0 3 18 9 1 10
2024/2025214 8 61 56 38 51 0 0 0 0 0 0 0
Totale 3.570