CRIS Current Research Information System

SACERDOTI COEN, CLAUDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.671
NA - Nord America 3.567
AS - Asia 1.011
AF - Africa 104
Continente sconosciuto - Info sul continente non disponibili 16
OC - Oceania 9
SA - Sud America 9
Totale 8.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.543
GB - Regno Unito 1.197
IT - Italia 844
DE - Germania 405
CN - Cina 387
SE - Svezia 375
VN - Vietnam 260
UA - Ucraina 196
IN - India 167
FR - Francia 143
CH - Svizzera 137
IE - Irlanda 108
RU - Federazione Russa 101
TR - Turchia 97
ZA - Sudafrica 74
EE - Estonia 47
SG - Singapore 44
BE - Belgio 23
CA - Canada 23
FI - Finlandia 20
JO - Giordania 20
EU - Europa 15
SC - Seychelles 15
GR - Grecia 12
IL - Israele 9
NL - Olanda 9
AT - Austria 8
HK - Hong Kong 8
HR - Croazia 8
TG - Togo 8
RO - Romania 6
AU - Australia 5
ES - Italia 5
PL - Polonia 5
PT - Portogallo 5
AR - Argentina 4
JP - Giappone 4
CI - Costa d'Avorio 3
GE - Georgia 3
NZ - Nuova Zelanda 3
PE - Perù 3
PK - Pakistan 3
CO - Colombia 2
CY - Cipro 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
EG - Egitto 2
HU - Ungheria 2
MT - Malta 2
NG - Nigeria 2
NO - Norvegia 2
SA - Arabia Saudita 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BG - Bulgaria 1
FJ - Figi 1
IR - Iran 1
LU - Lussemburgo 1
LV - Lettonia 1
ME - Montenegro 1
MY - Malesia 1
PA - Panama 1
PH - Filippine 1
SK - Slovacchia (Repubblica Slovacca) 1
SM - San Marino 1
UZ - Uzbekistan 1
Totale 8.387
Salva come PNG Salva come JPEG
Città #
Southend 1.109
Chandler 488
Fairfield 397
Ashburn 219
Wilmington 211
Bologna 194
Woodbridge 188
Ann Arbor 169
Princeton 165
Seattle 158
Cambridge 153
Houston 149
Bern 129
Jacksonville 128
Dong Ket 122
Dublin 108
Istanbul 95
Westminster 69
Nanjing 66
Medford 60
Padova 60
New York 53
Jinan 47
Berlin 43
Turin 39
Milan 32
Saint Petersburg 32
Shenyang 30
Changsha 26
Hebei 26
Singapore 26
Beijing 24
Mülheim 22
Nanchang 22
Brussels 21
Des Moines 21
San Diego 21
Amman 20
Redmond 20
Helsinki 19
Reggio Nell'emilia 17
Tianjin 17
Redwood City 16
Jiaxing 15
Norwalk 15
Dearborn 14
Mahé 14
Montreal 14
Nuremberg 14
Boardman 13
Falls Church 12
Florence 12
Fremont 12
Rome 12
Taiyuan 12
Haikou 11
Hangzhou 11
Ningbo 11
Treviso 11
Leawood 10
Paris 10
Zhengzhou 10
Guangzhou 9
Molinella 9
San Venanzo 9
Lomé 8
Solignano 8
Bremen 7
Kunming 7
Lanzhou 7
Vienna 7
Bryanston 6
Decimomannu 6
Fuzhou 6
Grenoble 6
London 6
Napoli 6
Olalla 6
Riccione 6
Taizhou 6
Bühl 5
Campagnola Emilia 5
Frankfurt am Main 5
Genova 5
Grassano 5
Los Angeles 5
Muizenberg 5
Piacenza 5
Pittsburgh 5
San Francisco 5
San Giorgio di Piano 5
San Mauro Pascoli 5
Como 4
Dallas 4
Fiorano Modenese 4
Frankfurt Am Main 4
Glasgow 4
Modena 4
Phoenix 4
Rimini 4
Totale 5.481
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 290
Matita 0.5.8 191
A Plugin to Export Coq Libraries to XML 189
A compact kernel for the calculus of inductive constructions 185
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 183
An Interactive Algebra Course with Formalised Proofs and Definitions 162
The Coq Library as a Theory Graph 158
Analysis of smart contracts balances 156
Implementing HOL in an higher order logic programming language 151
Relational Data Across Mathematical Libraries 147
A User Interface for a Mathematical System that Allows Ambiguous Formulae 146
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings 143
A new type for tactics 138
Crafting a Proof Assistant 132
The Matita Interactive Theorem Prover 131
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis 130
On the relative usefulness of fireballs 128
A Foundational View on Integration Problems 128
Lebesgue's dominated convergence theorem in Bishop's style 126
Certified Complexity 125
Implementing type theory in higher order constraint logic programming 125
Some Considerations on the Usability of Interactive Provers. 124
Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers 122
A content based mathematical search engine: Whelp 120
A semi-reflexive tactic for (sub-)equational reasoning 120
User Interaction with the Matita Proof Assistant 115
A survey on retrieval of mathematical knowledge 115
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 114
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 113
A Survey on Retrieval of Mathematical Knowledge 113
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 112
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus 111
Spurious Disambiguation Errors and How to Get Rid of Them 111
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 111
Declarative Representation of Proof Terms 111
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 107
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms 106
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) 105
Mathematical Libraries as Proof Assistant Environments 103
Matita 103
Intelligent Computer Mathematics 103
Hints in Unification 102
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper) 102
Sharing Equality is Linear 102
Formalising Overlap Algebras in Matita 100
On the value of variables 100
Crumbling Abstract Machines 100
Functions as Processes: Termination and the lambda mu mu~ - Calculus 99
A Note on Formalizing Undefined Terms in Real Analysis 99
Matita 0.5.7 97
ELPI: Fast, embeddable, λprolog interpreter 96
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs 95
Embedded Lambda Prolog Interpreter (ELPI) 94
General Recursion and Formal Topology 92
Certified Complexity (CerCo) 92
Natural Deduction Environment for Matita 91
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 91
Working with Mathematical Structures in Type Theory 90
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) 90
On the correctness of a branch displacement algorithm 88
Efficient Ambiguous Parsing of Mathematical Formulae 85
Spurious Disambiguation Error Detection 83
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints 83
Tinycals: Step by Step Tacticals 83
On the value of variables 82
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings 81
CerCo Cost Annotating Compiler 79
Declarative Representation of Proof Terms 77
null 75
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I 71
Strong Call-by-Value is Reasonable, Implosively 69
Matita 0.99.1 66
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) 59
Trusted CerCo Cost Annotating Compiler 52
null 46
null 35
A Term Rewriting System for Kuratowski's Closure-Complement Problem 30
Reversibility in Erlang: Imperative Constructs 25
Matita Tutorial 18
Nonuniform Coercions via Unification Hints 17
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries 15
Causal Reversibility Implies Time Reversibility 13
Formalizing Functions as Processes 6
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 4
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 1
Totale 8.578
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.640
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 20.640
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.815 245 49 36 109 175 172 205 243 262 113 54 152
2020/20211.454 258 63 21 68 47 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/202548 48 0 0 0 0 0 0 0 0 0 0 0
Totale 8.578