CRIS Current Research Information System

TASSI, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 992
AS - Asia 808
EU - Europa 778
SA - Sud America 40
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 15
Totale 2.664
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 968
CN - Cina 225
SG - Singapore 222
GB - Regno Unito 221
VN - Vietnam 218
IT - Italia 120
DE - Germania 92
UA - Ucraina 75
SE - Svezia 74
FR - Francia 42
IN - India 39
HK - Hong Kong 38
RU - Federazione Russa 35
CH - Svizzera 30
IE - Irlanda 28
BR - Brasile 25
CA - Canada 21
NL - Olanda 20
TR - Turchia 17
JP - Giappone 16
EU - Europa 15
ZA - Sudafrica 14
FI - Finlandia 13
AR - Argentina 10
EE - Estonia 9
BE - Belgio 6
SC - Seychelles 6
TH - Thailandia 6
JO - Giordania 5
CI - Costa d'Avorio 4
ES - Italia 4
IQ - Iraq 4
PH - Filippine 4
SA - Arabia Saudita 4
CZ - Repubblica Ceca 3
KR - Corea 3
TG - Togo 3
VE - Venezuela 3
AL - Albania 2
MA - Marocco 2
MX - Messico 2
TW - Taiwan 2
CL - Cile 1
DZ - Algeria 1
EC - Ecuador 1
GE - Georgia 1
GR - Grecia 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
JM - Giamaica 1
MY - Malesia 1
PK - Pakistan 1
PL - Polonia 1
SN - Senegal 1
UZ - Uzbekistan 1
Totale 2.664
Salva come PNG Salva come JPEG
Città #
Southend 199
Singapore 127
Chandler 94
Santa Clara 78
Ashburn 71
Fairfield 69
Jacksonville 51
Cambridge 41
Ho Chi Minh City 39
Hong Kong 37
Wilmington 37
Princeton 36
San Jose 34
Woodbridge 34
Beijing 33
Hanoi 33
Seattle 29
Dublin 28
Bern 27
Ann Arbor 26
Bologna 24
Dong Ket 23
Nanjing 20
Hefei 19
Houston 18
Boardman 17
Padova 17
Istanbul 16
Turin 16
Westminster 16
New York 15
Tokyo 15
Lauterbourg 14
Dallas 13
Helsinki 13
Jinan 11
Medford 11
Montreal 11
Berlin 10
Guangzhou 10
Changsha 9
Milan 9
Los Angeles 8
Mülheim 8
Buffalo 7
Nanchang 7
Redondo Beach 7
Tianjin 7
Brussels 6
Mahé 6
Norwalk 6
San Diego 6
Amman 5
Da Nang 5
Dearborn 5
Haikou 5
Haiphong 5
Hebei 5
Ningbo 5
Pittsburgh 5
Shenyang 5
Abidjan 4
Buenos Aires 4
Council Bluffs 4
Falkenstein 4
Falls Church 4
Frankfurt am Main 4
Hangzhou 4
Jiaxing 4
Reggio Nell'emilia 4
Bangkok 3
Benevento 3
Bremen 3
Brooklyn 3
Can Tho 3
Chicago 3
Fuzhou 3
Lomé 3
Paris 3
Poplar 3
Prague 3
Quận Ba 3
Saint Petersburg 3
Salsomaggiore Terme 3
San Venanzo 3
Toronto 3
Yubileyny 3
Atlanta 2
Bắc Ninh 2
Castello Molina di Fiemme 2
Chengdu 2
Des Moines 2
Jeddah 2
Manchester 2
Molinella 2
Muizenberg 2
New Orleans 2
Nuremberg 2
Oakland 2
Porto Alegre 2
Totale 1.676
Salva come PNG Salva come JPEG
Nome #
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 256
Crafting a Proof Assistant 220
A new type for tactics 194
A content based mathematical search engine: Whelp 180
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 174
User Interaction with the Matita Proof Assistant 172
Matita 167
Matita 0.5.7 167
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 166
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 159
User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems 156
Natural Deduction Environment for Matita 147
Formalising Overlap Algebras in Matita 142
Working with Mathematical Structures in Type Theory 142
Tinycals: Step by Step Tacticals 137
Matita 0.99.1 129
Totale 2.708
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.100
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 7.100
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202172 0 0 0 0 0 0 0 0 0 13 15 44
2021/2022395 73 11 21 35 28 17 5 20 12 5 106 62
2022/2023410 44 51 30 37 24 55 5 23 49 9 47 36
2023/202481 5 19 4 11 8 20 2 4 1 6 0 1
2024/2025342 6 57 38 17 109 21 24 5 2 18 7 38
2025/2026650 28 49 61 38 108 46 91 24 150 55 0 0
Totale 2.708