statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	3.606
EU - Europa	2.255
AS - Asia	504
Continente sconosciuto - Info sul continente non disponibili	5
SA - Sud America	2
AF - Africa	1
OC - Oceania	1
Totale	6.374

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	3.600
IT - Italia	1.172
UA - Ucraina	367
SE - Svezia	243
TR - Turchia	216
VN - Vietnam	120
DE - Germania	119
IE - Irlanda	118
FI - Finlandia	104
CN - Cina	103
GB - Regno Unito	81
SG - Singapore	53
FR - Francia	18
BE - Belgio	12
CA - Canada	5
EU - Europa	5
IN - India	5
NL - Olanda	4
AT - Austria	3
JP - Giappone	3
PL - Polonia	3
RO - Romania	3
TH - Thailandia	3
CH - Svizzera	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
SK - Slovacchia (Repubblica Slovacca)	1
VE - Venezuela	1
Totale	6.374

Salva come PNG Salva come JPEG

Città	#
Milan	814
Fairfield	466
Chandler	350
Woodbridge	344
Ashburn	300
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
Boardman	69
Singapore	52
Rome	50
Como	41
San Mateo	39
San Diego	31
Beijing	27
Chicago	22
Washington	22
Council Bluffs	20
Kocaeli	19
Ogden	18
New York	17
Helsinki	14
Brussels	12
Düsseldorf	12
Hefei	12
London	12
Frankfurt am Main	11
Los Angeles	10
Vimodrone	10
Berlin	9
Dallas	9
Munich	9
Nanjing	8
Verona	8
Nanchang	7
Kunming	6
Philadelphia	6
Espoo	5
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
Santa Clara	3
Timisoara	3
Warsaw	3
Acton	2
Amsterdam	2
Assago	2
Augusta	2
Bareggio	2
Belgrade	2
Casorezzo	2
Falls Church	2
Fayetteville	2
Genoa	2
Guangzhou	2
Karlsruhe	2
Lallio	2
Lappeenranta	2
Liscate	2
North Bergen	2
Paderno Dugnano	2
Padova	2
Palermo	2
Palombara Sabina	2
Pescara	2
Pune	2
Selvazzano Dentro	2
Vicenza	2
Wuhan	2
Agadir	1
Allendale	1
Andover	1
Bangalore	1
Bangkok	1
Boston	1
Totale	4.852

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	235
A forward unprovability calculus for intuitionistic propositional logic	181
A secondary semantics for second order intuitionistic propositional logic	177
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	167
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	166
A Terminating Evaluation-Driven Variant of G3i	166
A tableau calculus for Dummett predicate logic	154
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	153
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	151
Dai fondamenti agli oggetti. Corso di programmazione Java.	150
On the complexity of the disjunction property in intuitionistic and modal logics	150
On uniformly constructive and semiconstructive formal systems	147
Tableau calculi for the logics of finite k-ary trees	145
Counting the maximal intermediate constructive logics	143
Extracting exact time bounds from logical proofs	142
A decidable constructive description logic	142
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	141
A formal framework for synthesis and verification of logic programs	140
Snapshot Generation in a Constructive Object-oriented Modeling Language	138
Hypersequent calculi for some intermediate logics with bounded Kripke models	137
fCube: An Efficient Prover for Intuitionistic Propositional Logic	132
Simplification Rules for Intuitionistic Propositional Tableaux	131
Hypertableau and path-hypertableau calculi for some families of intermediate logics	131
Synthesis of programs in abstract data types	127
ESBC: an application for computing stabilization bounds	124
Composition of Semantic Web Services in a Constructive Description Logic	123
Building a domain ontology from glossaries: a general methodology	122
Actions Over a Constructive Semantics for Description Logics	122
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	122
From constructivism to logic programming: An homage to Mario Ornaghi	119
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	110
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	109
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	106
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	105
A proof-theoretical analysis of semiconstructive intermediate theories	104
Proof-search in Hilbert calculi	104
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	102
Cut-free tableau calculi for some intuitionistic modal logics	101
A Constructive Modeling Language for Object Oriented Information Systems	98
Extracting information from intermediate semiconstructive HA-systems	94
A Constructive Modeling Language for Object Oriented Information Systems	94
null	92
A constructive semantics for ALC	92
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	91
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	86
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	85
BCDL: Basic Constructive Description Logic	83
Forward countermodel construction in modal Logic K	74
Forward proof-search and countermodel construction in intuitionistic propositional logic	70
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	59
A forward internal calculus for model generation in S4	54
Forward refutation for Gödel-Dummett Logics	52
SAT-based proof search in intermediate propositional logics	29
On the complexity of disjunction and explicit definability properties in some intermediate logics	20
A New Approach to Clausification for Intuitionistic Propositional Logic	15
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	5
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	2
Totale	6.414

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	921	0	0	0	0	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.361	196	192	210	289	278	109	4	30	23	14	3	13
2024/2025	203	1	10	144	28	20	0	0	0	0	0	0	0
Totale													6.414