CRIS Current Research Information System

SACERDOTI COEN, CLAUDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.563
EU - Europa 4.258
AS - Asia 3.087
SA - Sud America 192
AF - Africa 131
Continente sconosciuto - Info sul continente non disponibili 16
OC - Oceania 11
Totale 12.258
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.518
GB - Regno Unito 1.217
IT - Italia 1.132
SG - Singapore 1.109
CN - Cina 910
DE - Germania 467
VN - Vietnam 382
SE - Svezia 381
HK - Hong Kong 214
UA - Ucraina 201
IN - India 189
FR - Francia 179
RU - Federazione Russa 173
CH - Svizzera 138
BR - Brasile 125
IE - Irlanda 110
TR - Turchia 102
ZA - Sudafrica 82
EE - Estonia 47
FI - Finlandia 44
JP - Giappone 43
NL - Olanda 42
KR - Corea 37
AR - Argentina 33
CA - Canada 31
BE - Belgio 25
JO - Giordania 21
ID - Indonesia 18
SC - Seychelles 17
EU - Europa 15
PL - Polonia 14
GR - Grecia 13
AT - Austria 12
CI - Costa d'Avorio 11
ES - Italia 11
HR - Croazia 11
MX - Messico 11
IL - Israele 10
CO - Colombia 9
PY - Paraguay 8
TG - Togo 8
TH - Thailandia 8
BD - Bangladesh 7
KZ - Kazakistan 7
RO - Romania 7
AU - Australia 6
PH - Filippine 6
PT - Portogallo 6
VE - Venezuela 6
DK - Danimarca 5
MY - Malesia 5
PE - Perù 5
MA - Marocco 4
EC - Ecuador 3
EG - Egitto 3
GE - Georgia 3
HU - Ungheria 3
LT - Lituania 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
CL - Cile 2
CY - Cipro 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
IQ - Iraq 2
ME - Montenegro 2
MT - Malta 2
NG - Nigeria 2
SA - Arabia Saudita 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BJ - Benin 1
DO - Repubblica Dominicana 1
FJ - Figi 1
HN - Honduras 1
IR - Iran 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
MU - Mauritius 1
NC - Nuova Caledonia 1
NP - Nepal 1
PA - Panama 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SM - San Marino 1
TJ - Tagikistan 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 12.258
Salva come PNG Salva come JPEG
Città #
Southend 1.109
Singapore 592
Chandler 488
Fairfield 397
Ashburn 312
Santa Clara 296
Bologna 288
Wilmington 211
Hong Kong 205
Woodbridge 188
Ann Arbor 169
Princeton 165
Seattle 159
Cambridge 153
Beijing 151
Houston 149
Hefei 131
Bern 129
Dallas 129
Jacksonville 128
Dong Ket 122
Dublin 110
Boardman 99
Istanbul 97
Milan 84
Nanjing 71
Westminster 69
New York 68
Medford 60
Padova 60
Jinan 48
Los Angeles 47
Berlin 43
Ho Chi Minh City 40
Tokyo 40
Helsinki 39
Turin 39
Buffalo 38
Seoul 37
Saint Petersburg 32
Shenyang 32
Hanoi 30
Changsha 28
Redondo Beach 28
Hebei 26
Shanghai 25
Brussels 23
Des Moines 23
Mülheim 22
Nanchang 22
Amman 21
San Diego 21
Redmond 20
Tianjin 20
Falkenstein 19
Nuremberg 19
Montreal 17
Paris 17
Reggio Nell'emilia 17
Rome 17
Düsseldorf 16
Florence 16
Guangzhou 16
Jiaxing 16
Redwood City 16
Frankfurt am Main 15
Norwalk 15
Dearborn 14
Mahé 14
Reggio Emilia 14
Taiyuan 14
Zhengzhou 13
Chicago 12
Falls Church 12
Fremont 12
Jakarta 12
Rimini 12
São Paulo 12
Abidjan 11
Haikou 11
Hangzhou 11
Ningbo 11
Treviso 11
Bengaluru 10
Leawood 10
London 10
Phoenix 10
San Francisco 10
Yubileyny 10
Cassino 9
Fuzhou 9
Modena 9
Molinella 9
San Venanzo 9
Taizhou 9
Vienna 9
Bangkok 8
Johannesburg 8
Lomé 8
Pittsburgh 8
Totale 7.700
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 354
Matita 0.5.8 261
A Plugin to Export Coq Libraries to XML 238
A compact kernel for the calculus of inductive constructions 234
Analysis of smart contracts balances 224
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 218
An Interactive Algebra Course with Formalised Proofs and Definitions 207
The Coq Library as a Theory Graph 197
Crafting a Proof Assistant 196
Implementing HOL in an higher order logic programming language 189
Implementing type theory in higher order constraint logic programming 187
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings 186
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings 183
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 183
Relational Data Across Mathematical Libraries 182
The Matita Interactive Theorem Prover 178
A new type for tactics 176
A User Interface for a Mathematical System that Allows Ambiguous Formulae 173
On the relative usefulness of fireballs 171
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 170
Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers 169
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis 167
Some Considerations on the Usability of Interactive Provers. 160
CICM-WS 2019: Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019) 160
Certified Complexity 159
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms 159
User Interaction with the Matita Proof Assistant 158
Lebesgue's dominated convergence theorem in Bishop's style 156
A content based mathematical search engine: Whelp 156
A Foundational View on Integration Problems 156
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 155
A semi-reflexive tactic for (sub-)equational reasoning 154
A survey on retrieval of mathematical knowledge 153
Mathematical Libraries as Proof Assistant Environments 150
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus 150
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 148
Spurious Disambiguation Errors and How to Get Rid of Them 147
Declarative Representation of Proof Terms 147
A Survey on Retrieval of Mathematical Knowledge 147
Functions as Processes: Termination and the lambda mu mu~ - Calculus 146
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 145
Matita 0.5.7 144
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 144
Crumbling Abstract Machines 144
Matita 142
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 141
Hints in Unification 140
ELPI: Fast, embeddable, λprolog interpreter 138
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 135
Intelligent Computer Mathematics 135
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) 135
Sharing Equality is Linear 133
Strong Call-by-Value is Reasonable, Implosively 133
Embedded Lambda Prolog Interpreter (ELPI) 132
Natural Deduction Environment for Matita 130
General Recursion and Formal Topology 128
A Note on Formalizing Undefined Terms in Real Analysis 128
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries 127
Formalising Overlap Algebras in Matita 127
On the value of variables 127
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper) 127
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs 125
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints 125
Working with Mathematical Structures in Type Theory 122
Causal Reversibility Implies Time Reversibility 120
Certified Complexity (CerCo) 120
Tinycals: Step by Step Tacticals 120
CerCo Cost Annotating Compiler 119
On the correctness of a branch displacement algorithm 119
Efficient Ambiguous Parsing of Mathematical Formulae 118
Spurious Disambiguation Error Detection 114
On the value of variables 113
Matita 0.99.1 107
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I 104
Declarative Representation of Proof Terms 103
IMELL Cut Elimination with Linear Overhead 101
Trusted CerCo Cost Annotating Compiler 87
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) 84
null 75
Reversibility in Erlang: Imperative Constructs 74
The Cost of Skeletal Call-By-Need, Smoothly 68
A Term Rewriting System for Kuratowski's Closure-Complement Problem 66
Formalizing Functions as Processes 64
Matita Tutorial 48
null 46
Nonuniform Coercions via Unification Hints 46
null 35
Totale 12.462
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.533
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 33.533
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021997 0 0 0 0 0 56 52 126 263 103 102 295
2021/20222.116 243 70 132 180 178 126 52 122 137 51 453 372
2022/20231.943 221 263 91 220 103 219 67 110 240 70 166 173
2023/2024573 43 97 52 46 42 105 37 37 18 42 16 38
2024/20252.013 48 320 201 163 518 84 151 76 48 83 96 225
2025/20261.919 187 330 417 357 508 120 0 0 0 0 0 0
Totale 12.462