CRIS Current Research Information System

SACERDOTI COEN, CLAUDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.398
EU - Europa 4.634
AS - Asia 4.239
SA - Sud America 260
Continente sconosciuto - Info sul continente non disponibili 257
AF - Africa 157
OC - Oceania 14
Totale 14.959
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.300
IT - Italia 1.319
SG - Singapore 1.286
GB - Regno Unito 1.233
CN - Cina 1.069
VN - Vietnam 852
DE - Germania 486
SE - Svezia 383
HK - Hong Kong 284
FR - Francia 274
IN - India 217
UA - Ucraina 204
RU - Federazione Russa 176
BR - Brasile 160
CH - Svizzera 140
IE - Irlanda 112
TR - Turchia 105
ZA - Sudafrica 91
BD - Bangladesh 85
JP - Giappone 82
CA - Canada 58
NL - Olanda 52
FI - Finlandia 50
EE - Estonia 47
AR - Argentina 45
KR - Corea 44
TH - Thailandia 35
PH - Filippine 32
BE - Belgio 27
ID - Indonesia 24
JO - Giordania 23
IQ - Iraq 19
PL - Polonia 19
SC - Seychelles 19
MX - Messico 18
ES - Italia 15
EU - Europa 15
GR - Grecia 14
HR - Croazia 14
AT - Austria 13
CO - Colombia 12
PK - Pakistan 12
PY - Paraguay 12
SA - Arabia Saudita 12
CI - Costa d'Avorio 11
IL - Israele 11
AU - Australia 9
KZ - Kazakistan 8
MY - Malesia 8
PE - Perù 8
TG - Togo 8
TW - Taiwan 8
VE - Venezuela 8
CL - Cile 7
EC - Ecuador 7
MA - Marocco 7
RO - Romania 7
AL - Albania 6
DK - Danimarca 6
JM - Giamaica 6
PT - Portogallo 6
CZ - Repubblica Ceca 5
EG - Egitto 5
NO - Norvegia 5
CR - Costa Rica 4
DZ - Algeria 4
HU - Ungheria 4
CY - Cipro 3
GE - Georgia 3
HN - Honduras 3
LT - Lituania 3
NZ - Nuova Zelanda 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
GD - Grenada 2
GH - Ghana 2
LU - Lussemburgo 2
ME - Montenegro 2
MT - Malta 2
NG - Nigeria 2
NP - Nepal 2
OM - Oman 2
SN - Senegal 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BJ - Benin 1
BZ - Belize 1
DO - Repubblica Dominicana 1
FJ - Figi 1
GA - Gabon 1
IR - Iran 1
IS - Islanda 1
KE - Kenya 1
KH - Cambogia 1
LK - Sri Lanka 1
LV - Lettonia 1
Totale 14.704
Salva come PNG Salva come JPEG
Città #
Southend 1.109
Singapore 742
Chandler 488
Fairfield 397
Ashburn 375
Bologna 329
Santa Clara 319
San Jose 248
Hong Kong 246
Wilmington 211
Woodbridge 188
Ho Chi Minh City 173
Ann Arbor 169
Princeton 165
Beijing 162
Seattle 162
Cambridge 153
Houston 150
Dallas 134
Hanoi 131
Hefei 131
Bern 129
Jacksonville 128
Dong Ket 122
Dublin 112
Council Bluffs 105
Boardman 103
Milan 100
Istanbul 97
New York 95
Lauterbourg 77
Nanjing 71
Los Angeles 70
Tokyo 69
Westminster 69
Medford 60
Padova 60
Jinan 48
Helsinki 44
Berlin 43
Buffalo 43
Turin 42
Seoul 38
Shenyang 34
Saint Petersburg 32
Da Nang 31
Rome 30
Shanghai 30
Changsha 29
Guangzhou 29
Modena 28
Redondo Beach 28
Montreal 27
Hebei 26
Amman 23
Brussels 23
Des Moines 23
Frankfurt am Main 23
Nanchang 23
Mülheim 22
San Diego 22
Nuremberg 21
Paris 21
Tianjin 21
Redmond 20
Düsseldorf 19
Falkenstein 19
Haiphong 19
Phoenix 19
Reggio Emilia 18
Bangkok 17
Reggio Nell'emilia 17
Chicago 16
Florence 16
Jiaxing 16
Redwood City 16
Rimini 16
San Francisco 16
São Paulo 16
Zhengzhou 16
Dearborn 15
Norwalk 15
Hangzhou 14
Jakarta 14
Johannesburg 14
Mahé 14
Orem 14
Taiyuan 14
London 13
The Dalles 13
Brooklyn 12
Falls Church 12
Fremont 12
Abidjan 11
Bengaluru 11
Haikou 11
Ningbo 11
Treviso 11
Can Tho 10
Chengdu 10
Totale 8.980
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 400
Matita 0.5.8 289
Analysis of smart contracts balances 284
A compact kernel for the calculus of inductive constructions 279
A Plugin to Export Coq Libraries to XML 265
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 261
Implementing type theory in higher order constraint logic programming 260
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 239
An Interactive Algebra Course with Formalised Proofs and Definitions 230
Crafting a Proof Assistant 230
Implementing HOL in an higher order logic programming language 227
The Coq Library as a Theory Graph 223
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings 216
Matita 212
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms 210
Relational Data Across Mathematical Libraries 210
Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers 207
The Matita Interactive Theorem Prover 203
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings 202
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 201
A new type for tactics 200
On the relative usefulness of fireballs 199
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) 194
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis 192
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 189
A User Interface for a Mathematical System that Allows Ambiguous Formulae 188
Some Considerations on the Usability of Interactive Provers. 187
Lebesgue's dominated convergence theorem in Bishop's style 182
A content based mathematical search engine: Whelp 182
Matita 0.5.7 181
User Interaction with the Matita Proof Assistant 179
Certified Complexity 179
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 178
Spurious Disambiguation Errors and How to Get Rid of Them 177
A survey on retrieval of mathematical knowledge 174
A Foundational View on Integration Problems 173
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus 172
A Survey on Retrieval of Mathematical Knowledge 171
Hints in Unification 171
Functions as Processes: Termination and the lambda mu mu~ - Calculus 169
Strong Call-by-Value is Reasonable, Implosively 169
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 168
A semi-reflexive tactic for (sub-)equational reasoning 168
Mathematical Libraries as Proof Assistant Environments 165
Crumbling Abstract Machines 165
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 163
ELPI: Fast, embeddable, λprolog interpreter 163
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. 161
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 160
Causal Reversibility Implies Time Reversibility 158
Embedded Lambda Prolog Interpreter (ELPI) 158
Declarative Representation of Proof Terms 155
Sharing Equality is Linear 154
Natural Deduction Environment for Matita 152
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints 152
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) 152
Intelligent Computer Mathematics 151
A Note on Formalizing Undefined Terms in Real Analysis 150
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries 146
Working with Mathematical Structures in Type Theory 145
Formalising Overlap Algebras in Matita 144
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs 144
General Recursion and Formal Topology 141
Efficient Ambiguous Parsing of Mathematical Formulae 141
On the value of variables 141
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper) 141
Matita 0.99.1 140
CerCo Cost Annotating Compiler 140
Tinycals: Step by Step Tacticals 140
On the correctness of a branch displacement algorithm 136
The Cost of Skeletal Call-By-Need, Smoothly 135
Certified Complexity (CerCo) 133
On the value of variables 133
Spurious Disambiguation Error Detection 131
IMELL Cut Elimination with Linear Overhead 129
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I 129
Declarative Representation of Proof Terms 125
Trusted CerCo Cost Annotating Compiler 112
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) 102
Thinking Machines: Mathematical Reasoning in the Age of LLMs 97
Reversibility in Erlang: Imperative Constructs 94
A Term Rewriting System for Kuratowski's Closure-Complement Problem 88
Formalizing Functions as Processes 88
null 75
Matita Tutorial 68
Nonuniform Coercions via Unification Hints 68
Positive Sharing and Abstract Machines 55
null 46
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines 38
null 35
Indexing and Retrieval in a Heterogeneous Formal Library 30
Totale 14.959
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.246
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 40.246
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.873 0 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/20264.216 187 330 417 357 508 229 534 160 757 360 201 176
2026/2027200 104 96 0 0 0 0 0 0 0 0 0 0
Totale 14.959