statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	3.307
EU - Europa	1.662
AS - Asia	449
Continente sconosciuto - Info sul continente non disponibili	5
AF - Africa	1
OC - Oceania	1
SA - Sud America	1
Totale	5.426

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

Città	#
Milan	513
Fairfield	466
Chandler	350
Woodbridge	344
Jacksonville	287
Seattle	197
Ashburn	196
Dearborn	188
Wilmington	184
Houston	170
Cambridge	169
Ann Arbor	156
Nyköping	108
Princeton	100
Izmir	99
Dublin	77
Dong Ket	71
Como	39
San Mateo	39
Brussels	35
San Diego	31
Beijing	27
Rome	27
Council Bluffs	20
Kocaeli	19
Philadelphia	18
Düsseldorf	12
Hefei	12
Boardman	11
London	11
Nanjing	8
Verona	8
Helsinki	7
Nanchang	7
Kunming	6
Jinan	5
Norwalk	5
Redmond	5
Busto Arsizio	4
Lucca	4
Montréal	4
New York	4
Shenyang	4
Auburn Hills	3
Baotou	3
Changsha	3
Chiswick	3
Hebei	3
Indiana	3
Los Angeles	3
Nembro	3
Redwood City	3
Timisoara	3
Warsaw	3
Augusta	2
Bareggio	2
Casorezzo	2
Chicago	2
Dallas	2
Falls Church	2
Guangzhou	2
Karlsruhe	2
Lallio	2
Liscate	2
Paderno Dugnano	2
Padova	2
Palermo	2
Palombara Sabina	2
Phoenix	2
Wuhan	2
Agadir	1
Allendale	1
Andover	1
Bangalore	1
Bangkok	1
Belgrade	1
Boston	1
Bratislava	1
Bresso	1
Buffalo	1
Bulgorello	1
Chengdu	1
Chiasso	1
Cormeilles-en-Parisis	1
Dalmine	1
Edinburgh	1
Fagnano Olona	1
Fermo	1
Florence	1
Frankfurt am Main	1
Fuzhou	1
Gothenburg	1
Guiyang	1
Ho Chi Minh City	1
Iglesias	1
Jiaxing	1
Kemerovo	1
Kuala Lumpur	1
Lappeenranta	1
Latina	1
Totale	4.142

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	212
A forward unprovability calculus for intuitionistic propositional logic	162
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	152
A secondary semantics for second order intuitionistic propositional logic	150
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	143
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	141
A Terminating Evaluation-Driven Variant of G3i	139
A tableau calculus for Dummett predicate logic	137
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	137
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	134
Dai fondamenti agli oggetti. Corso di programmazione Java.	133
On uniformly constructive and semiconstructive formal systems	133
Counting the maximal intermediate constructive logics	133
On the complexity of the disjunction property in intuitionistic and modal logics	133
Tableau calculi for the logics of finite k-ary trees	131
Hypersequent calculi for some intermediate logics with bounded Kripke models	124
Extracting exact time bounds from logical proofs	124
A formal framework for synthesis and verification of logic programs	122
A decidable constructive description logic	122
Snapshot Generation in a Constructive Object-oriented Modeling Language	119
Simplification Rules for Intuitionistic Propositional Tableaux	117
Hypertableau and path-hypertableau calculi for some families of intermediate logics	117
Synthesis of programs in abstract data types	112
ESBC: an application for computing stabilization bounds	110
fCube: An Efficient Prover for Intuitionistic Propositional Logic	110
Composition of Semantic Web Services in a Constructive Description Logic	109
Actions Over a Constructive Semantics for Description Logics	105
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	102
From constructivism to logic programming: An homage to Mario Ornaghi	100
Building a domain ontology from glossaries: a general methodology	99
null	92
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	90
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	89
Cut-free tableau calculi for some intuitionistic modal logics	89
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	89
A proof-theoretical analysis of semiconstructive intermediate theories	87
Proof-search in Hilbert calculi	87
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	85
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	84
A Constructive Modeling Language for Object Oriented Information Systems	78
Extracting information from intermediate semiconstructive HA-systems	75
A Constructive Modeling Language for Object Oriented Information Systems	75
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	75
A constructive semantics for ALC	70
BCDL: Basic Constructive Description Logic	66
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	65
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	62
Forward countermodel construction in modal Logic K	55
Forward proof-search and countermodel construction in intuitionistic propositional logic	49
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	47
A forward internal calculus for model generation in S4	34
Forward refutation for Gödel-Dummett Logics	33
On the complexity of disjunction and explicit definability properties in some intermediate logics	14
SAT-Based Proof Search in Intermediate Propositional Logics	7
Totale	5.459

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	597	0	0	100	3	4	4	11	50	14	59	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	940	70	79	67	93	68	166	18	113	134	41	61	30
2023/2024	575	200	196	179	0	0	0	0	0	0	0	0	0
Totale													5.459