D'AGOSTINO, Giovanna
 Distribuzione geografica
Continente #
NA - Nord America 346
EU - Europa 115
AS - Asia 17
AF - Africa 7
SA - Sud America 5
OC - Oceania 4
Totale 494
Nazione #
US - Stati Uniti d'America 340
IT - Italia 80
CN - Cina 7
DE - Germania 7
GB - Regno Unito 6
ZA - Sudafrica 6
RU - Federazione Russa 5
AU - Australia 4
CA - Canada 4
FR - Francia 4
IN - India 4
BR - Brasile 3
IE - Irlanda 3
PL - Polonia 3
VN - Vietnam 3
CL - Cile 2
IR - Iran 2
LT - Lituania 2
SE - Svezia 2
CH - Svizzera 1
CU - Cuba 1
FI - Finlandia 1
JP - Giappone 1
KE - Kenya 1
MX - Messico 1
UA - Ucraina 1
Totale 494
Città #
Udine 45
Fairfield 40
Houston 27
Santa Cruz 26
Buffalo 23
Ashburn 20
Wilmington 20
Seattle 19
Ann Arbor 16
Woodbridge 16
Cambridge 14
Siziano 7
Des Moines 6
Chicago 5
Muizenberg 5
Lake Forest 4
Las Vegas 4
Zero Branco 4
Dallas 3
Dublin 3
Easton 3
Los Angeles 3
Mountain View 3
Ottawa 3
San Diego 3
San Francisco 3
Baltimore 2
Dong Ket 2
Grossenkneten 2
Hangzhou 2
New York 2
Palo Alto 2
Paris 2
Phoenix 2
Stockholm 2
Torun 2
University Park 2
Aachen 1
Agugliano 1
Austin 1
Beijing 1
Bengaluru 1
Boardman 1
Bolzano 1
Boulder 1
Büdelsdorf 1
Cedar Knolls 1
Chennai 1
Clearwater 1
Cuautitlán Izcalli 1
Florence 1
Frankfurt Am Main 1
Hanoi 1
Helsinki 1
Herndon 1
Hillsboro 1
Isfahan 1
Jacksonville 1
La Habana 1
Monmouth Junction 1
Nairobi 1
Nancy 1
Palermo 1
Parsippany 1
Pistoia 1
Pittsburgh 1
Provo 1
Rennes 1
Riva 1
San Donà Di Piave 1
San Giovanni Lupatoto 1
San Jose 1
San Mateo 1
Scarsdale 1
Scranton 1
Shanghai 1
Silverton 1
Sunnyvale 1
São José Dos Campos 1
São Paulo 1
Tampa 1
Toronto 1
Warrington 1
Warsaw 1
Washington 1
Zurich 1
Totale 396
Nome #
Mapping Sets and Hypersets into Numbers, file e27ce0c2-5e50-055e-e053-6605fe0a7873 214
The logic of the reverse mathematics zoo, file e27ce0c5-6a21-055e-e053-6605fe0a7873 125
Uniform interpolation for propositional and modal team logics, file e27ce0c7-9e60-055e-e053-6605fe0a7873 86
Bisimulation quantifiers and uniform interpolation for guarded first order logic, file e27ce0c1-f8da-055e-e053-6605fe0a7873 26
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs, file e27ce0c9-9f56-055e-e053-6605fe0a7873 23
Wheeler Languages, file e27ce0ca-1ce9-055e-e053-6605fe0a7873 15
mu-levels of interpolation, file e27ce0c9-8fb3-055e-e053-6605fe0a7873 9
A Linear-size Cascade Decomposition for Wheeler Automata, file 56892945-5a15-4eb5-bd72-9cf6708a83d6 4
Ordering Regular Languages: A Danger Zone, file e27ce0c9-e9b5-055e-e053-6605fe0a7873 4
Uniform interpolation for propositional and modal team logics, file e27ce0c9-589f-055e-e053-6605fe0a7873 3
On the µ-calculus over transitive and finite transitive frames, file e27ce0c1-d9ae-055e-e053-6605fe0a7873 2
Deciding the existence of Uniform Interpolants over Transitive Frames, file e27ce0c1-e00b-055e-e053-6605fe0a7873 2
ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH, file e27ce0c1-f286-055e-e053-6605fe0a7873 2
On modal mu-calculus with explicit interpolants, file e27ce0c1-cf12-055e-e053-6605fe0a7873 1
Modal deduction in second-order logic and set theory. I, file e27ce0c1-d53f-055e-e053-6605fe0a7873 1
Modal deduction in second-order logic and set theory. II, file e27ce0c1-e3a2-055e-e053-6605fe0a7873 1
On Modal mu--Calculus in S5 and Applications, file e27ce0c1-f28c-055e-e053-6605fe0a7873 1
Totale 519
Categoria #
all - tutte 804
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 804


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201922 0 0 0 0 0 0 0 0 0 0 11 11
2019/202089 9 7 4 9 7 5 10 11 13 3 7 4
2020/202193 7 4 4 2 5 7 6 10 15 12 4 17
2021/2022167 4 6 12 22 26 7 16 2 10 14 38 10
2022/202388 6 4 23 10 6 13 8 1 4 3 6 4
2023/202440 8 10 7 4 0 4 0 0 2 5 0 0
Totale 519