statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	3.641
EU - Europa	2.590
AS - Asia	1.464
SA - Sud America	162
AF - Africa	25
Continente sconosciuto - Info sul continente non disponibili	4
OC - Oceania	2
Totale	7.888

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	3.573
IT - Italia	1.268
SG - Singapore	426
UA - Ucraina	405
TR - Turchia	335
SE - Svezia	234
CN - Cina	230
VN - Vietnam	221
HK - Hong Kong	185
DE - Germania	149
BR - Brasile	138
IE - Irlanda	120
FI - Finlandia	112
GB - Regno Unito	103
RU - Federazione Russa	55
CA - Canada	44
FR - Francia	42
NL - Olanda	25
IN - India	21
ES - Italia	20
MX - Messico	19
BE - Belgio	16
AR - Argentina	15
ZA - Sudafrica	14
JP - Giappone	13
BD - Bangladesh	11
PL - Polonia	10
RO - Romania	7
AT - Austria	6
IR - Iran	6
LT - Lituania	5
CZ - Repubblica Ceca	4
EU - Europa	4
VE - Venezuela	4
CH - Svizzera	3
IQ - Iraq	3
CL - Cile	2
DO - Repubblica Dominicana	2
MA - Marocco	2
NZ - Nuova Zelanda	2
TN - Tunisia	2
AL - Albania	1
AO - Angola	1
AZ - Azerbaigian	1
BG - Bulgaria	1
BW - Botswana	1
CO - Colombia	1
CR - Costa Rica	1
DZ - Algeria	1
EG - Egitto	1
ET - Etiopia	1
GE - Georgia	1
GR - Grecia	1
HU - Ungheria	1
ID - Indonesia	1
IL - Israele	1
JM - Giamaica	1
JO - Giordania	1
KE - Kenya	1
KW - Kuwait	1
KZ - Kazakistan	1
LK - Sri Lanka	1
LV - Lettonia	1
MN - Mongolia	1
OM - Oman	1
PE - Perù	1
PK - Pakistan	1
QA - Qatar	1
RS - Serbia	1
SA - Arabia Saudita	1
TT - Trinidad e Tobago	1
TZ - Tanzania	1
UY - Uruguay	1
Totale	7.888

Salva come PNG Salva come JPEG

Città	#
Milan	912
Chandler	376
Jacksonville	318
Fairfield	273
Singapore	251
Ashburn	236
Woodbridge	228
Hong Kong	180
Houston	158
Izmir	158
Ann Arbor	148
Dearborn	148
Nyköping	120
Princeton	116
Dallas	111
Dublin	111
Dong Ket	110
Wilmington	109
Seattle	105
Boardman	95
Beijing	89
Cambridge	86
Los Angeles	57
Rome	54
San Mateo	47
The Dalles	45
New York	44
Kocaeli	41
Como	33
Chicago	32
Munich	30
São Paulo	25
Ogden	23
San Diego	23
Toronto	21
London	20
Santa Clara	20
Düsseldorf	17
Stockholm	17
Brussels	16
Montreal	16
Hefei	15
Washington	15
Amsterdam	14
Redwood City	13
Varese	13
Denver	12
Helsinki	12
Ho Chi Minh City	12
Mexico City	12
Poplar	12
Chennai	11
Phoenix	11
Tokyo	11
Berlin	10
Frankfurt am Main	10
Johannesburg	10
Verona	10
Brooklyn	9
Council Bluffs	9
Guangzhou	9
Nanjing	9
Atlanta	8
Cavaria con Premezzo	8
Orem	8
West Jordan	8
Buffalo	7
Hanoi	7
Madrid	7
Monmouth Junction	7
Warsaw	7
Boston	6
Centa San Nicolò	6
Ankara	5
Auburn Hills	5
Columbus	5
Falls Church	5
Istanbul	5
Kunming	5
Nanchang	5
Tehran	5
Triuggio	5
Turku	5
Zhengzhou	5
Bochum	4
Chengdu	4
Cologno Monzese	4
Giussano	4
Magnago	4
Modena	4
Porto Alegre	4
Querétaro	4
Rho	4
Turin	4
Assis	3
Buenos Aires	3
Edinburgh	3
Jackson	3
Jinan	3
Maceió	3
Totale	5.450

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	598	0	0	0	0	0	84	25	69	128	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	1.092	147	122	64	401	307	51	0	0	0	0	0	0
Totale													7.945