LIENHARDT, Michael
 Distribuzione geografica
Continente #
NA - Nord America 2.110
EU - Europa 1.238
AS - Asia 342
AF - Africa 5
SA - Sud America 3
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.701
Nazione #
US - Stati Uniti d'America 2.098
DK - Danimarca 560
CN - Cina 184
IT - Italia 180
SE - Svezia 128
SG - Singapore 80
FR - Francia 53
IE - Irlanda 52
GB - Regno Unito 49
DE - Germania 37
ID - Indonesia 35
UA - Ucraina 35
RU - Federazione Russa 34
FI - Finlandia 24
GR - Grecia 21
PL - Polonia 17
NL - Olanda 13
VN - Vietnam 12
BE - Belgio 11
CA - Canada 10
IN - India 10
KR - Corea 9
NO - Norvegia 9
CZ - Repubblica Ceca 6
HK - Hong Kong 4
JP - Giappone 3
AT - Austria 2
AU - Australia 2
BR - Brasile 2
CH - Svizzera 2
ES - Italia 2
MG - Madagascar 2
MX - Messico 2
NG - Nigeria 2
AE - Emirati Arabi Uniti 1
CO - Colombia 1
EU - Europa 1
IR - Iran 1
MA - Marocco 1
MY - Malesia 1
PK - Pakistan 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SA - Arabia Saudita 1
Totale 3.701
Città #
Ann Arbor 811
Wilmington 192
Santa Clara 136
Chandler 132
Guangzhou 126
Fairfield 79
Singapore 69
Dearborn 68
Houston 66
Dublin 51
Torino 51
Ashburn 49
Woodbridge 34
Norwalk 33
Seattle 31
Beijing 30
Pisa 28
Cambridge 27
Jacksonville 19
Helsinki 18
Jakarta 18
Wayne 18
Columbus 17
Turin 17
Medford 15
Nyköping 15
Villeurbanne 14
Warsaw 14
Dong Ket 11
Princeton 11
Brussels 10
Naples 10
Redmond 10
Padova 8
San Diego 8
Boardman 7
Edinburgh 7
Fremont 7
Bandar Lampung 6
Boston 6
Kunming 6
London 6
Alessandria 5
Ottawa 5
Usingen 5
Bogor 4
Carmagnola 4
Depok 4
Mountain View 4
Munich 4
San Mateo 4
San Mauro Torinese 4
Siegen 4
Darmstadt 3
Hong Kong 3
Kraków 3
Montenero 3
Nanjing 3
Oslo 3
Toronto 3
Abuja 2
Bologna 2
Brasília 2
Chicago 2
Coimbatore 2
Cuneo 2
Groningen 2
Jinan 2
Landshut 2
Madrid 2
Mcallen 2
Milan 2
Milwaukee 2
Nice 2
Nuremberg 2
Obolon 2
Philadelphia 2
Prague 2
Rome 2
San Jose 2
Shanghai 2
Washington 2
Xian 2
Arcore 1
Atlanta 1
Belgrade 1
Bergen 1
Brighton 1
Cali 1
Central District 1
Chengdu 1
Chieri 1
Crescentino 1
Crystal Lake 1
Daejeon 1
Dallas 1
Dalmine 1
Delhi 1
Dhahran 1
Easley 1
Totale 2.422
Nome #
A unified and formal programming model for deltas and traits 376
A Formal Model for Multi SPLs 353
Multi software product lines in the wild 342
On checking delta-oriented product lines of statecharts 326
An extension of the ABS toolchain with a mechanism for type checking SPLs 320
A formal model for Multi Software Product Lines 319
Abstraction refinement for the analysis of software product lines 311
On Type Checking Delta-Oriented Product Lines 287
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 275
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 265
Interoperability of software product line variants 265
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 248
On logical and extensional characterizations of attributed feature models 65
Product lines of dataflows 32
Variability modules 31
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC 31
Deltas for Functional Programs with Algebraic Data Types 25
Product lines of dataflows Extended Abstract 3
Totale 3.874
Categoria #
all - tutte 7.552
article - articoli 0
book - libri 0
conference - conferenze 5.188
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.740


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020723 0 0 0 0 0 144 96 61 135 74 133 80
2020/20211.091 118 79 81 85 98 108 100 91 100 131 65 35
2021/2022309 9 5 2 52 9 3 24 18 3 19 116 49
2022/2023332 26 31 4 66 33 59 24 33 22 5 17 12
2023/2024135 13 30 13 6 5 14 3 4 1 19 14 13
2024/2025331 10 82 42 34 134 29 0 0 0 0 0 0
Totale 3.874