statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	4.265
EU - Europa	2.723
AS - Asia	1.925
SA - Sud America	175
AF - Africa	41
Continente sconosciuto - Info sul continente non disponibili	4
OC - Oceania	2
Totale	9.135

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.188
IT - Italia	1.291
SG - Singapore	610
UA - Ucraina	407
CN - Cina	348
TR - Turchia	336
VN - Vietnam	311
SE - Svezia	237
HK - Hong Kong	207
DE - Germania	160
BR - Brasile	144
GB - Regno Unito	122
IE - Irlanda	121
FI - Finlandia	120
FR - Francia	91
RU - Federazione Russa	56
CA - Canada	46
IN - India	38
NL - Olanda	30
ES - Italia	24
MX - Messico	24
BD - Bangladesh	19
JP - Giappone	17
AR - Argentina	16
BE - Belgio	16
ZA - Sudafrica	15
PL - Polonia	14
NG - Nigeria	11
RO - Romania	7
AT - Austria	6
IR - Iran	6
LT - Lituania	6
CL - Cile	4
CZ - Repubblica Ceca	4
EU - Europa	4
IQ - Iraq	4
VE - Venezuela	4
CH - Svizzera	3
PK - Pakistan	3
TH - Thailandia	3
CO - Colombia	2
DO - Repubblica Dominicana	2
EG - Egitto	2
GE - Georgia	2
JM - Giamaica	2
MA - Marocco	2
NZ - Nuova Zelanda	2
OM - Oman	2
PE - Perù	2
QA - Qatar	2
SA - Arabia Saudita	2
SN - Senegal	2
TN - Tunisia	2
TW - Taiwan	2
UY - Uruguay	2
AE - Emirati Arabi Uniti	1
AL - Albania	1
AO - Angola	1
AZ - Azerbaigian	1
BG - Bulgaria	1
BW - Botswana	1
CR - Costa Rica	1
DZ - Algeria	1
EE - Estonia	1
ET - Etiopia	1
GA - Gabon	1
GR - Grecia	1
GY - Guiana	1
HU - Ungheria	1
ID - Indonesia	1
IL - Israele	1
JO - Giordania	1
KE - Kenya	1
KH - Cambogia	1
KR - Corea	1
KW - Kuwait	1
KZ - Kazakistan	1
LK - Sri Lanka	1
LV - Lettonia	1
MD - Moldavia	1
MN - Mongolia	1
PH - Filippine	1
PR - Porto Rico	1
PS - Palestinian Territory	1
RS - Serbia	1
TT - Trinidad e Tobago	1
TZ - Tanzania	1
Totale	9.135

Salva come PNG Salva come JPEG

Città	#
Milan	917
Chandler	376
Singapore	360
San Jose	337
Jacksonville	318
Ashburn	288
Fairfield	273
Woodbridge	228
Hong Kong	202
Houston	160
Izmir	158
Ann Arbor	148
Dearborn	148
Nyköping	120
Princeton	116
Dallas	113
Dublin	112
Dong Ket	110
Wilmington	109
Seattle	105
Beijing	101
Boardman	95
Cambridge	86
The Dalles	83
Chicago	61
Los Angeles	61
Rome	58
Council Bluffs	55
New York	51
Ho Chi Minh City	47
San Mateo	47
Lauterbourg	45
Kocaeli	41
Como	33
Hanoi	30
Munich	30
Orem	29
São Paulo	26
London	25
Santa Clara	24
Ogden	23
San Diego	23
Chennai	22
Toronto	21
Guangzhou	20
Helsinki	20
Stockholm	19
Frankfurt am Main	18
Amsterdam	17
Düsseldorf	17
Montreal	17
Brussels	16
Mexico City	16
Poplar	16
Hefei	15
Phoenix	15
Tokyo	15
Washington	15
Denver	14
Redwood City	13
Varese	13
Abuja	11
Brooklyn	11
Johannesburg	11
Berlin	10
Verona	10
Atlanta	9
Nanjing	9
Warsaw	9
Buffalo	8
Cavaria con Premezzo	8
West Jordan	8
Madrid	7
Monmouth Junction	7
Shanghai	7
Ankara	6
Boston	6
Centa San Nicolò	6
Columbus	6
Manchester	6
Nuremberg	6
Auburn Hills	5
Da Nang	5
Falls Church	5
Hangzhou	5
Istanbul	5
Kunming	5
Nanchang	5
Philadelphia	5
Querétaro	5
Tehran	5
Tianjin	5
Triuggio	5
Turin	5
Turku	5
Zhengzhou	5
Bochum	4
Chengdu	4
Cologno Monzese	4
Giussano	4
Totale	6.343

Salva come PNG Salva come JPEG

Nome	#
What Can We Know of Computational Information? Measuring, Quantity, and Quality at Work in Programmable Artifacts	225
prftree.sty	219
Program Abstraction in a Higher-Order Logic Framework	217
Algorithms and their explanations	217
A Model for Short-Term Content Adaptation	216
Correctness by Construction (CORCON)	213
Assessing the risk to intercept VoIP calls	212
Proof-Oriented Categorical Semantics	211
Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st Century	209
Well quasi orders in a categorical setting	195
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities	193
A Mathematical Framework for Risk Assessment	190
How to Avoid the Formal Verification of a Theorem Prover	176
The Minimal Levels of Abstraction in the History of Modern Computing	173
Risk Assessment in Practice: A Real Case Study	171
Computer Arithmetic: Logic, Calculation and Rewriting	166
Representing Object Code	165
Towards Short Term Content Adaptation	164
Annotation with adpositional argumentation	161
A Power Conservative Underwater Localization Protocol	157
Why zombies can’t write signicant source code: The Knowledge Game and the Art of Computer Programming	155
A Constructive Modeling Language for Object Oriented Information Systems	154
A Mathematical Derivation of a Risk Assessment Procedure	152
From Ancient to Modern Computing: A History of Information Hiding	151
Formal Connected Basic Pairs	147
Strong Constructivity of Second-Order Intuitionistic Arithmetic	146
Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey	146
Risk Assessment: Intercepting VoIP Calls	146
Dealing with the security behaviour of large scale systems	146
A Constructive Mathematics approach for Natural Language formal grammars	144
Tactics for Translation of Tableau in Natural Deduction	143
Constructive Adpositional Grammars: Foundations of Constructive Linguistics	143
Predicative Theories and Grothendieck Toposes	137
Constructive Methods in Automatic Analysis of Correctness Proofs	136
A Constructive Modeling Language for Object Oriented Information Systems	136
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars	136
The Collection Method in a Second Order Perspective	135
Linearity of Client Server System	134
From Structural Syntax to Constructive Adpositional Grammars	132
An Ad-Hoc Semantics to Study Structural Properties of Types	131
Navigazione tematica di un museo virtuale: una soluzione mirata	128
Strategie adattive nei web-based learning systems: un approccio comparativo	128
Short-Term Content Adaptation in Web-Based Learning Systems	128
Constructive Analysis and Synthesis of Programs	128
Barendregt's Lambda-Cube in Isabelle	126
VIrtuose: An Open-Source Virtual Community Server	120
From Computing Machineries to Cloud Computing: The Minimal Levels of Abstraction of Inforgs through History	117
More than Relata Refero: Representing the Various Roles of Reported Speech in Argumentative Discourse	117
Risk Assessment via Partial Orders	115
Towards More Secure Systems: How to Combine Expert Evaluations	113
La nozione di spazio in Matematica	111
Complex Arguments in Adpositional Argumentation	111
HOLLY - An Approach to Object Code Verification	110
A general syntax for nonrecursive Higher Inductive Types	102
The Logic of the Arguer: Representing Natural Argumentative Discourse in Adpositional Argumentation	99
VICE: E-Learning nell'era del Semantic Web,	99
Natural Numbers in Homotopy Type Theory	96
A proof-theoretical semantics for homotopy type theory	91
Adpositional argumentation: how logic originates in natural argumentative discourse	81
A general syntax for nonrecursive higher inductive types	75
Induction and Free Structures	69
Virtual communities as narrative processes	62
Subject Reduction in Multi-Universe Type Theories	61
Mathematics for Computation (M4C)	61
null	44
Totale	9.192

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	33.986
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.986

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	160	0	0	0	0	0	0	0	0	0	0	0	160
2021/2022	622	88	87	67	16	33	13	24	30	31	79	55	99
2022/2023	935	90	72	73	93	84	187	2	116	133	33	29	23
2023/2024	1.462	230	229	231	276	288	91	3	19	36	21	8	30
2024/2025	916	7	12	180	38	30	36	28	66	84	63	114	258
2025/2026	2.339	147	122	64	401	307	169	511	150	203	141	62	62
Totale													9.192