CRIS Current Research Information System

RICCIOTTI, WILMER
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.083
AS - Asia 840
EU - Europa 737
SA - Sud America 41
AF - Africa 25
OC - Oceania 3
Totale 2.729
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.055
VN - Vietnam 281
SG - Singapore 213
GB - Regno Unito 211
CN - Cina 179
IT - Italia 129
DE - Germania 79
SE - Svezia 72
UA - Ucraina 56
HK - Hong Kong 45
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
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
BD - Bangladesh 1
BG - Bulgaria 1
BW - Botswana 1
CL - Cile 1
CO - Colombia 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.729
Salva come PNG Salva come JPEG
Città #
Southend 194
Singapore 133
Fairfield 97
Chandler 90
Santa Clara 80
Ashburn 63
Dong Ket 58
Wilmington 46
Ho Chi Minh City 45
San Jose 44
Hong Kong 43
Woodbridge 43
Cambridge 40
Princeton 40
Seattle 37
Bologna 36
Houston 35
Ann Arbor 34
Jacksonville 32
Beijing 29
Bern 29
Hanoi 29
Dublin 27
Boardman 17
Nanjing 16
Tokyo 16
Istanbul 15
Montreal 15
Padova 15
Turin 15
Westminster 15
New York 14
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 7
Pune 7
Tianjin 6
Haiphong 5
Hangzhou 5
Jiaxing 5
Nanchang 5
Norwalk 5
Pittsburgh 5
San Francisco 5
San Venanzo 5
Taiyuan 5
Can Tho 4
Da Nang 4
Frankfurt am Main 4
Guangzhou 4
Helsinki 4
Mahé 4
Paris 4
Phoenix 4
Redondo Beach 4
Shanghai 4
Benevento 3
Brooklyn 3
Chennai 3
Dearborn 3
Des Moines 3
Dongguan 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
Rio de Janeiro 2
Totale 1.769
Salva come PNG Salva come JPEG
Nome #
A compact kernel for the calculus of inductive constructions 265
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 256
About the Formalization of some Results by Chebyshev in Number Theory 215
The Matita Interactive Theorem Prover 200
A new type for tactics 194
A Web Interface for Matita 181
Rating Disambiguation Errors 177
A Canonical Locally Named Representation of Binding 176
Hints in Unification 169
A proof of Bertrand's postulate 168
Matita 0.5.7 167
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
Formalizing Turing Machines 164
A Web Interface for the Matita Proof Assistant 146
Matita 0.99.1 129
Totale 2.774
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.114
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.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021112 0 0 0 0 0 0 0 0 0 21 11 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/2026603 18 41 39 32 102 44 72 23 175 57 0 0
Totale 2.774