CRIS Current Research Information System

RICCIOTTI, WILMER
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.143
AS - Asia 859
EU - Europa 750
Continente sconosciuto - Info sul continente non disponibili 45
SA - Sud America 44
AF - Africa 26
OC - Oceania 3
Totale 2.870
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.113
VN - Vietnam 281
SG - Singapore 218
GB - Regno Unito 213
CN - Cina 185
IT - Italia 140
DE - Germania 79
SE - Svezia 72
UA - Ucraina 56
HK - Hong Kong 48
FR - Francia 42
IN - India 42
RU - Federazione Russa 41
CH - Svizzera 34
IE - Irlanda 27
CA - Canada 26
BR - Brasile 25
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
SC - Seychelles 5
EC - Ecuador 4
ES - Italia 4
FI - Finlandia 4
IQ - Iraq 4
PK - Pakistan 4
TH - Thailandia 4
AU - Australia 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.825
Salva come PNG Salva come JPEG
Città #
Southend 194
Singapore 136
Fairfield 97
Chandler 90
Santa Clara 80
Ashburn 65
Dong Ket 58
San Jose 58
Hong Kong 46
Wilmington 46
Ho Chi Minh City 45
Woodbridge 43
Cambridge 40
Princeton 40
Bologna 38
Seattle 37
Houston 35
Ann Arbor 34
Beijing 34
Jacksonville 32
Bern 29
Hanoi 29
Dublin 27
Boardman 18
New York 17
Council Bluffs 16
Nanjing 16
Tokyo 16
Turin 16
Istanbul 15
Milan 15
Montreal 15
Padova 15
Westminster 15
Jinan 13
Dallas 12
Lauterbourg 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
San Francisco 6
Tianjin 6
Haiphong 5
Hangzhou 5
Jiaxing 5
Nanchang 5
Norwalk 5
Phoenix 5
Pittsburgh 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
Huddersfield 2
Kuala Lumpur 2
London 2
Long An 2
Moscow 2
Mölndal 2
Nakhon Ratchasima 2
Perugia 2
Totale 1.825
Salva come PNG Salva come JPEG
Nome #
A compact kernel for the calculus of inductive constructions 279
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 261
About the Formalization of some Results by Chebyshev in Number Theory 219
The Matita Interactive Theorem Prover 203
A new type for tactics 200
A Web Interface for Matita 185
Rating Disambiguation Errors 184
Matita 0.5.7 181
A Canonical Locally Named Representation of Binding 178
A proof of Bertrand's postulate 177
Formalizing Turing Machines 171
Hints in Unification 171
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 168
A Web Interface for the Matita Proof Assistant 153
Matita 0.99.1 140
Totale 2.870
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.783
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.783
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022357 0 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/2026665 18 41 39 32 102 44 72 23 175 67 29 23
2026/202734 16 18 0 0 0 0 0 0 0 0 0 0
Totale 2.870