statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	4.709
EU - Europa	2.563
AS - Asia	1.593
SA - Sud America	181
AF - Africa	37
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	1
Totale	9.089

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.644
IT - Italia	1.206
SG - Singapore	540
UA - Ucraina	368
CN - Cina	321
SE - Svezia	252
VN - Vietnam	231
TR - Turchia	226
HK - Hong Kong	162
BR - Brasile	151
DE - Germania	151
GB - Regno Unito	137
IE - Irlanda	119
FI - Finlandia	117
FR - Francia	73
RU - Federazione Russa	63
MX - Messico	31
CA - Canada	29
IN - India	28
BD - Bangladesh	27
PL - Polonia	23
NG - Nigeria	18
JP - Giappone	13
BE - Belgio	12
AR - Argentina	11
ZA - Sudafrica	11
NL - Olanda	10
ES - Italia	7
ID - Indonesia	7
AE - Emirati Arabi Uniti	6
AT - Austria	6
CO - Colombia	6
VE - Venezuela	6
EU - Europa	5
IQ - Iraq	5
LT - Lituania	5
PK - Pakistan	4
TH - Thailandia	4
DZ - Algeria	3
EC - Ecuador	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
UY - Uruguay	2
UZ - Uzbekistan	2
AU - Australia	1
BS - Bahamas	1
CL - Cile	1
CR - Costa Rica	1
EE - Estonia	1
EG - Egitto	1
GE - Georgia	1
GT - Guatemala	1
HU - Ungheria	1
IL - Israele	1
JM - Giamaica	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
TT - Trinidad e Tobago	1
Totale	9.089

Salva come PNG Salva come JPEG

Città	#
Milan	821
Fairfield	466
Ashburn	426
Chandler	350
Woodbridge	344
Singapore	295
Jacksonville	287
San Jose	270
Seattle	210
Dearborn	188
Wilmington	184
Houston	179
Cambridge	169
Hong Kong	160
Ann Arbor	156
Beijing	124
Dublin	119
Dallas	115
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Boardman	69
Chicago	58
Los Angeles	58
Rome	57
The Dalles	56
Council Bluffs	53
New York	47
Lauterbourg	45
Como	42
Ho Chi Minh City	41
San Mateo	39
San Diego	31
London	28
Munich	26
Hanoi	23
Mexico City	23
Helsinki	22
Warsaw	22
Washington	22
Kocaeli	19
São Paulo	19
Buffalo	18
Ogden	18
Santa Clara	18
Frankfurt am Main	17
Abuja	16
Orem	16
Phoenix	15
Boston	14
Atlanta	13
Manchester	13
Poplar	13
Berlin	12
Brussels	12
Denver	12
Düsseldorf	12
Hefei	12
Chennai	11
Stockholm	10
Tokyo	10
Vimodrone	10
Rio de Janeiro	9
Amsterdam	8
Brooklyn	8
Johannesburg	8
Nanjing	8
Verona	8
Da Nang	7
Montreal	7
Nanchang	7
Philadelphia	7
San Francisco	7
Elk Grove Village	6
Hangzhou	6
Kunming	6
Ankara	5
Des Moines	5
Espoo	5
Guangzhou	5
Haiphong	5
Jinan	5
Norwalk	5
Redmond	5
Shenyang	5
Turku	5
Brasília	4
Busto Arsizio	4
Lucca	4
Montréal	4
Paris	4
Vancouver	4
Vienna	4
Auburn Hills	3
Augusta	3
Baotou	3
Brescia	3
Changsha	3
Chiswick	3
Totale	6.511

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	294
A forward unprovability calculus for intuitionistic propositional logic	243
A Terminating Evaluation-Driven Variant of G3i	229
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	221
A secondary semantics for second order intuitionistic propositional logic	216
Tableau calculi for the logics of finite k-ary trees	208
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	208
A decidable constructive description logic	200
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	199
A tableau calculus for Dummett predicate logic	197
Extracting exact time bounds from logical proofs	197
Dai fondamenti agli oggetti. Corso di programmazione Java.	196
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	196
fCube: An Efficient Prover for Intuitionistic Propositional Logic	194
On the complexity of the disjunction property in intuitionistic and modal logics	194
A formal framework for synthesis and verification of logic programs	191
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	189
Building a domain ontology from glossaries: a general methodology	183
Hypersequent calculi for some intermediate logics with bounded Kripke models	181
On uniformly constructive and semiconstructive formal systems	180
Simplification Rules for Intuitionistic Propositional Tableaux	177
Actions Over a Constructive Semantics for Description Logics	174
Composition of Semantic Web Services in a Constructive Description Logic	170
Counting the maximal intermediate constructive logics	169
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	168
Snapshot Generation in a Constructive Object-oriented Modeling Language	166
Hypertableau and path-hypertableau calculi for some families of intermediate logics	164
ESBC: an application for computing stabilization bounds	163
From constructivism to logic programming: An homage to Mario Ornaghi	163
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	160
A constructive semantics for ALC	157
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	156
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	156
Synthesis of programs in abstract data types	155
A Constructive Modeling Language for Object Oriented Information Systems	154
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	154
Proof-search in Hilbert calculi	153
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	144
A proof-theoretical analysis of semiconstructive intermediate theories	143
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	142
Cut-free tableau calculi for some intuitionistic modal logics	137
A Constructive Modeling Language for Object Oriented Information Systems	136
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	133
BCDL: Basic Constructive Description Logic	130
Forward countermodel construction in modal Logic K	126
Extracting information from intermediate semiconstructive HA-systems	122
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	119
Forward proof-search and countermodel construction in intuitionistic propositional logic	115
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	112
Forward refutation for Gödel-Dummett Logics	112
A forward internal calculus for model generation in S4	103
null	92
SAT-based proof search in intermediate propositional logics	84
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	69
A New Approach to Clausification for Intuitionistic Propositional Logic	67
On the complexity of disjunction and explicit definability properties in some intermediate logics	60
A Gödel Modal Logic over Witnessed Crisp Models	46
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	39
Proof Search and Countermodel Construction for iCK4	29
Totale	9.135

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	122	0	0	0	0	0	0	0	0	0	0	0	122
2021/2022	574	75	19	48	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.182	155	120	129	370	327	141	392	107	182	146	69	44
Totale													9.135