TAPPARO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 811
EU - Europa 61
AS - Asia 49
Totale 921
Nazione #
US - Stati Uniti d'America 811
CN - Cina 24
VN - Vietnam 23
FI - Finlandia 17
UA - Ucraina 17
IT - Italia 10
DE - Germania 8
SE - Svezia 4
GB - Regno Unito 3
IE - Irlanda 2
IN - India 2
Totale 921
Città #
Fairfield 151
Woodbridge 123
Ann Arbor 74
Jacksonville 73
Houston 71
Seattle 64
Ashburn 62
Cambridge 48
Wilmington 45
Dong Ket 23
Chandler 17
Princeton 15
Medford 9
Nanjing 8
San Diego 8
Helsinki 7
Milan 6
Hebei 4
Indiana 4
Ningbo 4
Padova 3
Boardman 2
Des Moines 2
Dublin 2
Islington 2
Jiaxing 2
New York 2
Pune 2
Beijing 1
Chiswick 1
Cinisello Balsamo 1
Guangzhou 1
Jinan 1
Shenyang 1
Tianjin 1
Zhengzhou 1
Totale 841
Nome #
A new efficient simulation equivalence algorithm 110
Making abstract model checking strongly preserving 107
Saving space in a time efficient simulation algorithm 106
An abstract interpretation perspective on linear vs. branching time 96
A forward-backward abstraction refinement algorithm 95
Strong preservation as completeness in abstract interpretation 95
Generalized strong preservation by abstract interpretation. 86
An abstract interpretation-based refinement algorithm for strong preservation 85
Computing stuttering simulations 83
Strong preservation of temporal fixpoint-based operators by abstract interpretation 60
Totale 923
Categoria #
all - tutte 2.789
article - articoli 259
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.048


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019103 0 0 0 0 0 0 0 0 0 20 41 42
2019/2020223 29 16 2 18 26 24 23 28 22 17 9 9
2020/2021150 9 9 4 20 9 9 3 16 21 8 15 27
2021/2022173 6 37 32 5 3 9 16 14 3 2 27 19
2022/202357 22 0 0 4 10 8 0 1 5 0 6 1
2023/202442 3 5 8 5 0 13 1 1 0 6 0 0
Totale 923