statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	5.190
EU - Europa	2.634
AS - Asia	1.600
SA - Sud America	183
Continente sconosciuto - Info sul continente non disponibili	52
AF - Africa	37
OC - Oceania	1
Totale	9.697

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	5.106
IT - Italia	1.258
SG - Singapore	543
UA - Ucraina	369
CN - Cina	324
SE - Svezia	259
VN - Vietnam	231
TR - Turchia	226
HK - Hong Kong	163
BR - Brasile	153
DE - Germania	153
GB - Regno Unito	138
IE - Irlanda	119
FI - Finlandia	117
FR - Francia	75
RU - Federazione Russa	63
CA - Canada	38
MX - Messico	31
IN - India	28
BD - Bangladesh	27
PL - Polonia	24
NG - Nigeria	18
JP - Giappone	13
NL - Olanda	13
BE - Belgio	12
AR - Argentina	11
ZA - Sudafrica	11
ES - Italia	7
ID - Indonesia	7
AE - Emirati Arabi Uniti	6
AT - Austria	6
CO - Colombia	6
LT - Lituania	6
VE - Venezuela	6
EU - Europa	5
IQ - Iraq	5
JM - Giamaica	4
PK - Pakistan	4
TH - Thailandia	4
CR - Costa Rica	3
DZ - Algeria	3
EC - Ecuador	3
GT - Guatemala	3
MA - Marocco	3
PH - Filippine	3
RO - Romania	3
AZ - Azerbaigian	2
CH - Svizzera	2
JO - Giordania	2
KH - Cambogia	2
RS - Serbia	2
SA - Arabia Saudita	2
TT - Trinidad e Tobago	2
UY - Uruguay	2
UZ - Uzbekistan	2
AU - Australia	1
BG - Bulgaria	1
BS - Bahamas	1
CL - Cile	1
CW - ???statistics.table.value.countryCode.CW???	1
EE - Estonia	1
EG - Egitto	1
GE - Georgia	1
GP - Guadalupe	1
HN - Honduras	1
HU - Ungheria	1
IL - Israele	1
LU - Lussemburgo	1
MD - Moldavia	1
MY - Malesia	1
NP - Nepal	1
OM - Oman	1
PE - Perù	1
PT - Portogallo	1
SI - Slovenia	1
SK - Slovacchia (Repubblica Slovacca)	1
SN - Senegal	1
SY - Repubblica araba siriana	1
Totale	9.651

Salva come PNG Salva come JPEG

Città	#
Milan	825
Ashburn	488
Fairfield	466
Chandler	351
Woodbridge	344
San Jose	337
Singapore	297
Jacksonville	287
Seattle	210
Dearborn	188
Wilmington	184
Houston	180
Council Bluffs	173
Cambridge	169
Hong Kong	161
Ann Arbor	156
Beijing	126
Dublin	119
Dallas	117
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Boardman	69
Los Angeles	64
Rome	63
Chicago	60
The Dalles	56
New York	53
Lauterbourg	45
Como	42
Ho Chi Minh City	41
San Mateo	39
San Diego	31
London	28
Washington	27
Munich	26
Hanoi	23
Mexico City	23
Warsaw	23
Helsinki	22
Santa Clara	20
São Paulo	20
Buffalo	19
Kocaeli	19
Phoenix	19
Ogden	18
Frankfurt am Main	17
Orem	17
Abuja	16
Atlanta	14
Berlin	14
Boston	14
Manchester	14
Poplar	13
Brussels	12
Denver	12
Düsseldorf	12
Hefei	12
Chennai	11
Brooklyn	10
Stockholm	10
Tokyo	10
Vimodrone	10
Amsterdam	9
Rio de Janeiro	9
Johannesburg	8
Nanjing	8
Philadelphia	8
San Francisco	8
Verona	8
Da Nang	7
Montreal	7
Nanchang	7
Palermo	7
Elk Grove Village	6
Hangzhou	6
Kunming	6
Redmond	6
Ankara	5
Catania	5
Charlotte	5
Des Moines	5
Espoo	5
Guangzhou	5
Haiphong	5
Jinan	5
Norwalk	5
Paris	5
Shenyang	5
Turku	5
Brasília	4
Busto Arsizio	4
Columbus	4
Las Vegas	4
Lucca	4
Montréal	4
Naples	4
Raleigh	4
Salt Lake City	4
Totale	6.830

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	299
A forward unprovability calculus for intuitionistic propositional logic	248
A Terminating Evaluation-Driven Variant of G3i	247
Dai fondamenti agli oggetti. Corso di programmazione Java.	241
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	228
A secondary semantics for second order intuitionistic propositional logic	226
Tableau calculi for the logics of finite k-ary trees	225
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	215
A decidable constructive description logic	212
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	211
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	206
A tableau calculus for Dummett predicate logic	205
Extracting exact time bounds from logical proofs	203
On the complexity of the disjunction property in intuitionistic and modal logics	203
fCube: An Efficient Prover for Intuitionistic Propositional Logic	201
A formal framework for synthesis and verification of logic programs	200
Building a domain ontology from glossaries: a general methodology	195
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	194
Simplification Rules for Intuitionistic Propositional Tableaux	190
Hypersequent calculi for some intermediate logics with bounded Kripke models	188
On uniformly constructive and semiconstructive formal systems	186
Composition of Semantic Web Services in a Constructive Description Logic	183
Actions Over a Constructive Semantics for Description Logics	182
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	179
Snapshot Generation in a Constructive Object-oriented Modeling Language	175
Counting the maximal intermediate constructive logics	175
Hypertableau and path-hypertableau calculi for some families of intermediate logics	172
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	171
A constructive semantics for ALC	170
ESBC: an application for computing stabilization bounds	168
From constructivism to logic programming: An homage to Mario Ornaghi	167
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	166
Synthesis of programs in abstract data types	165
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	165
A Constructive Modeling Language for Object Oriented Information Systems	163
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	163
Proof-search in Hilbert calculi	161
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	151
A proof-theoretical analysis of semiconstructive intermediate theories	150
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	148
Cut-free tableau calculi for some intuitionistic modal logics	147
A Constructive Modeling Language for Object Oriented Information Systems	144
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	139
BCDL: Basic Constructive Description Logic	137
Forward countermodel construction in modal Logic K	135
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	132
Extracting information from intermediate semiconstructive HA-systems	129
Forward proof-search and countermodel construction in intuitionistic propositional logic	122
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	121
Forward refutation for Gödel-Dummett Logics	119
A forward internal calculus for model generation in S4	114
SAT-based proof search in intermediate propositional logics	98
null	92
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	80
On the complexity of disjunction and explicit definability properties in some intermediate logics	79
A New Approach to Clausification for Intuitionistic Propositional Logic	74
A Gödel Modal Logic over Witnessed Crisp Models	53
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	48
Proof Search and Countermodel Construction for iCK4	37
Totale	9.697

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	36.913
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.913

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	432	0	0	0	64	28	42	20	28	35	103	32	80
2022/2023	906	70	79	67	93	68	166	3	111	132	31	57	29
2023/2024	1.361	196	192	210	289	278	109	4	30	23	14	3	13
2024/2025	742	1	10	144	28	20	54	27	35	110	48	77	188
2025/2026	2.187	155	120	129	370	327	141	392	107	182	146	69	49
2026/2027	557	37	113	279	128	0	0	0	0	0	0	0	0
Totale													9.697