DI STASIO, ANTONIO
Distribuzione geografica
| Continente | # |
|---|---|
| NA - Nord America | 341 |
| EU - Europa | 185 |
| AS - Asia | 42 |
| AF - Africa | 3 |
| OC - Oceania | 2 |
| SA - Sud America | 1 |
| Totale | 574 |
| Nazione | # |
|---|---|
| US - Stati Uniti d'America | 329 |
| IT - Italia | 51 |
| GB - Regno Unito | 27 |
| FR - Francia | 20 |
| FI - Finlandia | 18 |
| DE - Germania | 14 |
| CN - Cina | 13 |
| CA - Canada | 12 |
| NL - Olanda | 9 |
| ES - Italia | 8 |
| CH - Svizzera | 7 |
| IN - India | 7 |
| IR - Iran | 6 |
| AT - Austria | 5 |
| BE - Belgio | 5 |
| JP - Giappone | 4 |
| RU - Federazione Russa | 4 |
| BG - Bulgaria | 3 |
| SE - Svezia | 3 |
| SG - Singapore | 3 |
| UA - Ucraina | 3 |
| CZ - Repubblica Ceca | 2 |
| HK - Hong Kong | 2 |
| IE - Irlanda | 2 |
| IL - Israele | 2 |
| PH - Filippine | 2 |
| PL - Polonia | 2 |
| ZA - Sudafrica | 2 |
| AR - Argentina | 1 |
| AU - Australia | 1 |
| ID - Indonesia | 1 |
| NO - Norvegia | 1 |
| NZ - Nuova Zelanda | 1 |
| RO - Romania | 1 |
| SC - Seychelles | 1 |
| TR - Turchia | 1 |
| TW - Taiwan | 1 |
| Totale | 574 |
| Città | # |
|---|---|
| Santa Cruz | 44 |
| Rome | 36 |
| Houston | 32 |
| Ann Arbor | 25 |
| Fairfield | 21 |
| Ashburn | 20 |
| Lappeenranta | 14 |
| Buffalo | 13 |
| Seattle | 13 |
| Cambridge | 10 |
| Chicago | 10 |
| Woodbridge | 8 |
| Wilmington | 7 |
| San Diego | 6 |
| Bristol | 5 |
| Los Angeles | 5 |
| Montreal | 5 |
| Vienna | 5 |
| Boardman | 4 |
| Esneux | 4 |
| Helsinki | 4 |
| Oxford | 4 |
| Toronto | 4 |
| Berlin | 3 |
| Culemborg | 3 |
| Henderson | 3 |
| Mountain View | 3 |
| Provo | 3 |
| Anaheim | 2 |
| Andover | 2 |
| Bagumbayan | 2 |
| Bengaluru | 2 |
| Brighton | 2 |
| Brno | 2 |
| Cedar Knolls | 2 |
| Clearwater | 2 |
| Dallas | 2 |
| Dublin | 2 |
| Genova | 2 |
| Guangzhou | 2 |
| Jacksonville | 2 |
| Kashan | 2 |
| Madrid | 2 |
| Montagny | 2 |
| New York | 2 |
| Nîmes | 2 |
| Ottawa | 2 |
| Palaiseau | 2 |
| Paris | 2 |
| Pasadena | 2 |
| Reston | 2 |
| Shanghai | 2 |
| Sofia | 2 |
| Stanford | 2 |
| Stockholm | 2 |
| Xiamen | 2 |
| Aachen | 1 |
| Arlington | 1 |
| Atlanta | 1 |
| Augusta | 1 |
| Barcelona | 1 |
| Bernal | 1 |
| Bicester | 1 |
| Birmingham | 1 |
| Bloomington | 1 |
| Bordeaux | 1 |
| Boulder | 1 |
| Brescia | 1 |
| Büdelsdorf | 1 |
| Carolina | 1 |
| Christchurch | 1 |
| Cologne | 1 |
| Columbus | 1 |
| Craiova | 1 |
| Cricklewood | 1 |
| Delft | 1 |
| Delhi | 1 |
| Des Moines | 1 |
| Dresden | 1 |
| Falls Church | 1 |
| Flawinne | 1 |
| Giresun | 1 |
| Grenoble | 1 |
| Groningen | 1 |
| Gurgaon | 1 |
| Hong Kong | 1 |
| Honolulu | 1 |
| Jakarta | 1 |
| Jersey City | 1 |
| Jinan | 1 |
| Kish | 1 |
| Lake Forest | 1 |
| Leipzig | 1 |
| Liverpool | 1 |
| London | 1 |
| Lynchburg | 1 |
| Lübeck | 1 |
| Manchester | 1 |
| Miami | 1 |
| Milan | 1 |
| Totale | 414 |
| Nome | # |
|---|---|
| Solving parity games: Explicit vs symbolic, file e3835326-4380-15e8-e053-a505fe0a3de9 | 176 |
| Pure-Past Linear Temporal and Dynamic Logic on Finite Traces, file e3835326-23b5-15e8-e053-a505fe0a3de9 | 133 |
| Two-Stage Technique for LTLf Synthesis Under LTL Assumptions, file e3835327-b53b-15e8-e053-a505fe0a3de9 | 102 |
| Solving Parity Games in Scala, file e3835326-1706-15e8-e053-a505fe0a3de9 | 60 |
| Solving parity games using an automata-based algorithm, file e3835325-ffec-15e8-e053-a505fe0a3de9 | 59 |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis, file e383532e-b24f-15e8-e053-a505fe0a3de9 | 41 |
| Synthesis with mandatory stop actions, file e383532d-16d0-15e8-e053-a505fe0a3de9 | 12 |
| Improving parity games in practice, file b3e5b1aa-a92f-4c4d-b0f3-734ea13b8c0d | 6 |
| Dynamic escape game, file e3835326-1892-15e8-e053-a505fe0a3de9 | 6 |
| Compositional Safety LTL Synthesis, file c2a9e7c0-37e7-4151-920a-ffe01a1be515 | 2 |
| Imperfect-information games and generalized planning, file e3835321-1f59-15e8-e053-a505fe0a3de9 | 1 |
| Dynamic escape game, file e3835325-f3a2-15e8-e053-a505fe0a3de9 | 1 |
| Pure-Past Linear Temporal and Dynamic Logic on Finite Traces, file e3835327-598e-15e8-e053-a505fe0a3de9 | 1 |
| Totale | 600 |
| Categoria | # |
|---|---|
| all - tutte | 1.343 |
| 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 | 1.343 |
| Totale | Lug | Ago | Sett | Ott | Nov | Dic | Gen | Feb | Mar | Apr | Mag | Giu | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2018/2019 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| 2019/2020 | 19 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 11 | 8 |
| 2020/2021 | 80 | 10 | 3 | 5 | 6 | 7 | 6 | 6 | 9 | 8 | 4 | 9 | 7 |
| 2021/2022 | 228 | 12 | 0 | 12 | 36 | 23 | 6 | 4 | 21 | 5 | 13 | 67 | 29 |
| 2022/2023 | 139 | 11 | 5 | 34 | 16 | 8 | 13 | 4 | 11 | 6 | 15 | 6 | 10 |
| 2023/2024 | 133 | 7 | 0 | 10 | 6 | 22 | 14 | 14 | 12 | 3 | 32 | 13 | 0 |
| Totale | 600 | ||||||||||||