FIORINO, GUIDO GIUSEPPE
Distribuzione geografica
| Continente | # |
|---|---|
| EU - Europa | 224 |
| NA - Nord America | 158 |
| AS - Asia | 67 |
| AF - Africa | 5 |
| SA - Sud America | 1 |
| Totale | 455 |
| Nazione | # |
|---|---|
| US - Stati Uniti d'America | 151 |
| DE - Germania | 78 |
| IT - Italia | 51 |
| GB - Regno Unito | 25 |
| CN - Cina | 24 |
| FR - Francia | 18 |
| RU - Federazione Russa | 16 |
| JP - Giappone | 10 |
| IN - India | 6 |
| TR - Turchia | 6 |
| CA - Canada | 5 |
| IL - Israele | 5 |
| IR - Iran | 5 |
| NL - Olanda | 5 |
| VN - Vietnam | 5 |
| BE - Belgio | 4 |
| CH - Svizzera | 4 |
| AT - Austria | 3 |
| CZ - Repubblica Ceca | 3 |
| IE - Irlanda | 3 |
| UA - Ucraina | 3 |
| ZA - Sudafrica | 3 |
| AE - Emirati Arabi Uniti | 2 |
| BA - Bosnia-Erzegovina | 2 |
| ES - Italia | 2 |
| PL - Polonia | 2 |
| SE - Svezia | 2 |
| SG - Singapore | 2 |
| BR - Brasile | 1 |
| DZ - Algeria | 1 |
| ET - Etiopia | 1 |
| FI - Finlandia | 1 |
| GE - Georgia | 1 |
| ID - Indonesia | 1 |
| MX - Messico | 1 |
| PA - Panama | 1 |
| RO - Romania | 1 |
| SK - Slovacchia (Repubblica Slovacca) | 1 |
| Totale | 455 |
| Città | # |
|---|---|
| Mountain View | 20 |
| University Park | 16 |
| Frankfurt am Main | 12 |
| Ashburn | 11 |
| Fairfield | 9 |
| Shanghai | 9 |
| Santa Cruz | 8 |
| Ann Arbor | 7 |
| London | 7 |
| Rome | 7 |
| Seattle | 7 |
| Woodbridge | 7 |
| Beijing | 6 |
| Milan | 6 |
| Houston | 5 |
| Izmir | 5 |
| Moscow | 5 |
| Wuhan | 5 |
| Brussels | 4 |
| Salenstein | 4 |
| Swansea | 4 |
| Bedford | 3 |
| Cagliari | 3 |
| Dublin | 3 |
| Knoxville | 3 |
| Lake Forest | 3 |
| Vienna | 3 |
| Warrenville | 3 |
| Yakum | 3 |
| Aiken | 2 |
| Amsterdam | 2 |
| Bengaluru | 2 |
| Cambridge | 2 |
| Delmar | 2 |
| Des Moines | 2 |
| Dong Ket | 2 |
| Dubai | 2 |
| Higashimurayama | 2 |
| Ladispoli | 2 |
| Leawood | 2 |
| Ottawa | 2 |
| Queens | 2 |
| Sainte-Therese | 2 |
| Sarajevo | 2 |
| Taranto | 2 |
| Alba | 1 |
| Andover | 1 |
| Auburn | 1 |
| Bangalore | 1 |
| Bari | 1 |
| Basking Ridge | 1 |
| Boardman | 1 |
| Bucharest | 1 |
| Buffalo | 1 |
| Cape Town | 1 |
| Cereta | 1 |
| Cernusco Sul Naviglio | 1 |
| Chiba | 1 |
| Council Bluffs | 1 |
| Da Nang | 1 |
| Delhi | 1 |
| East Brunswick | 1 |
| Ebina | 1 |
| Falun | 1 |
| Gdansk | 1 |
| Gloucester | 1 |
| Groningen | 1 |
| Haifa | 1 |
| Hangzhou | 1 |
| Helsinki | 1 |
| Jerusalem | 1 |
| Khimki | 1 |
| Limoeiro do Norte | 1 |
| Los Angeles | 1 |
| Mcallen | 1 |
| Melegnano | 1 |
| Middletown | 1 |
| Minatomirai | 1 |
| Narni | 1 |
| New York | 1 |
| Nicholasville | 1 |
| Norwalk | 1 |
| Oldenburg | 1 |
| Osse | 1 |
| Ottobrunn | 1 |
| Palo Alto | 1 |
| Parabiago | 1 |
| Pietra Ligure | 1 |
| Pisa | 1 |
| Piscataway | 1 |
| Pozzuolo Martesana | 1 |
| Pune | 1 |
| Remington | 1 |
| Rende | 1 |
| Rennes | 1 |
| Rzeszów | 1 |
| Salerno | 1 |
| Toronto | 1 |
| Turin | 1 |
| Valencia | 1 |
| Totale | 275 |
| Nome | # |
|---|---|
| Optimization techniques for intuitionistic propositional logic and their implementation, file e39773b1-2cc8-35a3-e053-3a05fe0aac26 | 229 |
| A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic, file e39773b6-54c8-35a3-e053-3a05fe0aac26 | 75 |
| Taming Implications in Dummett Logic, file e39773b1-3e97-35a3-e053-3a05fe0aac26 | 72 |
| Towards the use of simplification rules in intuitionistic tableaux, file e39773b1-3e99-35a3-e053-3a05fe0aac26 | 47 |
| A constructive semantics for ALC, file e39773b1-2100-35a3-e053-3a05fe0aac26 | 35 |
| An evaluation-driven decision procedure for G3i, file e39773b8-59c2-35a3-e053-3a05fe0aac26 | 1 |
| Totale | 459 |
| Categoria | # |
|---|---|
| all - tutte | 956 |
| 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 | 956 |
| Totale | Lug | Ago | Sett | Ott | Nov | Dic | Gen | Feb | Mar | Apr | Mag | Giu | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2018/2019 | 14 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5 | 9 |
| 2019/2020 | 37 | 3 | 5 | 3 | 1 | 0 | 3 | 5 | 8 | 6 | 2 | 0 | 1 |
| 2020/2021 | 44 | 1 | 6 | 3 | 8 | 4 | 3 | 5 | 3 | 2 | 1 | 3 | 5 |
| 2021/2022 | 71 | 2 | 8 | 4 | 2 | 12 | 2 | 5 | 4 | 8 | 1 | 17 | 6 |
| 2022/2023 | 94 | 3 | 10 | 17 | 11 | 5 | 15 | 2 | 5 | 6 | 4 | 12 | 4 |
| 2023/2024 | 52 | 0 | 4 | 6 | 7 | 4 | 7 | 5 | 8 | 4 | 7 | 0 | 0 |
| Totale | 459 | ||||||||||||