statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	4.755
EU - Europa	2.790
AS - Asia	1.939
SA - Sud America	181
Continente sconosciuto - Info sul continente non disponibili	61
AF - Africa	41
OC - Oceania	2
Totale	9.769

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.661
IT - Italia	1.328
SG - Singapore	614
UA - Ucraina	407
CN - Cina	349
TR - Turchia	336
VN - Vietnam	312
SE - Svezia	258
HK - Hong Kong	207
DE - Germania	162
BR - Brasile	146
GB - Regno Unito	123
IE - Irlanda	121
FI - Finlandia	120
FR - Francia	91
CA - Canada	57
RU - Federazione Russa	57
IN - India	38
NL - Olanda	30
ES - Italia	25
MX - Messico	24
BD - Bangladesh	23
BE - Belgio	17
JP - Giappone	17
AR - Argentina	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
CR - Costa Rica	4
CZ - Repubblica Ceca	4
EU - Europa	4
IQ - Iraq	4
TW - Taiwan	4
VE - Venezuela	4
CH - Svizzera	3
JM - Giamaica	3
PK - Pakistan	3
TH - Thailandia	3
DK - Danimarca	2
DO - Repubblica Dominicana	2
EG - Egitto	2
GE - Georgia	2
ID - Indonesia	2
MA - Marocco	2
NZ - Nuova Zelanda	2
OM - Oman	2
PE - Perù	2
PH - Filippine	2
PR - Porto Rico	2
QA - Qatar	2
SA - Arabia Saudita	2
SN - Senegal	2
TN - Tunisia	2
TT - Trinidad e Tobago	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
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
PS - Palestinian Territory	1
PY - Paraguay	1
RS - Serbia	1
TZ - Tanzania	1
Totale	9.712

Salva come PNG Salva come JPEG

Città	#
Milan	921
San Jose	404
Chandler	376
Singapore	363
Ashburn	362
Jacksonville	318
Fairfield	273
Woodbridge	228
Hong Kong	202
Council Bluffs	186
Houston	164
Izmir	158
Ann Arbor	148
Dearborn	148
Dallas	120
Nyköping	120
Princeton	117
Dublin	112
Dong Ket	110
Wilmington	109
Seattle	105
Beijing	102
Boardman	95
Cambridge	86
The Dalles	83
Los Angeles	65
Chicago	64
Rome	62
New York	54
Ho Chi Minh City	48
San Mateo	47
Lauterbourg	45
Kocaeli	41
Santa Clara	34
Como	33
Hanoi	30
Munich	30
Orem	29
São Paulo	27
London	25
San Diego	25
Ogden	23
Chennai	22
Phoenix	22
Toronto	22
Guangzhou	20
Helsinki	20
Stockholm	19
Frankfurt am Main	18
Montreal	18
Washington	18
Amsterdam	17
Düsseldorf	17
Brussels	16
Mexico City	16
Poplar	16
Atlanta	15
Denver	15
Hefei	15
Tokyo	15
Redwood City	13
Varese	13
Brooklyn	12
Abuja	11
Johannesburg	11
Verona	11
Berlin	10
Buffalo	10
Nanjing	9
Warsaw	9
Cavaria con Premezzo	8
West Jordan	8
Madrid	7
Manchester	7
Monmouth Junction	7
Shanghai	7
Turin	7
Ankara	6
Boston	6
Centa San Nicolò	6
Columbus	6
Naples	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
San Francisco	5
Tehran	5
Tianjin	5
Triuggio	5
Turku	5
Zhengzhou	5
Bochum	4
Chengdu	4
Totale	6.692

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	36.956
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.956

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	380	0	0	0	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	569	54	105	305	105	0	0	0	0	0	0	0	0
Totale													9.769