CRIS Current Research Information System

SACERDOTI COEN, CLAUDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.243
EU - Europa 4.609
AS - Asia 4.219
SA - Sud America 254
AF - Africa 155
Continente sconosciuto - Info sul continente non disponibili 16
OC - Oceania 14
Totale 14.510
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.158
IT - Italia 1.304
SG - Singapore 1.278
GB - Regno Unito 1.232
CN - Cina 1.066
VN - Vietnam 851
DE - Germania 485
SE - Svezia 383
HK - Hong Kong 278
FR - Francia 273
IN - India 217
UA - Ucraina 204
RU - Federazione Russa 176
BR - Brasile 159
CH - Svizzera 140
IE - Irlanda 112
TR - Turchia 105
ZA - Sudafrica 91
BD - Bangladesh 83
JP - Giappone 82
CA - Canada 53
NL - Olanda 52
FI - Finlandia 50
EE - Estonia 47
KR - Corea 44
AR - Argentina 43
TH - Thailandia 35
PH - Filippine 32
BE - Belgio 25
ID - Indonesia 24
JO - Giordania 23
IQ - Iraq 19
PL - Polonia 19
SC - Seychelles 17
MX - Messico 16
EU - Europa 15
ES - Italia 14
GR - Grecia 14
AT - Austria 13
HR - Croazia 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
TG - Togo 8
TW - Taiwan 8
VE - Venezuela 8
MA - Marocco 7
PE - Perù 7
RO - Romania 7
AL - Albania 6
CL - Cile 6
DK - Danimarca 6
EC - Ecuador 6
PT - Portogallo 6
EG - Egitto 5
CZ - Repubblica Ceca 4
DZ - Algeria 4
HU - Ungheria 4
JM - Giamaica 4
CY - Cipro 3
GE - Georgia 3
HN - Honduras 3
LT - Lituania 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 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.498
Salva come PNG Salva come JPEG
Città #
Southend 1.109
Singapore 734
Chandler 488
Fairfield 397
Ashburn 371
Bologna 329
Santa Clara 311
Hong Kong 242
San Jose 238
Wilmington 211
Woodbridge 188
Ho Chi Minh City 173
Ann Arbor 169
Princeton 165
Seattle 162
Beijing 159
Cambridge 153
Houston 150
Dallas 134
Hefei 131
Hanoi 130
Bern 129
Jacksonville 128
Dong Ket 122
Dublin 112
Boardman 103
Milan 98
Istanbul 97
New York 92
Lauterbourg 77
Nanjing 71
Los Angeles 69
Tokyo 69
Westminster 69
Medford 60
Padova 60
Jinan 48
Council Bluffs 46
Helsinki 44
Berlin 43
Buffalo 42
Turin 41
Seoul 38
Shenyang 34
Saint Petersburg 32
Da Nang 31
Shanghai 30
Changsha 29
Guangzhou 29
Rome 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
Nuremberg 21
Paris 21
San Diego 21
Tianjin 21
Redmond 20
Düsseldorf 19
Falkenstein 19
Haiphong 19
Reggio Emilia 18
Bangkok 17
Reggio Nell'emilia 17
Chicago 16
Florence 16
Jiaxing 16
Phoenix 16
Redwood City 16
Rimini 16
São Paulo 16
Zhengzhou 16
Norwalk 15
San Francisco 15
Dearborn 14
Hangzhou 14
Jakarta 14
Johannesburg 14
Mahé 14
Orem 14
Taiyuan 14
London 13
Falls Church 12
Fremont 12
The Dalles 12
Abidjan 11
Bengaluru 11
Brooklyn 11
Haikou 11
Ningbo 11
Treviso 11
Can Tho 10
Chengdu 10
Totale 8.866
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 392
Matita 0.5.8 287
Analysis of smart contracts balances 279
A compact kernel for the calculus of inductive constructions 271
A Plugin to Export Coq Libraries to XML 264
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 260
Implementing type theory in higher order constraint logic programming 255
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021 237
Crafting a Proof Assistant 228
Implementing HOL in an higher order logic programming language 224
An Interactive Algebra Course with Formalised Proofs and Definitions 223
The Coq Library as a Theory Graph 221
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings 213
Matita 210
Relational Data Across Mathematical Libraries 207
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms 203
The Matita Interactive Theorem Prover 202
Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings 201
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 201
On the relative usefulness of fireballs 199
Functional and Constraint Logic Programming. 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers 199
A new type for tactics 198
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis 191
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) 190
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 188
A User Interface for a Mathematical System that Allows Ambiguous Formulae 188
Some Considerations on the Usability of Interactive Provers. 186
Lebesgue's dominated convergence theorem in Bishop's style 182
A content based mathematical search engine: Whelp 180
Certified Complexity 178
User Interaction with the Matita Proof Assistant 177
Matita 0.5.7 177
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 176
Spurious Disambiguation Errors and How to Get Rid of Them 175
A survey on retrieval of mathematical knowledge 173
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus 171
Hints in Unification 170
A Foundational View on Integration Problems 169
A Survey on Retrieval of Mathematical Knowledge 168
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 167
Functions as Processes: Termination and the lambda mu mu~ - Calculus 166
Strong Call-by-Value is Reasonable, Implosively 166
A semi-reflexive tactic for (sub-)equational reasoning 165
Crumbling Abstract Machines 164
Mathematical Libraries as Proof Assistant Environments 163
ELPI: Fast, embeddable, λprolog interpreter 163
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 162
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
Causal Reversibility Implies Time Reversibility 157
Embedded Lambda Prolog Interpreter (ELPI) 157
Declarative Representation of Proof Terms 154
Sharing Equality is Linear 152
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) 152
Natural Deduction Environment for Matita 150
Intelligent Computer Mathematics 150
A Note on Formalizing Undefined Terms in Real Analysis 148
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints 147
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries 146
Working with Mathematical Structures in Type Theory 144
Formalising Overlap Algebras in Matita 143
General Recursion and Formal Topology 140
On the value of variables 140
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs 139
CerCo Cost Annotating Compiler 139
Efficient Ambiguous Parsing of Mathematical Formulae 139
Tinycals: Step by Step Tacticals 139
Matita 0.99.1 138
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper) 138
Certified Complexity (CerCo) 130
On the correctness of a branch displacement algorithm 130
The Cost of Skeletal Call-By-Need, Smoothly 128
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I 128
On the value of variables 128
Spurious Disambiguation Error Detection 128
IMELL Cut Elimination with Linear Overhead 126
Declarative Representation of Proof Terms 124
Trusted CerCo Cost Annotating Compiler 109
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) 100
Reversibility in Erlang: Imperative Constructs 93
Thinking Machines: Mathematical Reasoning in the Age of LLMs 89
Formalizing Functions as Processes 87
A Term Rewriting System for Kuratowski's Closure-Complement Problem 85
null 75
Matita Tutorial 68
Nonuniform Coercions via Unification Hints 68
Positive Sharing and Abstract Machines 51
null 46
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines 36
null 35
Indexing and Retrieval in a Heterogeneous Formal Library 26
Totale 14.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.900
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 38.900
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021295 0 0 0 0 0 0 0 0 0 0 0 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/20264.208 187 330 417 357 508 229 534 160 757 360 201 168
Totale 14.751