IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

NICOLINI, ENRICA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 362
EU - Europa 331
AS - Asia 266
SA - Sud America 28
AF - Africa 5
OC - Oceania 1
Totale 993
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 358
GB - Regno Unito 123
CN - Cina 90
SG - Singapore 79
IT - Italia 39
DE - Germania 33
SE - Svezia 28
UA - Ucraina 28
RU - Federazione Russa 25
IN - India 23
HK - Hong Kong 19
BR - Brasile 18
TR - Turchia 14
FR - Francia 13
KR - Corea 13
BE - Belgio 11
IE - Irlanda 11
EU - Europa 10
FI - Finlandia 7
NL - Olanda 7
VN - Vietnam 7
CO - Colombia 6
JP - Giappone 5
ID - Indonesia 3
IQ - Iraq 3
AR - Argentina 2
BD - Bangladesh 2
DK - Danimarca 2
MA - Marocco 2
PH - Filippine 2
SA - Arabia Saudita 2
AO - Angola 1
AU - Australia 1
BO - Bolivia 1
BS - Bahamas 1
CA - Canada 1
CL - Cile 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GE - Georgia 1
HT - Haiti 1
JM - Giamaica 1
JO - Giordania 1
LT - Lituania 1
OM - Oman 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
UZ - Uzbekistan 1
Totale 1.003
Salva come PNG Salva come JPEG
Città #
Southend 100
Ann Arbor 51
Singapore 46
Ashburn 29
Chandler 26
Jacksonville 23
San Jose 23
Beijing 19
Hong Kong 19
Santa Clara 17
Hefei 15
Wilmington 15
Bengaluru 12
Princeton 12
Brussels 11
Dearborn 11
Dublin 11
Nanjing 11
Council Bluffs 10
Pisa 10
Woodbridge 10
Redmond 9
Los Angeles 8
Milan 8
Seattle 8
Serra 8
Somerville 8
Buffalo 7
Andover 6
Bogotá 6
Mountain View 6
Phoenix 6
Sakarya 6
Dallas 5
Des Moines 5
Frankfurt am Main 5
Lauterbourg 5
Medford 5
Tokyo 5
Boardman 4
Hanoi 4
Zhengzhou 4
Kunming 3
Nanchang 3
Auburn Hills 2
Boston 2
Bühl 2
Columbus 2
Fairfield 2
Haikou 2
Jeddah 2
Mannheim 2
Ningbo 2
San Diego 2
Seoul 2
Shanghai 2
Shijiazhuang 2
São Paulo 2
Amman 1
Ankara 1
Ardea 1
Baghdad 1
Bari 1
Berlin 1
Betim 1
Bratislava 1
Bremen 1
Brno 1
Carapicuíba 1
Casablanca 1
Cebu City 1
Centro 1
Changsha 1
Chlef 1
Curitiba 1
Da Nang 1
Fort Liberté 1
Goiânia 1
Guangzhou 1
Hebei 1
Helsinki 1
Ho Chi Minh City 1
Houston 1
Ibicoara 1
Jaguariúna 1
Jakarta 1
Jiaxing 1
Karbala 1
Kingston 1
Lobito 1
Manila 1
Mauá 1
Medenine 1
Mesquita 1
Montreal 1
Moscow 1
Mumbai 1
Nassau 1
Natal 1
New York 1
Totale 685
Salva come PNG Salva come JPEG
Nome #
A Comprehensive Framework for Combining Decision Procedures 202
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 178
A comprehensive combination framework 177
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 173
Recent Advances in Combined Decision Problems 170
Towards SMT Model-Checking of Array-based Systems 148
Totale 1.048
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.661
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.661
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202133 0 0 0 0 0 0 0 0 0 0 24 9
2021/202256 2 2 2 1 3 1 8 6 1 7 7 16
2022/2023105 8 2 6 12 15 24 3 13 20 0 2 0
2023/202439 0 6 0 1 9 0 3 4 2 2 7 5
2024/2025114 2 8 4 6 16 0 7 8 7 7 9 40
2025/2026234 11 19 33 17 27 21 21 17 29 35 4 0
Totale 1.048