CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021500 0 0 0 0 0 0 0 0 0 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/20263.766 187 330 417 357 508 229 534 160 757 287 0 0
Totale 14.309