statistiche ricercatore

BENINI, MARCO

Distribuzione geografica

Continente	#
NA - Nord America	2.895
EU - Europa	2.333
AS - Asia	650
SA - Sud America	5
Continente sconosciuto - Info sul continente non disponibili	4
AF - Africa	2
OC - Oceania	2
Totale	5.891

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	2.873
IT - Italia	1.239
UA - Ucraina	403
TR - Turchia	329
SE - Svezia	216
VN - Vietnam	189
IE - Irlanda	120
CN - Cina	106
DE - Germania	105
FI - Finlandia	102
GB - Regno Unito	67
FR - Francia	36
CA - Canada	22
BE - Belgio	14
NL - Olanda	13
JP - Giappone	7
RO - Romania	7
IN - India	6
IR - Iran	6
EU - Europa	4
BR - Brasile	3
CZ - Repubblica Ceca	3
HK - Hong Kong	3
CH - Svizzera	2
NZ - Nuova Zelanda	2
AL - Albania	1
CL - Cile	1
ES - Italia	1
GR - Grecia	1
HU - Ungheria	1
IL - Israele	1
KZ - Kazakistan	1
LK - Sri Lanka	1
MN - Mongolia	1
PE - Perù	1
RS - Serbia	1
RU - Federazione Russa	1
TN - Tunisia	1
TZ - Tanzania	1
Totale	5.891

Salva come PNG Salva come JPEG

Città	#
Milan	910
Chandler	376
Jacksonville	318
Fairfield	273
Woodbridge	228
Ashburn	158
Izmir	158
Houston	152
Ann Arbor	148
Dearborn	148
Nyköping	120
Princeton	116
Dublin	111
Dong Ket	110
Wilmington	109
Seattle	103
Cambridge	86
Rome	54
San Mateo	47
Kocaeli	41
Como	33
Boardman	30
Beijing	29
Ogden	23
San Diego	23
Toronto	18
Düsseldorf	17
Hefei	15
Washington	15
Brussels	14
Redwood City	13
New York	11
Berlin	10
Verona	10
Nanjing	9
Guangzhou	8
London	8
Los Angeles	8
West Jordan	8
Helsinki	7
Monmouth Junction	7
Centa San Nicolò	6
Auburn Hills	5
Dallas	5
Falls Church	5
Frankfurt am Main	5
Kunming	5
Nanchang	5
Tehran	5
Tokyo	5
Triuggio	5
Amsterdam	4
Cologno Monzese	4
Giussano	4
Magnago	4
Modena	4
Rho	4
Turin	4
Varese	4
Chengdu	3
Edinburgh	3
Istanbul	3
Jinan	3
Norwalk	3
Pune	3
Santa Maria Capua Vetere	3
Shenyang	3
Strasbourg	3
Timisoara	3
Zhengzhou	3
Bologna	2
Chongqing	2
Fino Mornasco	2
Florence	2
Fuzhou	2
Group	2
Indiana	2
Kilburn	2
Ningbo	2
Philadelphia	2
Ponte Lambro	2
Saint-ouen	2
São Paulo	2
Trento	2
Xian	2
Almaty	1
Andover	1
Ankara	1
Ardabil	1
Arzano	1
Athens	1
Auckland	1
Belgrade	1
Brno	1
Brooklyn	1
Bucharest	1
Budapest	1
Buffalo	1
Changchun	1
Changsha	1
Totale	4.243

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	948	37	55	41	139	38	132	164	109	62	89	12	70
2020/2021	812	9	73	35	85	12	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	7	7	0	0	0	0	0	0	0	0	0	0	0
Totale													5.944