FERRUCCI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 525
EU - Europa 125
AS - Asia 36
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 691
Nazione #
US - Stati Uniti d'America 523
IT - Italia 26
SE - Svezia 22
AT - Austria 19
FI - Finlandia 17
DE - Germania 14
VN - Vietnam 12
IE - Irlanda 7
SG - Singapore 7
CN - Cina 6
GB - Regno Unito 5
JO - Giordania 5
UA - Ucraina 5
BE - Belgio 4
IN - India 4
ES - Italia 3
CI - Costa d'Avorio 2
PL - Polonia 2
BJ - Benin 1
CA - Canada 1
EC - Ecuador 1
EU - Europa 1
HK - Hong Kong 1
JP - Giappone 1
NL - Olanda 1
PA - Panama 1
Totale 691
Città #
Fairfield 82
Woodbridge 57
Chandler 51
Wilmington 44
Houston 42
Ashburn 38
Seattle 37
Ann Arbor 30
Cambridge 25
Vienna 18
Dearborn 14
Boardman 11
Helsinki 11
Dong Ket 10
Dublin 7
Jacksonville 7
Lawrence 6
Amman 5
Princeton 5
Turin 5
Brussels 4
Redmond 4
Singapore 4
Des Moines 3
Málaga 3
Abidjan 2
Medford 2
Milan 2
New York 2
San Diego 2
Warsaw 2
Amsterdam 1
Beijing 1
Bergamo 1
Cotonou 1
Guangzhou 1
Hanover 1
Hebei 1
Hefei 1
Lincoln 1
Los Angeles 1
Miami 1
Ottawa 1
Phoenix 1
Quito 1
Southend 1
State College 1
Washington 1
Totale 552
Nome #
A Metric Temporal Logic for Dealing with Zero-Time Transitions 129
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 122
Automated formal verification for flexible manufacturing systems 116
Automated Formal Verification for Flexible Manufacturing Systems 113
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 89
An LTL Semantics of BusinessWorkflows with Recovery 84
A timed semantics of workflows 45
Totale 698
Categoria #
all - tutte 2.053
article - articoli 652
book - libri 0
conference - conferenze 1.129
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 272
Totale 4.106


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020133 0 0 0 0 25 29 18 16 18 8 16 3
2020/202194 7 4 15 8 3 2 2 8 10 10 4 21
2021/202267 4 7 4 11 2 4 3 4 3 5 10 10
2022/2023111 13 7 4 16 10 15 0 6 21 11 4 4
2023/202448 7 16 1 4 3 7 2 0 0 3 0 5
2024/202521 0 3 8 3 7 0 0 0 0 0 0 0
Totale 698