TITOLO, Laura
 Distribuzione geografica
Continente #
NA - Nord America 363
AS - Asia 136
EU - Europa 109
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 3
Totale 622
Nazione #
US - Stati Uniti d'America 359
SG - Singapore 54
CN - Cina 40
UA - Ucraina 26
IT - Italia 17
DE - Germania 16
HK - Hong Kong 15
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
CO - Colombia 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 619
Città #
Woodbridge 60
Ann Arbor 41
Fairfield 29
Chandler 24
Ashburn 22
Singapore 19
San Jose 18
Beijing 15
Hong Kong 15
Wilmington 15
Jacksonville 14
Dearborn 12
Cambridge 11
Council Bluffs 11
Seattle 9
Houston 8
Boardman 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
San Antonio 2
Santa Clara 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
Chula Vista 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
Hillsborough 1
Indpls 1
Istanbul 1
Itapema 1
Ixtapaluca 1
Izmir 1
Jeddah 1
Jinan 1
Joinville 1
Karlivka 1
Langfang 1
Luhansk 1
Lviv 1
Malé 1
Manchester 1
Nanjing 1
Naples 1
New York 1
Panama City 1
Passos 1
Philadelphia 1
Phoenix 1
Plovdiv 1
Poplar 1
Prague 1
Puerto Iguazú 1
Richmond 1
Riyadh 1
Rochester 1
Rome 1
Rzeszów 1
San Diego 1
Santiago 1
Totale 461
Nome #
Abstract diagnosis for TCCP using a linear temporal logic 184
Abstract diagnosis for timed concurrent constraint programs 173
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages 165
Towards an Effective Decision Procedure for LTL formulas with Constraints 100
Totale 622
Categoria #
all - tutte 2.066
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.066


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202239 0 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/2026158 4 23 8 5 17 20 21 10 14 12 18 6
2026/202719 8 11 0 0 0 0 0 0 0 0 0 0
Totale 622