TAPPARO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 876
AS - Asia 102
EU - Europa 72
Totale 1.050
Nazione #
US - Stati Uniti d'America 876
SG - Singapore 43
CN - Cina 34
VN - Vietnam 23
FI - Finlandia 21
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 1.050
Città #
Fairfield 151
Woodbridge 123
Ann Arbor 74
Jacksonville 73
Houston 71
Seattle 64
Ashburn 63
Cambridge 48
Santa Clara 46
Wilmington 45
Singapore 38
Dong Ket 23
Chandler 17
Princeton 15
Boardman 12
Helsinki 11
Medford 9
Milan 8
Nanjing 8
San Diego 8
Hebei 4
Indiana 4
Ningbo 4
Padova 3
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 944
Nome #
A new efficient simulation equivalence algorithm 125
Making abstract model checking strongly preserving 120
Saving space in a time efficient simulation algorithm 114
A forward-backward abstraction refinement algorithm 112
An abstract interpretation perspective on linear vs. branching time 110
Strong preservation as completeness in abstract interpretation 109
An abstract interpretation-based refinement algorithm for strong preservation 102
Computing stuttering simulations 95
Generalized strong preservation by abstract interpretation. 95
Strong preservation of temporal fixpoint-based operators by abstract interpretation 70
Totale 1.052
Categoria #
all - tutte 3.434
article - articoli 303
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.737


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020132 0 0 0 0 0 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/2025117 0 33 10 10 60 4 0 0 0 0 0 0
Totale 1.052