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/201913 0 0 0 0 0 0 0 0 0 0 6 7
2019/202037 6 3 2 4 3 3 2 5 3 2 3 1
2020/202141 2 1 2 2 0 1 3 6 4 8 2 10
2021/202274 7 7 3 17 8 3 4 0 2 4 15 4
2022/202349 3 3 14 11 1 3 5 1 1 1 2 4
2023/202471 7 9 4 9 2 4 7 6 9 12 2 0
Totale 312