TITOLO, Laura
 Distribuzione geografica
Continente #
NA - Nord America 396
AS - Asia 137
EU - Europa 116
SA - Sud America 12
Continente sconosciuto - Info sul continente non disponibili 3
Totale 664
Nazione #
US - Stati Uniti d'America 390
SG - Singapore 54
CN - Cina 40
UA - Ucraina 26
IT - Italia 20
DE - Germania 18
HK - Hong Kong 16
FI - Finlandia 11
IN - India 8
BR - Brasile 7
SE - Svezia 7
FR - Francia 6
RU - Federazione Russa 6
GB - Regno Unito 5
AT - Austria 4
BD - Bangladesh 3
BE - Belgio 3
CA - Canada 3
IE - Irlanda 3
IQ - Iraq 3
PL - Polonia 3
TR - Turchia 3
VN - Vietnam 3
CL - Cile 2
CO - Colombia 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BG - Bulgaria 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
HN - Honduras 1
JP - Giappone 1
KR - Corea 1
MV - Maldive 1
MX - Messico 1
PA - Panama 1
UZ - Uzbekistan 1
Totale 661
Città #
Woodbridge 60
Ann Arbor 41
Fairfield 29
Ashburn 26
Chandler 24
San Jose 21
Singapore 19
Hong Kong 16
Beijing 15
Wilmington 15
Council Bluffs 14
Jacksonville 14
Dearborn 12
Cambridge 11
Seattle 9
Houston 8
Boardman 6
Udine 6
Dallas 5
Frankfurt am Main 5
Buffalo 4
Cagliari 4
Lauterbourg 4
Mumbai 4
Princeton 4
Brussels 3
Des Moines 3
Dublin 3
Falls Church 3
Helsinki 3
Los Angeles 3
Munich 3
San Mateo 3
Staranzano 3
Chula Vista 2
Dong Ket 2
Giessen 2
Guangzhou 2
Kunming 2
Lille 2
San Antonio 2
San Diego 2
Santa Clara 2
Turku 2
Vienna 2
Warsaw 2
Wuhan 2
Agliana 1
Amritsar 1
Andradina 1
Arica 1
Atlanta 1
Baghdad 1
Butler 1
Changsha 1
Charlotte 1
Chennai 1
Chicago 1
Clarks Summit 1
Columbus 1
Croydon 1
Curitiba 1
Delaware 1
Dollard-des-Ormeaux 1
Dubai 1
Durham 1
Erie 1
Estância 1
Fulton 1
Gonzales 1
Griffin 1
Hanoi 1
Harrisburg 1
Hebei 1
Hefei 1
Hillsborough 1
Indpls 1
Istanbul 1
Itapema 1
Ixtapaluca 1
Izmir 1
Jeddah 1
Jinan 1
Joinville 1
Karlivka 1
Lakeland 1
Langfang 1
Lima 1
Luhansk 1
Lviv 1
Malé 1
Manchester 1
Nanjing 1
Naples 1
Nepean 1
New York 1
Panama City 1
Passos 1
Philadelphia 1
Phoenix 1
Totale 482
Nome #
Abstract diagnosis for TCCP using a linear temporal logic 191
Abstract diagnosis for timed concurrent constraint programs 181
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages 180
Towards an Effective Decision Procedure for LTL formulas with Constraints 112
Totale 664
Categoria #
all - tutte 2.209
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 2.209


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202229 0 0 0 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
2024/202576 2 5 3 0 5 5 7 10 4 3 12 20
2025/2026158 4 23 8 5 17 20 21 10 14 12 18 6
2026/202761 8 15 11 27 0 0 0 0 0 0 0 0
Totale 664