RONCHI DELLA ROCCA, Simonetta
Distribuzione geografica
| Continente | # |
|---|---|
| NA - Nord America | 419 |
| EU - Europa | 181 |
| AS - Asia | 65 |
| SA - Sud America | 7 |
| OC - Oceania | 4 |
| AF - Africa | 1 |
| Continente sconosciuto - Info sul continente non disponibili | 1 |
| Totale | 678 |
| Nazione | # |
|---|---|
| US - Stati Uniti d'America | 417 |
| IT - Italia | 74 |
| FR - Francia | 28 |
| VN - Vietnam | 24 |
| DE - Germania | 16 |
| PL - Polonia | 16 |
| KR - Corea | 14 |
| CN - Cina | 12 |
| CZ - Repubblica Ceca | 10 |
| RU - Federazione Russa | 9 |
| GB - Regno Unito | 6 |
| AU - Australia | 4 |
| NL - Olanda | 4 |
| BR - Brasile | 3 |
| IN - India | 3 |
| JP - Giappone | 3 |
| PT - Portogallo | 3 |
| TH - Thailandia | 3 |
| UA - Ucraina | 3 |
| AT - Austria | 2 |
| CA - Canada | 2 |
| CH - Svizzera | 2 |
| CL - Cile | 2 |
| DK - Danimarca | 2 |
| ID - Indonesia | 2 |
| IE - Irlanda | 2 |
| PH - Filippine | 2 |
| A2 - ???statistics.table.value.countryCode.A2??? | 1 |
| AE - Emirati Arabi Uniti | 1 |
| AR - Argentina | 1 |
| BY - Bielorussia | 1 |
| IL - Israele | 1 |
| PY - Paraguay | 1 |
| RO - Romania | 1 |
| RS - Serbia | 1 |
| SE - Svezia | 1 |
| ZA - Sudafrica | 1 |
| Totale | 678 |
| Città | # |
|---|---|
| Fairfield | 54 |
| Ashburn | 38 |
| Buffalo | 37 |
| Seattle | 28 |
| Woodbridge | 28 |
| Houston | 25 |
| Santa Cruz | 22 |
| Dong Ket | 20 |
| Torino | 20 |
| Cambridge | 18 |
| University Park | 18 |
| Warsaw | 16 |
| Wilmington | 16 |
| Pisa | 14 |
| Mountain View | 11 |
| Ann Arbor | 7 |
| Clearwater | 5 |
| Chicago | 4 |
| Paris | 4 |
| Phoenix | 4 |
| Provo | 4 |
| Shanghai | 4 |
| Bangkok | 3 |
| Bengaluru | 3 |
| Bologna | 3 |
| Lake Forest | 3 |
| San Diego | 3 |
| Wuhan | 3 |
| Amsterdam | 2 |
| Council Bluffs | 2 |
| Dearborn | 2 |
| Dublin | 2 |
| Frattamaggiore | 2 |
| Las Vegas | 2 |
| Lousada | 2 |
| Lowell | 2 |
| Riva | 2 |
| Saint Petersburg | 2 |
| San Francisco | 2 |
| Tappahannock | 2 |
| Udine | 2 |
| Aiken | 1 |
| Akron | 1 |
| Altleiningen | 1 |
| Austin | 1 |
| Avignon | 1 |
| Beijing | 1 |
| Beograd | 1 |
| Bloomfield | 1 |
| Boardman | 1 |
| Bottanuco | 1 |
| Brasília | 1 |
| Brooklyn | 1 |
| Buenos Aires | 1 |
| Canejan | 1 |
| Cisterna Di Latina | 1 |
| Crugers | 1 |
| Créteil | 1 |
| Dallas | 1 |
| Dortmund | 1 |
| Dulles | 1 |
| Easton | 1 |
| Fernando De La Mora | 1 |
| Fornovo di Taro | 1 |
| Frankfurt Am Main | 1 |
| Genova | 1 |
| Göteborg | 1 |
| Hanoi | 1 |
| Henderson | 1 |
| Herndon | 1 |
| Landshut | 1 |
| Leesburg | 1 |
| Lomazzo | 1 |
| Los Angeles | 1 |
| Lugano | 1 |
| Lyon | 1 |
| Milan | 1 |
| Muizenberg | 1 |
| New York | 1 |
| Nürnberg | 1 |
| Parsippany | 1 |
| Porto | 1 |
| Recife | 1 |
| Roasio | 1 |
| Saint Cloud | 1 |
| San Jose | 1 |
| Sant'Agata Bolognese | 1 |
| Tokyo | 1 |
| Toronto | 1 |
| Trento | 1 |
| Turin | 1 |
| Villa | 1 |
| Westbury | 1 |
| Wiesbaden | 1 |
| Yellow Springs | 1 |
| Totale | 495 |
| Nome | # |
|---|---|
| The Inhabitation Problem for Non-Idempotent Intersection Types, file e27ce429-26fc-2581-e053-d805fe0acbaa | 142 |
| null, file e27ce429-2b95-2581-e053-d805fe0acbaa | 124 |
| Bounding normalization time through intersection types, file e27ce429-2c04-2581-e053-d805fe0acbaa | 123 |
| Standardization of a Call-By-Value Lambda-Calculus, file e27ce428-0dc6-2581-e053-d805fe0acbaa | 96 |
| Call-by-Value Solvability, file e27ce42f-e7a6-2581-e053-d805fe0acbaa | 73 |
| Observability for Pair Pattern Calculi, file e27ce427-9e44-2581-e053-d805fe0acbaa | 44 |
| Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus, file e27ce42c-b0be-2581-e053-d805fe0acbaa | 30 |
| Solvability in a probabilistic setting, file e27ce431-3840-2581-e053-d805fe0acbaa | 30 |
| Inhabitation for non-idempotent intersection types, file e27ce42d-a839-2581-e053-d805fe0acbaa | 21 |
| Essential and relational models, file e27ce433-3a13-2581-e053-d805fe0acbaa | 9 |
| Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus, file e27ce432-55b9-2581-e053-d805fe0acbaa | 7 |
| Intersection types from a proof theoretic perspective, file e27ce426-b05b-2581-e053-d805fe0acbaa | 5 |
| Strong Normalization from an unusual point of view, file e27ce428-d6b3-2581-e053-d805fe0acbaa | 2 |
| Solvability in Resource Lambda Calculus, file e27ce429-228d-2581-e053-d805fe0acbaa | 2 |
| The Parametric Lambda-Calculus: a Metamodel for Computation, file e27ce42b-bed9-2581-e053-d805fe0acbaa | 2 |
| Essential and relational models, file e27ce42f-fab1-2581-e053-d805fe0acbaa | 2 |
| Parametric parameter passing lambda-calculus, file e27ce426-b0c3-2581-e053-d805fe0acbaa | 1 |
| Totale | 713 |
| Categoria | # |
|---|---|
| all - tutte | 1.377 |
| article - articoli | 0 |
| book - libri | 0 |
| conference - conferenze | 891 |
| curatela - curatele | 0 |
| other - altro | 0 |
| patent - brevetti | 0 |
| selected - selezionate | 0 |
| volume - volumi | 0 |
| Totale | 2.268 |
| Totale | Lug | Ago | Sett | Ott | Nov | Dic | Gen | Feb | Mar | Apr | Mag | Giu | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2018/2019 | 64 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38 | 26 |
| 2019/2020 | 139 | 15 | 9 | 10 | 20 | 14 | 13 | 11 | 8 | 17 | 7 | 4 | 11 |
| 2020/2021 | 110 | 1 | 17 | 5 | 13 | 6 | 3 | 8 | 8 | 10 | 5 | 15 | 19 |
| 2021/2022 | 163 | 22 | 16 | 8 | 13 | 19 | 5 | 21 | 12 | 2 | 8 | 29 | 8 |
| 2022/2023 | 87 | 0 | 8 | 27 | 14 | 7 | 7 | 8 | 1 | 5 | 2 | 8 | 0 |
| 2023/2024 | 41 | 1 | 1 | 7 | 1 | 4 | 1 | 7 | 8 | 3 | 3 | 5 | 0 |
| Totale | 713 | ||||||||||||