ZILLI, Marisa
 Distribuzione geografica
Continente #
NA - Nord America 240
EU - Europa 45
AS - Asia 37
SA - Sud America 5
Totale 327
Nazione #
US - Stati Uniti d'America 238
UA - Ucraina 14
SG - Singapore 13
CN - Cina 12
IN - India 12
SE - Svezia 9
FI - Finlandia 7
GB - Regno Unito 5
AR - Argentina 3
IT - Italia 3
RO - Romania 3
CA - Canada 2
CL - Cile 2
DE - Germania 2
BG - Bulgaria 1
IE - Irlanda 1
Totale 327
Città #
Chandler 51
Seattle 20
Fairfield 16
Ashburn 13
Ann Arbor 12
Wilmington 12
Woodbridge 11
Cambridge 10
Princeton 9
Houston 7
Plano 7
Jacksonville 6
Shenzhen 6
Singapore 6
Beijing 5
Southend 5
Millbury 4
New York 4
Boston 3
Federal 3
Lawrence 3
Rome 3
Boardman 2
Des Moines 2
San Diego 2
San Mateo 2
Timisoara 2
Toronto 2
Andover 1
Bühl 1
Dublin 1
Falls Church 1
Norwalk 1
Redmond 1
Shenyang 1
Sofia 1
Totale 236
Nome #
Exploiting Transition Locality in Automatic Verification 72
Synchronized Regular Expressions 58
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems 47
Exploiting Transition Locality in the disk based Murphi Verifier 46
FHP-Murphi 42
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 38
CMurphi 27
Totale 330
Categoria #
all - tutte 989
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 989


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202042 0 1 0 3 6 2 5 6 5 12 0 2
2020/202134 1 4 0 3 2 0 0 9 3 4 7 1
2021/202273 0 4 9 2 9 1 1 4 7 6 11 19
2022/202394 16 15 9 14 14 7 0 3 13 0 3 0
2023/202417 0 5 0 1 2 5 0 0 0 2 1 1
2024/202510 10 0 0 0 0 0 0 0 0 0 0 0
Totale 330