TITOLO, Laura
 Distribuzione geografica
Continente #
NA - Nord America 324
AS - Asia 132
EU - Europa 107
SA - Sud America 10
Totale 573
Nazione #
US - Stati Uniti d'America 321
SG - Singapore 52
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
IE - Irlanda 3
IQ - Iraq 3
PL - Polonia 3
TR - Turchia 3
VN - Vietnam 3
BD - Bangladesh 2
BE - Belgio 2
CL - Cile 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BG - Bulgaria 1
CA - Canada 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 573
Città #
Woodbridge 60
Ann Arbor 41
Fairfield 29
Chandler 24
Ashburn 22
Singapore 19
Beijing 15
Wilmington 15
Hong Kong 14
Jacksonville 14
Dearborn 12
Cambridge 11
San Jose 11
Seattle 9
Houston 7
Boardman 6
Udine 6
Buffalo 4
Cagliari 4
Dallas 4
Lauterbourg 4
Mumbai 4
Princeton 4
Council Bluffs 3
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
Baghdad 1
Changsha 1
Chennai 1
Croydon 1
Curitiba 1
Delaware 1
Dubai 1
Durham 1
Estância 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
Rome 1
Rzeszów 1
San Antonio 1
San Diego 1
Santa Clara 1
Santiago 1
Seoul 1
Shanghai 1
Shenzhen 1
Sulaymaniyah 1
São Paulo 1
Tappahannock 1
The Dalles 1
Tokyo 1
Trieste 1
Vancouver 1
Zhengzhou 1
Zurich 1
Totale 440
Nome #
Abstract diagnosis for TCCP using a linear temporal logic 178
Abstract diagnosis for timed concurrent constraint programs 165
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages 141
Towards an Effective Decision Procedure for LTL formulas with Constraints 92
Totale 576
Categoria #
all - tutte 1.908
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.908


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