IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

ZUCCHELLI, DANIELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 688
EU - Europa 568
AS - Asia 293
SA - Sud America 24
AF - Africa 3
Totale 1.576
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 680
GB - Regno Unito 219
CN - Cina 117
IT - Italia 78
DE - Germania 69
SG - Singapore 57
SE - Svezia 50
UA - Ucraina 46
HK - Hong Kong 37
RU - Federazione Russa 30
IN - India 24
TR - Turchia 24
KR - Corea 20
EU - Europa 19
IE - Irlanda 19
NL - Olanda 15
FR - Francia 13
BR - Brasile 12
BE - Belgio 11
CO - Colombia 11
FI - Finlandia 11
CA - Canada 4
DK - Danimarca 4
ID - Indonesia 2
IQ - Iraq 2
JP - Giappone 2
VN - Vietnam 2
AO - Angola 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BS - Bahamas 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ES - Italia 1
ET - Etiopia 1
HT - Haiti 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
MX - Messico 1
PA - Panama 1
SA - Arabia Saudita 1
UZ - Uzbekistan 1
Totale 1.595
Salva come PNG Salva come JPEG
Città #
Southend 186
Brooklyn 184
Ann Arbor 55
Chandler 42
Jacksonville 42
Hong Kong 37
Beijing 35
Singapore 31
Wilmington 26
Ashburn 24
Santa Clara 24
Princeton 22
Dublin 19
Milan 18
Nanjing 18
Seattle 17
Dearborn 16
Redmond 16
Serra 16
Council Bluffs 15
Mountain View 15
Woodbridge 14
Somerville 12
Andover 11
Bogotá 11
Brussels 11
Phoenix 11
Sakarya 11
Pisa 10
Des Moines 9
Medford 9
Bengaluru 8
Boardman 7
Los Angeles 7
Nanchang 6
Giussano 5
Kunming 5
Cagliari 4
Cangzhou 4
Columbus 4
Eitensheim 4
Kiez 4
Shanghai 4
Auburn Hills 3
Berlin 3
Bühl 3
Fairfield 3
Frankfurt am Main 3
Hangzhou 3
Jinan 3
Mannheim 3
Ningbo 3
São Paulo 3
Verona 3
Zhengzhou 3
Boston 2
Cambridge 2
Haikou 2
Hanoi 2
Hebei 2
Hefei 2
Karlsruhe 2
Lanzhou 2
Montreal 2
Nürnberg 2
Rodano 2
Scranton 2
Shenyang 2
The Dalles 2
Tianjin 2
Tokyo 2
Addis Ababa 1
Albany 1
Amman 1
Ankang 1
Ankara 1
Antakya 1
Atlanta 1
Baghdad 1
Baku 1
Balcarce 1
Betim 1
Blue Springs 1
Brno 1
Carapicuíba 1
Centro 1
Changsha 1
Chlef 1
Curitiba 1
Fort Liberté 1
Fredericksburg 1
Fuzhou 1
Grafing 1
Guangzhou 1
Hamburg 1
Houston 1
Istanbul 1
Jeddah 1
Jiaxing 1
Karbala 1
Totale 1.126
Salva come PNG Salva come JPEG
Nome #
Combination Methods for Software Verification 326
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems 181
A Comprehensive Framework for Combining Decision Procedures 147
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 145
Recent Advances in Combined Decision Problems 142
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 133
A comprehensive combination framework 133
Noetherianity and Combination Problems 121
Towards SMT Model-Checking of Array-based Systems 120
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 110
Decision Procedures for Extensions of the Theory of Arrays 104
Totale 1.662
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.903
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 3.903
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021167 5 14 17 1 19 9 23 1 13 13 39 13
2021/202291 3 3 2 3 5 3 13 8 3 10 7 31
2022/2023173 15 3 10 17 25 39 3 16 35 0 8 2
2023/202475 1 10 1 1 11 1 4 17 2 7 14 6
2024/2025210 6 16 5 13 28 2 13 19 7 11 11 79
2025/202621 21 0 0 0 0 0 0 0 0 0 0 0
Totale 1.662