FERRUCCI, LUCA
Distribuzione geografica
Continente | # |
---|---|
NA - Nord America | 190 |
EU - Europa | 66 |
AS - Asia | 36 |
AF - Africa | 3 |
OC - Oceania | 1 |
SA - Sud America | 1 |
Totale | 297 |
Nazione | # |
---|---|
US - Stati Uniti d'America | 187 |
CN - Cina | 22 |
IT - Italia | 20 |
AT - Austria | 9 |
DE - Germania | 8 |
GB - Regno Unito | 7 |
FR - Francia | 6 |
IN - India | 4 |
CA - Canada | 3 |
CZ - Repubblica Ceca | 3 |
IE - Irlanda | 3 |
NL - Olanda | 3 |
SG - Singapore | 3 |
VN - Vietnam | 3 |
FI - Finlandia | 2 |
HK - Hong Kong | 2 |
RO - Romania | 2 |
ZA - Sudafrica | 2 |
AE - Emirati Arabi Uniti | 1 |
AU - Australia | 1 |
BR - Brasile | 1 |
CI - Costa d'Avorio | 1 |
JP - Giappone | 1 |
LT - Lituania | 1 |
RS - Serbia | 1 |
RU - Federazione Russa | 1 |
Totale | 297 |
Città | # |
---|---|
Houston | 23 |
Ashburn | 17 |
Fairfield | 17 |
Seattle | 16 |
Santa Cruz | 10 |
Buffalo | 9 |
Vienna | 9 |
Ann Arbor | 8 |
Woodbridge | 8 |
Wilmington | 7 |
Beijing | 5 |
Cambridge | 5 |
Hangzhou | 4 |
Milan | 4 |
Bergamo | 3 |
Dong Ket | 3 |
Dublin | 3 |
London | 3 |
San Diego | 3 |
Ames | 2 |
Boardman | 2 |
Bucharest | 2 |
Frankfurt am Main | 2 |
Helsinki | 2 |
Kharagpur | 2 |
Muizenberg | 2 |
San Francisco | 2 |
Toronto | 2 |
Abidjan | 1 |
Belgrade | 1 |
Bengaluru | 1 |
Berkeley | 1 |
Bochum | 1 |
Boulder | 1 |
Canary Wharf | 1 |
Cedar Knolls | 1 |
Central | 1 |
Chengdu | 1 |
Chicago | 1 |
Clearwater | 1 |
College Park | 1 |
Council Bluffs | 1 |
Dallas | 1 |
Dronten | 1 |
Eppelheim | 1 |
Grenoble | 1 |
Hamburg | 1 |
Henderson | 1 |
Hoorn | 1 |
Jinan | 1 |
Klaipėda | 1 |
Kochi | 1 |
Lages | 1 |
Las Vegas | 1 |
Liberec | 1 |
Naples | 1 |
New York | 1 |
Nuremberg | 1 |
Pasadena | 1 |
Phoenix | 1 |
Pisa | 1 |
Providence | 1 |
Provo | 1 |
Rignano sull'Arno | 1 |
Riva | 1 |
San Jose | 1 |
Santa Barbara | 1 |
Scranton | 1 |
Shanghai | 1 |
Singapore | 1 |
St Louis | 1 |
Tampa | 1 |
Tappahannock | 1 |
Tokyo | 1 |
Torri di Quartesolo | 1 |
Totale | 222 |
Nome | # |
---|---|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c09-df41-4599-e053-1705fe0aef77 | 143 |
A timed semantics of workflows, file e0c31c0f-fd69-4599-e053-1705fe0aef77 | 116 |
Automated formal verification for flexible manufacturing systems, file e0c31c0d-cee8-4599-e053-1705fe0aef77 | 45 |
Automated formal verification for flexible manufacturing systems, file e0c31c0a-25cd-4599-e053-1705fe0aef77 | 3 |
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c0a-26e9-4599-e053-1705fe0aef77 | 3 |
An LTL Semantics of BusinessWorkflows with Recovery, file e0c31c08-8145-4599-e053-1705fe0aef77 | 2 |
Totale | 312 |
Categoria | # |
---|---|
all - tutte | 791 |
article - articoli | 500 |
book - libri | 0 |
conference - conferenze | 289 |
curatela - curatele | 0 |
other - altro | 0 |
patent - brevetti | 0 |
selected - selezionate | 0 |
volume - volumi | 2 |
Totale | 1.582 |
Totale | Lug | Ago | Sett | Ott | Nov | Dic | Gen | Feb | Mar | Apr | Mag | Giu | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2018/2019 | 13 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 7 |
2019/2020 | 37 | 6 | 3 | 2 | 4 | 3 | 3 | 2 | 5 | 3 | 2 | 3 | 1 |
2020/2021 | 41 | 2 | 1 | 2 | 2 | 0 | 1 | 3 | 6 | 4 | 8 | 2 | 10 |
2021/2022 | 74 | 7 | 7 | 3 | 17 | 8 | 3 | 4 | 0 | 2 | 4 | 15 | 4 |
2022/2023 | 49 | 3 | 3 | 14 | 11 | 1 | 3 | 5 | 1 | 1 | 1 | 2 | 4 |
2023/2024 | 71 | 7 | 9 | 4 | 9 | 2 | 4 | 7 | 6 | 9 | 12 | 2 | 0 |
Totale | 312 |