FERRUCCI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 547
EU - Europa 126
AS - Asia 42
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 720
Nazione #
US - Stati Uniti d'America 545
IT - Italia 26
SE - Svezia 22
AT - Austria 19
FI - Finlandia 18
DE - Germania 14
VN - Vietnam 12
SG - Singapore 10
IE - Irlanda 7
CN - Cina 6
GB - Regno Unito 5
JO - Giordania 5
UA - Ucraina 5
BE - Belgio 4
IN - India 4
ES - Italia 3
ID - Indonesia 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 720
Città #
Fairfield 82
Woodbridge 57
Chandler 51
Wilmington 44
Houston 42
Ashburn 38
Seattle 37
Ann Arbor 30
Cambridge 25
Santa Clara 22
Vienna 18
Dearborn 14
Helsinki 12
Boardman 11
Dong Ket 10
Dublin 7
Jacksonville 7
Singapore 7
Lawrence 6
Amman 5
Princeton 5
Turin 5
Brussels 4
Redmond 4
Des Moines 3
Jakarta 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 581
Nome #
A Metric Temporal Logic for Dealing with Zero-Time Transitions 134
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 127
Automated formal verification for flexible manufacturing systems 120
Automated Formal Verification for Flexible Manufacturing Systems 116
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 93
An LTL Semantics of BusinessWorkflows with Recovery 87
A timed semantics of workflows 50
Totale 727
Categoria #
all - tutte 2.124
article - articoli 675
book - libri 0
conference - conferenze 1.171
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 278
Totale 4.248


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/202550 0 3 8 3 36 0 0 0 0 0 0 0
Totale 727