statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	3.493
EU - Europa	2.206
AS - Asia	451
Continente sconosciuto - Info sul continente non disponibili	5
SA - Sud America	2
AF - Africa	1
OC - Oceania	1
Totale	6.159

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	3.487
IT - Italia	1.146
UA - Ucraina	367
SE - Svezia	243
TR - Turchia	216
VN - Vietnam	120
IE - Irlanda	118
DE - Germania	110
CN - Cina	102
FI - Finlandia	92
GB - Regno Unito	81
FR - Francia	18
BE - Belgio	12
CA - Canada	5
EU - Europa	5
IN - India	5
AT - Austria	3
JP - Giappone	3
PL - Polonia	3
RO - Romania	3
TH - Thailandia	3
CH - Svizzera	2
NL - Olanda	2
RS - Serbia	2
AU - Australia	1
BR - Brasile	1
LU - Lussemburgo	1
MA - Marocco	1
MX - Messico	1
MY - Malesia	1
PT - Portogallo	1
RU - Federazione Russa	1
SG - Singapore	1
SK - Slovacchia (Repubblica Slovacca)	1
VE - Venezuela	1
Totale	6.159

Salva come PNG Salva come JPEG

Città	#
Milan	810
Fairfield	466
Chandler	350
Woodbridge	344
Ashburn	299
Jacksonville	287
Seattle	208
Dearborn	188
Wilmington	184
Houston	170
Cambridge	169
Ann Arbor	156
Dublin	118
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Rome	48
Como	41
San Mateo	39
San Diego	31
Beijing	27
Washington	22
Council Bluffs	20
Kocaeli	19
Ogden	18
New York	17
Brussels	12
Düsseldorf	12
Hefei	12
London	12
Boardman	11
Frankfurt am Main	11
Los Angeles	10
Berlin	9
Helsinki	8
Nanjing	8
Verona	8
Nanchang	7
Kunming	6
Philadelphia	6
Jinan	5
Norwalk	5
Redmond	5
Busto Arsizio	4
Lucca	4
Montréal	4
Phoenix	4
Shenyang	4
Auburn Hills	3
Baotou	3
Changsha	3
Chiswick	3
Hebei	3
Indiana	3
Kilburn	3
Nembro	3
New Bedfont	3
Prescot	3
Redwood City	3
Timisoara	3
Warsaw	3
Acton	2
Augusta	2
Bareggio	2
Belgrade	2
Casorezzo	2
Chicago	2
Dallas	2
Falls Church	2
Genoa	2
Guangzhou	2
Karlsruhe	2
Lallio	2
Liscate	2
Paderno Dugnano	2
Padova	2
Palermo	2
Palombara Sabina	2
Pescara	2
Pune	2
Selvazzano Dentro	2
Wuhan	2
Agadir	1
Allendale	1
Andover	1
Bangalore	1
Bangkok	1
Boston	1
Bratislava	1
Bresso	1
Buffalo	1
Bulgorello	1
Caracas	1
Chengdu	1
Chiasso	1
Cormeilles-en-Parisis	1
Dalmine	1
Edinburgh	1
El Paso	1
Totale	4.674

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	229
A forward unprovability calculus for intuitionistic propositional logic	178
A secondary semantics for second order intuitionistic propositional logic	170
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	164
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	163
A Terminating Evaluation-Driven Variant of G3i	158
A tableau calculus for Dummett predicate logic	150
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	150
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	149
Dai fondamenti agli oggetti. Corso di programmazione Java.	146
On the complexity of the disjunction property in intuitionistic and modal logics	145
On uniformly constructive and semiconstructive formal systems	143
Tableau calculi for the logics of finite k-ary trees	142
Counting the maximal intermediate constructive logics	141
Extracting exact time bounds from logical proofs	139
A decidable constructive description logic	139
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	138
A formal framework for synthesis and verification of logic programs	136
Hypersequent calculi for some intermediate logics with bounded Kripke models	134
Snapshot Generation in a Constructive Object-oriented Modeling Language	133
fCube: An Efficient Prover for Intuitionistic Propositional Logic	130
Hypertableau and path-hypertableau calculi for some families of intermediate logics	129
Simplification Rules for Intuitionistic Propositional Tableaux	128
Synthesis of programs in abstract data types	125
ESBC: an application for computing stabilization bounds	122
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	120
Composition of Semantic Web Services in a Constructive Description Logic	120
Actions Over a Constructive Semantics for Description Logics	119
Building a domain ontology from glossaries: a general methodology	118
From constructivism to logic programming: An homage to Mario Ornaghi	117
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	106
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	103
Proof-search in Hilbert calculi	102
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	101
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	100
A proof-theoretical analysis of semiconstructive intermediate theories	99
Cut-free tableau calculi for some intuitionistic modal logics	98
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	97
null	92
A Constructive Modeling Language for Object Oriented Information Systems	92
Extracting information from intermediate semiconstructive HA-systems	91
A Constructive Modeling Language for Object Oriented Information Systems	91
A constructive semantics for ALC	89
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	87
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	82
BCDL: Basic Constructive Description Logic	81
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	73
Forward countermodel construction in modal Logic K	72
Forward proof-search and countermodel construction in intuitionistic propositional logic	68
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	55
Forward refutation for Gödel-Dummett Logics	49
A forward internal calculus for model generation in S4	45
SAT-based proof search in intermediate propositional logics	23
On the complexity of disjunction and explicit definability properties in some intermediate logics	19
A New Approach to Clausification for Intuitionistic Propositional Logic	7
Totale	6.197

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	18.683
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.683

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	352	0	0	0	0	0	0	0	0	0	0	145	207
2019/2020	1.290	55	38	59	217	93	193	201	152	98	78	32	74
2020/2021	995	24	77	45	76	69	96	79	91	124	94	98	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.347	196	192	210	289	278	109	4	30	23	14	2	0
Totale													6.197