CRIS Current Research Information System

RICCIOTTI, WILMER
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.116
AS - Asia 855
EU - Europa 742
SA - Sud America 41
AF - Africa 25
OC - Oceania 3
Totale 2.782
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.087
VN - Vietnam 281
SG - Singapore 217
GB - Regno Unito 211
CN - Cina 184
IT - Italia 134
DE - Germania 79
SE - Svezia 72
UA - Ucraina 56
HK - Hong Kong 46
FR - Francia 42
IN - India 42
RU - Federazione Russa 41
CH - Svizzera 34
IE - Irlanda 27
CA - Canada 25
BR - Brasile 23
JP - Giappone 17
TR - Turchia 15
ZA - Sudafrica 12
AR - Argentina 10
EE - Estonia 10
NL - Olanda 9
PH - Filippine 9
BE - Belgio 8
JO - Giordania 8
BD - Bangladesh 6
ES - Italia 4
FI - Finlandia 4
IQ - Iraq 4
PK - Pakistan 4
SC - Seychelles 4
TH - Thailandia 4
AU - Australia 3
EC - Ecuador 3
GE - Georgia 3
MX - Messico 3
MY - Malesia 3
SM - San Marino 3
CI - Costa d'Avorio 2
IL - Israele 2
KR - Corea 2
PL - Polonia 2
PY - Paraguay 2
TW - Taiwan 2
AO - Angola 1
BG - Bulgaria 1
BW - Botswana 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
HR - Croazia 1
ID - Indonesia 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
MN - Mongolia 1
NG - Nigeria 1
NO - Norvegia 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
SI - Slovenia 1
SN - Senegal 1
TG - Togo 1
TZ - Tanzania 1
Totale 2.782
Salva come PNG Salva come JPEG
Città #
Southend 194
Singapore 135
Fairfield 97
Chandler 90
Santa Clara 80
Ashburn 63
Dong Ket 58
San Jose 52
Wilmington 46
Ho Chi Minh City 45
Hong Kong 44
Woodbridge 43
Cambridge 40
Princeton 40
Bologna 38
Seattle 37
Houston 35
Ann Arbor 34
Beijing 33
Jacksonville 32
Bern 29
Hanoi 29
Dublin 27
Boardman 18
New York 17
Nanjing 16
Tokyo 16
Istanbul 15
Montreal 15
Padova 15
Turin 15
Westminster 15
Jinan 13
Dallas 12
Lauterbourg 12
Milan 12
Saint Petersburg 12
Berlin 10
Changsha 10
Medford 10
Mülheim 10
Shenyang 10
San Diego 9
Amman 8
Brussels 8
Buffalo 8
Los Angeles 8
Pune 7
Tianjin 6
Haiphong 5
Hangzhou 5
Jiaxing 5
Nanchang 5
Norwalk 5
Phoenix 5
Pittsburgh 5
San Francisco 5
San Venanzo 5
Taiyuan 5
Brooklyn 4
Can Tho 4
Da Nang 4
Frankfurt am Main 4
Guangzhou 4
Helsinki 4
Mahé 4
Paris 4
Redondo Beach 4
Shanghai 4
Benevento 3
Chennai 3
Dearborn 3
Des Moines 3
Dongguan 3
Fort Lauderdale 3
Hebei 3
Lugano 3
Mordano 3
Olalla 3
Salsomaggiore Terme 3
San Marino 3
The Bronx 3
Yubileyny 3
Abidjan 2
Atlanta 2
Brescia 2
Chengdu 2
Concord 2
Córdoba 2
Falkenstein 2
Florence 2
Kuala Lumpur 2
London 2
Long An 2
Moscow 2
Mölndal 2
Nakhon Ratchasima 2
Perugia 2
Redwood City 2
Reggio Emilia 2
Totale 1.794
Salva come PNG Salva come JPEG
Nome #
A compact kernel for the calculus of inductive constructions 268
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 260
About the Formalization of some Results by Chebyshev in Number Theory 216
The Matita Interactive Theorem Prover 202
A new type for tactics 198
A Web Interface for Matita 185
Rating Disambiguation Errors 181
A Canonical Locally Named Representation of Binding 178
Matita 0.5.7 175
A proof of Bertrand's postulate 173
Hints in Unification 170
Formalizing Turing Machines 169
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
A Web Interface for the Matita Proof Assistant 147
Matita 0.99.1 138
Totale 2.827
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.470
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.470
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202180 0 0 0 0 0 0 0 0 0 0 0 80
2021/2022467 110 11 20 29 32 16 9 17 8 14 120 81
2022/2023409 46 40 24 47 17 53 9 19 70 5 42 37
2023/202480 9 20 4 8 3 24 3 4 1 3 0 1
2024/2025338 6 70 35 13 100 16 30 2 4 10 6 46
2025/2026656 18 41 39 32 102 44 72 23 175 67 29 14
Totale 2.827