TITOLO, Laura
 Distribuzione geografica
Continente #
NA - Nord America 279
EU - Europa 66
AS - Asia 21
Totale 366
Nazione #
US - Stati Uniti d'America 278
UA - Ucraina 23
CN - Cina 17
IT - Italia 13
DE - Germania 9
FI - Finlandia 6
SE - Svezia 6
IE - Irlanda 3
BE - Belgio 2
GB - Regno Unito 2
VN - Vietnam 2
CA - Canada 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
SG - Singapore 1
TR - Turchia 1
Totale 366
Città #
Woodbridge 60
Ann Arbor 41
Fairfield 29
Chandler 24
Ashburn 17
Wilmington 15
Jacksonville 14
Dearborn 12
Cambridge 11
Seattle 9
Beijing 7
Houston 7
Udine 6
Cagliari 4
Princeton 4
Des Moines 3
Dublin 3
Falls Church 3
San Mateo 3
Boardman 2
Brussels 2
Dong Ket 2
Frankfurt am Main 2
Kunming 2
Guangzhou 1
Hebei 1
Hefei 1
Izmir 1
Jinan 1
Nanjing 1
Prague 1
San Diego 1
Tappahannock 1
Trieste 1
Vancouver 1
Wuhan 1
Zhengzhou 1
Zurich 1
Totale 296
Nome #
Abstract diagnosis for TCCP using a linear temporal logic 129
Abstract diagnosis for timed concurrent constraint programs 111
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages 70
Towards an Effective Decision Procedure for LTL formulas with Constraints 59
Totale 369
Categoria #
all - tutte 1.064
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 1.064


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202092 3 2 4 12 6 16 16 10 6 11 1 5
2020/202147 2 6 2 7 0 7 1 6 5 1 6 4
2021/202240 1 4 6 2 4 3 2 3 2 5 4 4
2022/202350 4 6 1 10 5 12 0 4 5 0 2 1
2023/202417 2 1 0 0 1 0 8 5 0 0 0 0
Totale 369