statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	4.127
EU - Europa	2.708
AS - Asia	1.909
SA - Sud America	175
AF - Africa	41
Continente sconosciuto - Info sul continente non disponibili	4
OC - Oceania	2
Totale	8.966

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.050
IT - Italia	1.283
SG - Singapore	606
UA - Ucraina	406
CN - Cina	344
TR - Turchia	336
VN - Vietnam	311
SE - Svezia	236
HK - Hong Kong	206
DE - Germania	160
BR - Brasile	144
IE - Irlanda	121
FI - Finlandia	120
GB - Regno Unito	120
FR - Francia	91
RU - Federazione Russa	55
CA - Canada	46
IN - India	38
NL - Olanda	29
ES - Italia	24
MX - Messico	24
JP - Giappone	17
AR - Argentina	16
BE - Belgio	16
ZA - Sudafrica	15
BD - Bangladesh	14
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
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
KW - Kuwait	1
KZ - Kazakistan	1
LK - Sri Lanka	1
LV - Lettonia	1
MN - Mongolia	1
PH - Filippine	1
PR - Porto Rico	1
PS - Palestinian Territory	1
RS - Serbia	1
TT - Trinidad e Tobago	1
TW - Taiwan	1
TZ - Tanzania	1
Totale	8.966

Salva come PNG Salva come JPEG

Città	#
Milan	916
Chandler	376
Singapore	360
Jacksonville	318
San Jose	288
Ashburn	287
Fairfield	273
Woodbridge	228
Hong Kong	201
Houston	159
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
Los Angeles	61
Chicago	60
Rome	57
New York	50
Ho Chi Minh City	47
San Mateo	47
Lauterbourg	45
Kocaeli	41
Como	33
Hanoi	30
Munich	30
Orem	28
São Paulo	26
London	25
Ogden	23
San Diego	23
Chennai	22
Santa Clara	21
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
Council Bluffs	13
Redwood City	13
Varese	13
Denver	12
Abuja	11
Brooklyn	11
Johannesburg	11
Berlin	10
Verona	10
Atlanta	9
Nanjing	9
Warsaw	9
Cavaria con Premezzo	8
West Jordan	8
Buffalo	7
Madrid	7
Monmouth Junction	7
Shanghai	7
Ankara	6
Boston	6
Centa San Nicolò	6
Manchester	6
Nuremberg	6
Auburn Hills	5
Columbus	5
Da Nang	5
Falls Church	5
Hangzhou	5
Istanbul	5
Kunming	5
Nanchang	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
Magnago	4
Totale	6.236

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	292	0	0	0	0	0	0	0	0	0	64	68	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.170	147	122	64	401	307	169	511	150	203	96	0	0
Totale													9.023