CRIS Current Research Information System

TASSI, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.048
AS - Asia 830
EU - Europa 801
SA - Sud America 40
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 15
Totale 2.765
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.021
CN - Cina 227
SG - Singapore 225
GB - Regno Unito 221
VN - Vietnam 218
IT - Italia 141
DE - Germania 92
UA - Ucraina 75
SE - Svezia 74
FR - Francia 42
HK - Hong Kong 39
IN - India 39
RU - Federazione Russa 36
CH - Svizzera 30
IE - Irlanda 28
BR - Brasile 25
CA - Canada 23
NL - Olanda 21
TR - Turchia 17
BD - Bangladesh 16
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
SV - El Salvador 1
UZ - Uzbekistan 1
Totale 2.765
Salva come PNG Salva come JPEG
Città #
Southend 199
Singapore 130
Chandler 94
Santa Clara 80
Ashburn 75
Fairfield 69
Jacksonville 51
Cambridge 41
Ho Chi Minh City 39
Hong Kong 38
Wilmington 37
Princeton 36
Beijing 35
San Jose 35
Woodbridge 34
Hanoi 33
Seattle 30
Dublin 28
Bern 27
Bologna 27
Ann Arbor 26
Dong Ket 23
Council Bluffs 20
Nanjing 20
Hefei 19
New York 19
Boardman 18
Houston 18
Padova 17
Istanbul 16
Turin 16
Westminster 16
Tokyo 15
Dallas 14
Lauterbourg 14
Helsinki 13
Montreal 12
Jinan 11
Los Angeles 11
Medford 11
Milan 11
Berlin 10
Guangzhou 10
Buffalo 9
Changsha 9
Mülheim 8
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
Brooklyn 4
Buenos Aires 4
Falkenstein 4
Falls Church 4
Frankfurt am Main 4
Hangzhou 4
Jiaxing 4
Reggio Nell'emilia 4
Bangkok 3
Benevento 3
Bremen 3
Can Tho 3
Chicago 3
Fuzhou 3
Lomé 3
Modena 3
Paris 3
Poplar 3
Prague 3
Quận Ba 3
Rome 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
Fort Lauderdale 2
Jeddah 2
Manchester 2
Molinella 2
Muizenberg 2
New Orleans 2
Totale 1.726
Salva come PNG Salva come JPEG
Nome #
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 260
Crafting a Proof Assistant 228
Matita 210
A new type for tactics 198
A content based mathematical search engine: Whelp 180
User Interaction with the Matita Proof Assistant 177
Matita 0.5.7 177
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 176
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems 161
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 161
Natural Deduction Environment for Matita 150
Working with Mathematical Structures in Type Theory 144
Formalising Overlap Algebras in Matita 143
Tinycals: Step by Step Tacticals 139
Matita 0.99.1 138
Totale 2.809
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.486
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.486
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202144 0 0 0 0 0 0 0 0 0 0 0 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/2026751 28 49 61 38 108 46 91 24 150 69 21 66
Totale 2.809