statistiche ricercatore

FERRARI, MAURO

Distribuzione geografica

Continente	#
NA - Nord America	4.589
EU - Europa	2.552
AS - Asia	1.571
SA - Sud America	181
AF - Africa	37
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	1
Totale	8.936

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	4.530
IT - Italia	1.199
SG - Singapore	535
UA - Ucraina	368
CN - Cina	319
SE - Svezia	252
VN - Vietnam	230
TR - Turchia	226
HK - Hong Kong	162
BR - Brasile	151
DE - Germania	151
GB - Regno Unito	135
IE - Irlanda	119
FI - Finlandia	117
FR - Francia	73
RU - Federazione Russa	62
MX - Messico	31
IN - India	28
CA - Canada	26
PL - Polonia	23
NG - Nigeria	18
BD - Bangladesh	14
JP - Giappone	13
BE - Belgio	12
AR - Argentina	11
ZA - Sudafrica	11
NL - Olanda	10
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
TH - Thailandia	4
DZ - Algeria	3
EC - Ecuador	3
MA - Marocco	3
PH - Filippine	3
PK - Pakistan	3
RO - Romania	3
AZ - Azerbaigian	2
CH - Svizzera	2
JO - Giordania	2
KH - Cambogia	2
RS - Serbia	2
SA - Arabia Saudita	2
UY - Uruguay	2
UZ - Uzbekistan	2
AU - Australia	1
CL - Cile	1
CR - Costa Rica	1
EE - Estonia	1
EG - Egitto	1
GE - Georgia	1
HU - Ungheria	1
IL - Israele	1
LU - Lussemburgo	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	8.936

Salva come PNG Salva come JPEG

Città	#
Milan	819
Fairfield	466
Ashburn	424
Chandler	350
Woodbridge	344
Singapore	295
Jacksonville	287
San Jose	233
Seattle	210
Dearborn	188
Wilmington	184
Houston	178
Cambridge	169
Hong Kong	160
Ann Arbor	156
Beijing	123
Dublin	119
Dallas	114
Nyköping	108
Princeton	100
Izmir	99
Dong Ket	71
Boardman	69
Chicago	58
Los Angeles	57
Rome	56
The Dalles	56
Lauterbourg	45
New York	45
Como	42
Ho Chi Minh City	41
San Mateo	39
San Diego	31
Council Bluffs	28
London	28
Munich	26
Hanoi	23
Mexico City	23
Helsinki	22
Warsaw	22
Washington	22
Kocaeli	19
São Paulo	19
Ogden	18
Frankfurt am Main	17
Abuja	16
Buffalo	16
Orem	16
Santa Clara	16
Phoenix	15
Boston	14
Atlanta	13
Manchester	13
Poplar	13
Berlin	12
Brussels	12
Düsseldorf	12
Hefei	12
Chennai	11
Denver	10
Stockholm	10
Tokyo	10
Vimodrone	10
Rio de Janeiro	9
Amsterdam	8
Johannesburg	8
Nanjing	8
Verona	8
Brooklyn	7
Montreal	7
Nanchang	7
Philadelphia	7
San Francisco	7
Da Nang	6
Elk Grove Village	6
Kunming	6
Ankara	5
Des Moines	5
Espoo	5
Guangzhou	5
Haiphong	5
Hangzhou	5
Jinan	5
Norwalk	5
Redmond	5
Shenyang	5
Turku	5
Brasília	4
Busto Arsizio	4
Lucca	4
Montréal	4
Paris	4
Vancouver	4
Vienna	4
Auburn Hills	3
Augusta	3
Baotou	3
Changsha	3
Chiswick	3
City of London	3
Totale	6.429

Salva come PNG Salva come JPEG

Nome	#
An evaluation-driven decision procedure for G3i	293
A forward unprovability calculus for intuitionistic propositional logic	242
A Terminating Evaluation-Driven Variant of G3i	226
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic	218
A secondary semantics for second order intuitionistic propositional logic	213
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	208
Tableau calculi for the logics of finite k-ary trees	205
A decidable constructive description logic	198
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	197
A tableau calculus for Dummett predicate logic	195
Extracting exact time bounds from logical proofs	195
On the complexity of the disjunction property in intuitionistic and modal logics	194
Dai fondamenti agli oggetti. Corso di programmazione Java.	192
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	191
A formal framework for synthesis and verification of logic programs	190
fCube: An Efficient Prover for Intuitionistic Propositional Logic	190
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models	187
On uniformly constructive and semiconstructive formal systems	180
Building a domain ontology from glossaries: a general methodology	180
Hypersequent calculi for some intermediate logics with bounded Kripke models	178
Simplification Rules for Intuitionistic Propositional Tableaux	177
Actions Over a Constructive Semantics for Description Logics	174
Composition of Semantic Web Services in a Constructive Description Logic	170
Counting the maximal intermediate constructive logics	167
Snapshot Generation in a Constructive Object-oriented Modeling Language	164
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.	163
From constructivism to logic programming: An homage to Mario Ornaghi	162
Hypertableau and path-hypertableau calculi for some families of intermediate logics	161
ESBC: an application for computing stabilization bounds	159
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.	156
Synthesis of programs in abstract data types	155
A constructive semantics for ALC	154
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	154
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	154
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	153
A Constructive Modeling Language for Object Oriented Information Systems	151
Proof-search in Hilbert calculi	149
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione	141
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione	140
A proof-theoretical analysis of semiconstructive intermediate theories	140
Cut-free tableau calculi for some intuitionistic modal logics	132
A Constructive Modeling Language for Object Oriented Information Systems	132
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics	131
BCDL: Basic Constructive Description Logic	127
Forward countermodel construction in modal Logic K	124
Extracting information from intermediate semiconstructive HA-systems	121
Dai fondamenti agli oggetti. Corso di programmazione Java. Seconda edizione.	117
Forward proof-search and countermodel construction in intuitionistic propositional logic	113
Forward refutation for Gödel-Dummett Logics	110
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	109
A forward internal calculus for model generation in S4	101
null	92
SAT-based proof search in intermediate propositional logics	84
A New Approach to Clausification for Intuitionistic Propositional Logic	65
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property	62
On the complexity of disjunction and explicit definability properties in some intermediate logics	58
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic	37
A Gödel Modal Logic over Witnessed Crisp Models	26
Proof Search and Countermodel Construction for iCK4	25
Totale	8.982

Salva come PNG Salva come JPEG

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

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	314	0	0	0	0	0	0	0	0	0	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	2.029	155	120	129	370	327	141	392	107	182	106	0	0
Totale													8.982