MOCCI, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 811
EU - Europa 124
AS - Asia 69
SA - Sud America 13
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.021
Nazione #
US - Stati Uniti d'America 806
SG - Singapore 39
GB - Regno Unito 23
UA - Ucraina 21
FI - Finlandia 18
IT - Italia 15
DE - Germania 14
VN - Vietnam 14
BR - Brasile 12
CN - Cina 11
IE - Irlanda 10
AT - Austria 8
BE - Belgio 8
CA - Canada 5
FR - Francia 3
JO - Giordania 3
MU - Mauritius 3
SE - Svezia 2
EC - Ecuador 1
EU - Europa 1
HU - Ungheria 1
NL - Olanda 1
OM - Oman 1
SA - Arabia Saudita 1
Totale 1.021
Città #
Woodbridge 141
Fairfield 92
Ann Arbor 77
Santa Clara 56
Ashburn 52
Chandler 52
Seattle 52
Cambridge 44
Wilmington 42
Houston 29
Singapore 17
Dearborn 16
Jacksonville 16
Boardman 12
Council Bluffs 12
Lawrence 11
Dublin 10
Dong Ket 9
Medford 9
Brussels 8
Des Moines 8
Vienna 8
Helsinki 7
Beijing 6
Auburn Hills 5
Ottawa 5
Amman 3
Los Angeles 3
San Diego 3
Dallas 2
Milan 2
Princeton 2
Rose Hill 2
Washington 2
Atlanta 1
Belford Roxo 1
Birigui 1
Brasília 1
Catolé do Rocha 1
Falkenstein 1
Falls Church 1
Itajaí 1
Jeddah 1
Jinan 1
Kilburn 1
Kunming 1
London 1
Meudon 1
Mountain View 1
Muscat 1
Nanjing 1
New York 1
Pereira Barreto 1
Porto Amazonas 1
Prudentópolis 1
Quito 1
Santa Cruz do Capibaribe 1
Santa Isabel 1
Sopron 1
São Paulo 1
The Dalles 1
Uberlândia 1
Wuhan 1
Totale 844
Nome #
Runtime Monitoring of Functional Component Changes with Behavior Models 122
Analytical quality assurance 115
Detecting component changes at run time with behavior models 108
Behavioral validation of JFSL specifications through model synthesis 104
Automatic Cross Validation of Multiple Specifications: A Case Study 102
Extracting structured data from natural language documents with island parsing 98
Efficient Recovery of Algebraic Specifications for Stateful Components 91
Runtime monitoring of component changes with Spy@Runtime 79
Synthesizing Intensional Behavior Models by Graph Transformation 78
Using Graph Transformation Systems to Specify and Verify Data Abstractions 75
Behavior Model Based Component Search: An Initial Assessment 51
Totale 1.023
Categoria #
all - tutte 3.255
article - articoli 315
book - libri 0
conference - conferenze 2.600
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 340
Totale 6.510


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202022 0 0 0 0 0 0 0 0 0 0 18 4
2020/2021111 12 7 6 10 6 0 19 11 3 15 4 18
2021/202296 12 12 4 3 6 6 6 3 7 9 7 21
2022/2023116 25 4 10 12 17 13 0 6 19 1 9 0
2023/202454 1 13 6 4 2 16 1 2 0 0 0 9
2024/2025137 0 0 4 3 45 25 0 20 32 4 4 0
Totale 1.023