statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	4.824
EU - Europa	2.578
AS - Asia	1.598
SA - Sud America	182
Continente sconosciuto - Info sul continente non disponibili	51
AF - Africa	37
OC - Oceania	1
Totale	9.271

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.752
IT - Italia	1.212
SG - Singapore	542
UA - Ucraina	368
CN - Cina	323
SE - Svezia	259
VN - Vietnam	231
TR - Turchia	226
HK - Hong Kong	163
BR - Brasile	152
DE - Germania	151
GB - Regno Unito	137
IE - Irlanda	119
FI - Finlandia	117
FR - Francia	73
RU - Federazione Russa	63
CA - Canada	31
MX - Messico	31
IN - India	28
BD - Bangladesh	27
PL - Polonia	23
NG - Nigeria	18
JP - Giappone	13
BE - Belgio	12
NL - Olanda	12
AR - Argentina	11
ZA - Sudafrica	11
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
CR - Costa Rica	2
GT - Guatemala	2
JM - Giamaica	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
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
TT - Trinidad e Tobago	1
Totale	9.225

Salva come PNG Salva come JPEG

Città	#
Milan	821
Fairfield	466
Ashburn	430
Chandler	350
Woodbridge	344
Singapore	297
Jacksonville	287
San Jose	272
Seattle	210
Dearborn	188
Wilmington	184
Houston	180
Cambridge	169
Hong Kong	161
Ann Arbor	156
Beijing	125
Dublin	119
Dallas	115
Council Bluffs	111
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Boardman	69
Chicago	59
Los Angeles	58
Rome	58
The Dalles	56
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
Santa Clara	20
Kocaeli	19
São Paulo	19
Buffalo	18
Ogden	18
Frankfurt am Main	17
Abuja	16
Orem	16
Phoenix	16
Boston	14
Manchester	14
Atlanta	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
Philadelphia	8
Verona	8
Da Nang	7
Montreal	7
Nanchang	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
Charlotte	4
Columbus	4
Lucca	4
Montréal	4
Paris	4
Vancouver	4
Vienna	4
Auburn Hills	3
Augusta	3
Baotou	3
Brescia	3
Totale	6.589

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	295
A forward unprovability calculus for intuitionistic propositional logic	244
A Terminating Evaluation-Driven Variant of G3i	238
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	223
A secondary semantics for second order intuitionistic propositional logic	220
Tableau calculi for the logics of finite k-ary trees	211
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	209
A decidable constructive description logic	204
Dai fondamenti agli oggetti. Corso di programmazione Java.	201
A tableau calculus for Dummett predicate logic	200
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	200
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	199
Extracting exact time bounds from logical proofs	198
On the complexity of the disjunction property in intuitionistic and modal logics	196
fCube: An Efficient Prover for Intuitionistic Propositional Logic	195
A formal framework for synthesis and verification of logic programs	192
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	187
Hypersequent calculi for some intermediate logics with bounded Kripke models	183
On uniformly constructive and semiconstructive formal systems	182
Simplification Rules for Intuitionistic Propositional Tableaux	181
Actions Over a Constructive Semantics for Description Logics	177
Composition of Semantic Web Services in a Constructive Description Logic	174
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	170
Counting the maximal intermediate constructive logics	170
Snapshot Generation in a Constructive Object-oriented Modeling Language	169
Hypertableau and path-hypertableau calculi for some families of intermediate logics	166
From constructivism to logic programming: An homage to Mario Ornaghi	165
ESBC: an application for computing stabilization bounds	164
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	162
A constructive semantics for ALC	161
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	159
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	158
A Constructive Modeling Language for Object Oriented Information Systems	156
Synthesis of programs in abstract data types	156
Proof-search in Hilbert calculi	156
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	156
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	147
A proof-theoretical analysis of semiconstructive intermediate theories	145
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	144
Cut-free tableau calculi for some intuitionistic modal logics	138
A Constructive Modeling Language for Object Oriented Information Systems	138
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	134
BCDL: Basic Constructive Description Logic	132
Forward countermodel construction in modal Logic K	129
Extracting information from intermediate semiconstructive HA-systems	123
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	120
Forward proof-search and countermodel construction in intuitionistic propositional logic	118
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	115
Forward refutation for Gödel-Dummett Logics	114
A forward internal calculus for model generation in S4	105
null	92
SAT-based proof search in intermediate propositional logics	86
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	70
A New Approach to Clausification for Intuitionistic Propositional Logic	68
On the complexity of disjunction and explicit definability properties in some intermediate logics	67
A Gödel Modal Logic over Witnessed Crisp Models	48
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	40
Proof Search and Countermodel Construction for iCK4	32
Totale	9.271

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	499	0	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.187	155	120	129	370	327	141	392	107	182	146	69	49
2026/2027	131	37	94	0	0	0	0	0	0	0	0	0	0
Totale													9.271