statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	4.217
EU - Europa	2.451
AS - Asia	1.257
SA - Sud America	164
AF - Africa	14
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	1
Totale	8.109

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.167
IT - Italia	1.182
SG - Singapore	432
UA - Ucraina	368
SE - Svezia	251
CN - Cina	230
TR - Turchia	222
VN - Vietnam	158
HK - Hong Kong	147
DE - Germania	144
BR - Brasile	139
GB - Regno Unito	130
IE - Irlanda	118
FI - Finlandia	111
RU - Federazione Russa	60
MX - Messico	27
CA - Canada	21
FR - Francia	21
PL - Polonia	21
IN - India	18
JP - Giappone	13
BE - Belgio	12
AR - Argentina	9
BD - Bangladesh	9
ZA - Sudafrica	8
ES - Italia	7
ID - Indonesia	7
AT - Austria	6
NL - Olanda	6
VE - Venezuela	6
EU - Europa	5
AE - Emirati Arabi Uniti	4
CO - Colombia	4
EC - Ecuador	3
IQ - Iraq	3
MA - Marocco	3
RO - Romania	3
TH - Thailandia	3
AZ - Azerbaigian	2
CH - Svizzera	2
DZ - Algeria	2
LT - Lituania	2
RS - Serbia	2
UY - Uruguay	2
AU - Australia	1
CL - Cile	1
CR - Costa Rica	1
EE - Estonia	1
EG - Egitto	1
HU - Ungheria	1
IL - Israele	1
JO - Giordania	1
KH - Cambogia	1
LU - Lussemburgo	1
MY - Malesia	1
NP - Nepal	1
PH - Filippine	1
PK - Pakistan	1
PT - Portogallo	1
SA - Arabia Saudita	1
SK - Slovacchia (Repubblica Slovacca)	1
TT - Trinidad e Tobago	1
UZ - Uzbekistan	1
Totale	8.109

Salva come PNG Salva come JPEG

Città	#
Milan	816
Fairfield	466
Ashburn	389
Chandler	350
Woodbridge	344
Jacksonville	287
Singapore	240
Seattle	210
Dearborn	188
Wilmington	184
Houston	176
Cambridge	169
Ann Arbor	156
Hong Kong	147
Dublin	118
Dallas	114
Beijing	109
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Boardman	69
Los Angeles	54
Rome	52
New York	43
Como	41
San Mateo	39
Chicago	38
San Diego	31
London	27
Council Bluffs	26
Munich	26
The Dalles	23
Washington	22
Ho Chi Minh City	21
Warsaw	21
Mexico City	20
Kocaeli	19
Ogden	18
São Paulo	18
Buffalo	16
Helsinki	16
Boston	14
Phoenix	14
Atlanta	12
Berlin	12
Brussels	12
Düsseldorf	12
Hefei	12
Poplar	12
Santa Clara	12
Frankfurt am Main	11
Manchester	11
Orem	11
Denver	10
Tokyo	10
Vimodrone	10
Stockholm	9
Nanjing	8
Rio de Janeiro	8
Verona	8
Johannesburg	7
Nanchang	7
Philadelphia	7
San Francisco	7
Brooklyn	6
Chennai	6
Kunming	6
Montreal	6
Des Moines	5
Espoo	5
Hanoi	5
Jinan	5
Norwalk	5
Redmond	5
Turku	5
Amsterdam	4
Ankara	4
Brasília	4
Busto Arsizio	4
Guangzhou	4
Lucca	4
Montréal	4
Shenyang	4
Vienna	4
Auburn Hills	3
Augusta	3
Baotou	3
Changsha	3
Chiswick	3
City of London	3
Columbus	3
Fayetteville	3
Hebei	3
Indiana	3
Kilburn	3
Nembro	3
New Bedfont	3
Palermo	3
Prescot	3
Totale	5.857

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	276
A forward unprovability calculus for intuitionistic propositional logic	225
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	212
A Terminating Evaluation-Driven Variant of G3i	207
A secondary semantics for second order intuitionistic propositional logic	202
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	194
Tableau calculi for the logics of finite k-ary trees	187
A decidable constructive description logic	184
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	182
A tableau calculus for Dummett predicate logic	180
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	180
On the complexity of the disjunction property in intuitionistic and modal logics	180
Dai fondamenti agli oggetti. Corso di programmazione Java.	172
Extracting exact time bounds from logical proofs	172
On uniformly constructive and semiconstructive formal systems	171
A formal framework for synthesis and verification of logic programs	171
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	166
fCube: An Efficient Prover for Intuitionistic Propositional Logic	166
Building a domain ontology from glossaries: a general methodology	162
Simplification Rules for Intuitionistic Propositional Tableaux	161
Counting the maximal intermediate constructive logics	160
Hypersequent calculi for some intermediate logics with bounded Kripke models	159
Actions Over a Constructive Semantics for Description Logics	157
Composition of Semantic Web Services in a Constructive Description Logic	155
Snapshot Generation in a Constructive Object-oriented Modeling Language	154
Hypertableau and path-hypertableau calculi for some families of intermediate logics	152
From constructivism to logic programming: An homage to Mario Ornaghi	152
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	150
Synthesis of programs in abstract data types	147
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	144
A constructive semantics for ALC	144
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	144
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	144
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	141
Proof-search in Hilbert calculi	139
ESBC: an application for computing stabilization bounds	138
A Constructive Modeling Language for Object Oriented Information Systems	137
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	131
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	127
A proof-theoretical analysis of semiconstructive intermediate theories	127
A Constructive Modeling Language for Object Oriented Information Systems	123
Cut-free tableau calculi for some intuitionistic modal logics	119
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	118
BCDL: Basic Constructive Description Logic	115
Extracting information from intermediate semiconstructive HA-systems	113
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	110
Forward countermodel construction in modal Logic K	110
Forward proof-search and countermodel construction in intuitionistic propositional logic	106
null	92
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	92
Forward refutation for Gödel-Dummett Logics	91
A forward internal calculus for model generation in S4	87
SAT-based proof search in intermediate propositional logics	67
On the complexity of disjunction and explicit definability properties in some intermediate logics	51
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	41
A New Approach to Clausification for Intuitionistic Propositional Logic	40
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	17
Proof Search and Countermodel Construction for iCK4	9
Totale	8.153

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	704	0	0	0	0	0	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	742	1	10	144	28	20	54	27	35	110	48	77	188
2025/2026	1.200	155	120	129	370	322	104	0	0	0	0	0	0
Totale													8.153