statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	4.373
EU - Europa	2.761
AS - Asia	1.933
SA - Sud America	180
Continente sconosciuto - Info sul continente non disponibili	61
AF - Africa	41
OC - Oceania	2
Totale	9.351

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.292
IT - Italia	1.305
SG - Singapore	613
UA - Ucraina	407
CN - Cina	349
TR - Turchia	336
VN - Vietnam	311
SE - Svezia	258
HK - Hong Kong	207
DE - Germania	160
BR - Brasile	145
GB - Regno Unito	122
IE - Irlanda	121
FI - Finlandia	120
FR - Francia	91
RU - Federazione Russa	56
CA - Canada	48
IN - India	38
NL - Olanda	30
ES - Italia	25
MX - Messico	24
BD - Bangladesh	22
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
CO - Colombia	4
CZ - Repubblica Ceca	4
EU - Europa	4
IQ - Iraq	4
VE - Venezuela	4
CH - Svizzera	3
PK - Pakistan	3
TH - Thailandia	3
DO - Repubblica Dominicana	2
EG - Egitto	2
GE - Georgia	2
ID - Indonesia	2
JM - Giamaica	2
MA - Marocco	2
NZ - Nuova Zelanda	2
OM - Oman	2
PE - Perù	2
PR - Porto Rico	2
QA - Qatar	2
SA - Arabia Saudita	2
SN - Senegal	2
TN - Tunisia	2
TT - Trinidad e Tobago	2
TW - Taiwan	2
UY - Uruguay	2
AE - Emirati Arabi Uniti	1
AL - Albania	1
AO - Angola	1
AZ - Azerbaigian	1
BG - Bulgaria	1
BO - Bolivia	1
BW - Botswana	1
BY - Bielorussia	1
CR - Costa Rica	1
DK - Danimarca	1
DZ - Algeria	1
EE - Estonia	1
ET - Etiopia	1
GA - Gabon	1
GR - Grecia	1
GY - Guiana	1
HU - Ungheria	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
PS - Palestinian Territory	1
PY - Paraguay	1
RS - Serbia	1
TZ - Tanzania	1
Totale	9.294

Salva come PNG Salva come JPEG

Città	#
Milan	920
Chandler	376
Singapore	363
San Jose	339
Jacksonville	318
Ashburn	293
Fairfield	273
Woodbridge	228
Hong Kong	202
Houston	162
Izmir	158
Ann Arbor	148
Dearborn	148
Nyköping	120
Princeton	117
Council Bluffs	116
Dallas	115
Dublin	112
Dong Ket	110
Wilmington	109
Seattle	105
Beijing	102
Boardman	95
Cambridge	86
The Dalles	83
Chicago	61
Los Angeles	61
Rome	60
New York	51
Ho Chi Minh City	47
San Mateo	47
Lauterbourg	45
Kocaeli	41
Como	33
Hanoi	30
Munich	30
Santa Clara	30
Orem	29
São Paulo	26
London	25
Ogden	23
San Diego	23
Chennai	22
Toronto	21
Guangzhou	20
Helsinki	20
Stockholm	19
Frankfurt am Main	18
Phoenix	18
Amsterdam	17
Düsseldorf	17
Montreal	17
Brussels	16
Mexico City	16
Poplar	16
Hefei	15
Tokyo	15
Washington	15
Denver	14
Redwood City	13
Varese	13
Abuja	11
Brooklyn	11
Johannesburg	11
Verona	11
Berlin	10
Atlanta	9
Buffalo	9
Nanjing	9
Warsaw	9
Cavaria con Premezzo	8
West Jordan	8
Madrid	7
Monmouth Junction	7
Shanghai	7
Turin	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
Turku	5
Zhengzhou	5
Bochum	4
Chengdu	4
Cologno Monzese	4
Giussano	4
Totale	6.438

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	35.291
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	35.291

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	534	0	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.347	147	122	64	401	307	169	511	150	203	141	62	70
2026/2027	151	54	97	0	0	0	0	0	0	0	0	0	0
Totale													9.351