TITOLO, Laura
 Distribuzione geografica
Continente #
NA - Nord America 347
AS - Asia 134
EU - Europa 107
SA - Sud America 10
Totale 598
Nazione #
US - Stati Uniti d'America 343
SG - Singapore 53
CN - Cina 40
UA - Ucraina 25
DE - Germania 16
IT - Italia 16
HK - Hong Kong 14
FI - Finlandia 10
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
IE - Irlanda 3
IQ - Iraq 3
PL - Polonia 3
TR - Turchia 3
VN - Vietnam 3
BE - Belgio 2
CA - Canada 2
CL - Cile 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
JP - Giappone 1
KR - Corea 1
MV - Maldive 1
MX - Messico 1
PA - Panama 1
UZ - Uzbekistan 1
Totale 598
Città #
Woodbridge 60
Ann Arbor 41
Fairfield 29
Chandler 24
Ashburn 22
Singapore 19
San Jose 17
Beijing 15
Wilmington 15
Hong Kong 14
Jacksonville 14
Dearborn 12
Cambridge 11
Seattle 9
Houston 8
Boardman 6
Council Bluffs 6
Udine 6
Buffalo 4
Cagliari 4
Dallas 4
Lauterbourg 4
Mumbai 4
Princeton 4
Des Moines 3
Dublin 3
Falls Church 3
Frankfurt am Main 3
Munich 3
San Mateo 3
Brussels 2
Dong Ket 2
Giessen 2
Guangzhou 2
Helsinki 2
Kunming 2
Lille 2
Los Angeles 2
Turku 2
Vienna 2
Warsaw 2
Wuhan 2
Agliana 1
Amritsar 1
Andradina 1
Arica 1
Atlanta 1
Baghdad 1
Changsha 1
Chennai 1
Chicago 1
Clarks Summit 1
Croydon 1
Curitiba 1
Delaware 1
Dollard-des-Ormeaux 1
Dubai 1
Durham 1
Erie 1
Estância 1
Gonzales 1
Hanoi 1
Hebei 1
Hefei 1
Istanbul 1
Itapema 1
Ixtapaluca 1
Izmir 1
Jeddah 1
Jinan 1
Joinville 1
Karlivka 1
Langfang 1
Luhansk 1
Malé 1
Manchester 1
Nanjing 1
New York 1
Panama City 1
Passos 1
Plovdiv 1
Poplar 1
Prague 1
Puerto Iguazú 1
Richmond 1
Riyadh 1
Rochester 1
Rome 1
Rzeszów 1
San Antonio 1
San Diego 1
Santa Clara 1
Santiago 1
Seoul 1
Shanghai 1
Shenzhen 1
Strongsville 1
Suffolk 1
Sulaymaniyah 1
São Paulo 1
Totale 452
Nome #
Abstract diagnosis for TCCP using a linear temporal logic 180
Abstract diagnosis for timed concurrent constraint programs 171
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages 152
Towards an Effective Decision Procedure for LTL formulas with Constraints 98
Totale 601
Categoria #
all - tutte 1.998
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.998


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214 0 0 0 0 0 0 0 0 0 0 0 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
2024/202576 2 5 3 0 5 5 7 10 4 3 12 20
2025/2026156 4 23 8 5 17 20 21 10 14 12 18 4
Totale 601