IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

ZUCCHELLI, DANIELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 618
EU - Europa 549
AS - Asia 194
SA - Sud America 11
Totale 1.372
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 616
GB - Regno Unito 217
CN - Cina 100
IT - Italia 73
DE - Germania 69
SE - Svezia 49
UA - Ucraina 44
SG - Singapore 27
IN - India 22
TR - Turchia 22
RU - Federazione Russa 21
KR - Corea 20
EU - Europa 19
IE - Irlanda 19
NL - Olanda 15
FR - Francia 13
BE - Belgio 11
CO - Colombia 11
FI - Finlandia 11
DK - Danimarca 4
CA - Canada 2
ID - Indonesia 2
CZ - Repubblica Ceca 1
ES - Italia 1
IL - Israele 1
LT - Lituania 1
Totale 1.391
Salva come PNG Salva come JPEG
Città #
Southend 186
Brooklyn 183
Ann Arbor 55
Chandler 42
Jacksonville 42
Beijing 33
Wilmington 26
Singapore 23
Princeton 22
Ashburn 19
Dublin 19
Nanjing 18
Seattle 17
Dearborn 16
Redmond 16
Serra 16
Milan 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
Nanchang 6
Giussano 5
Kunming 5
Cagliari 4
Eitensheim 4
Kiez 4
Los Angeles 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
Verona 3
Zhengzhou 3
Cambridge 2
Haikou 2
Hebei 2
Karlsruhe 2
Lanzhou 2
Nürnberg 2
Scranton 2
Shenyang 2
Tianjin 2
Albany 1
Atlanta 1
Brno 1
Centro 1
Changsha 1
Columbus 1
Fredericksburg 1
Grafing 1
Guangzhou 1
Hamburg 1
Hefei 1
Houston 1
Istanbul 1
Jiaxing 1
Kharagpur 1
Levico Terme 1
Luino 1
Madison 1
Nuremberg 1
Ottawa 1
Pune 1
Quanzhou 1
San Diego 1
Sunnyvale 1
Tel Aviv 1
Toronto 1
Toulouse 1
University Park 1
Vanzaghello 1
Vestenanova 1
Zelo Buon Persico 1
Totale 1.005
Salva come PNG Salva come JPEG
Nome #
Combination Methods for Software Verification 306
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems 152
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 131
A Comprehensive Framework for Combining Decision Procedures 130
Recent Advances in Combined Decision Problems 126
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 120
A comprehensive combination framework 110
Noetherianity and Combination Problems 100
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 98
Towards SMT Model-Checking of Array-based Systems 97
Decision Procedures for Extensions of the Theory of Arrays 88
Totale 1.458
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.135
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.135
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020145 0 0 16 1 10 22 36 3 21 24 10 2
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/202527 6 16 5 0 0 0 0 0 0 0 0 0
Totale 1.458