TAPPARO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 826
AS - Asia 85
EU - Europa 68
Totale 979
Nazione #
US - Stati Uniti d'America 826
SG - Singapore 33
CN - Cina 27
VN - Vietnam 23
FI - Finlandia 17
UA - Ucraina 17
IT - Italia 12
DE - Germania 8
FR - Francia 5
SE - Svezia 4
GB - Regno Unito 3
IE - Irlanda 2
IN - India 2
Totale 979
Città #
Fairfield 151
Woodbridge 123
Ann Arbor 74
Jacksonville 73
Houston 71
Seattle 64
Ashburn 63
Cambridge 48
Wilmington 45
Singapore 28
Dong Ket 23
Chandler 17
Princeton 15
Medford 9
Milan 8
Nanjing 8
San Diego 8
Helsinki 7
Santa Clara 6
Hebei 4
Indiana 4
Ningbo 4
Padova 3
Boardman 2
Dallas 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 880
Nome #
A new efficient simulation equivalence algorithm 118
Making abstract model checking strongly preserving 113
Saving space in a time efficient simulation algorithm 107
A forward-backward abstraction refinement algorithm 105
An abstract interpretation perspective on linear vs. branching time 103
Strong preservation as completeness in abstract interpretation 102
An abstract interpretation-based refinement algorithm for strong preservation 95
Computing stuttering simulations 88
Generalized strong preservation by abstract interpretation. 87
Strong preservation of temporal fixpoint-based operators by abstract interpretation 63
Totale 981
Categoria #
all - tutte 3.228
article - articoli 287
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.515


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020176 0 0 0 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/202454 3 5 8 5 0 13 1 1 0 6 7 5
2024/202546 0 33 10 3 0 0 0 0 0 0 0 0
Totale 981