CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.135
NA - Nord America 5.321
AS - Asia 3.644
SA - Sud America 636
AF - Africa 76
OC - Oceania 34
Continente sconosciuto - Info sul continente non disponibili 10
Totale 15.856
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.182
GB - Regno Unito 2.261
RU - Federazione Russa 1.858
SG - Singapore 1.467
CN - Cina 1.187
BR - Brasile 532
FR - Francia 361
HK - Hong Kong 340
SE - Svezia 309
IT - Italia 303
DE - Germania 286
IE - Irlanda 266
FI - Finlandia 250
VN - Vietnam 186
KR - Corea 117
ID - Indonesia 115
CA - Canada 111
UA - Ucraina 106
TR - Turchia 57
AR - Argentina 39
AU - Australia 33
NL - Olanda 27
JP - Giappone 25
CM - Camerun 24
BE - Belgio 23
IN - India 23
BD - Bangladesh 21
EC - Ecuador 21
IL - Israele 21
MX - Messico 17
ES - Italia 15
IQ - Iraq 15
MA - Marocco 13
TW - Taiwan 12
CO - Colombia 10
PL - Polonia 10
UZ - Uzbekistan 10
CL - Cile 9
PK - Pakistan 8
AE - Emirati Arabi Uniti 7
PY - Paraguay 7
ZA - Sudafrica 7
BG - Bulgaria 6
BJ - Benin 6
EG - Egitto 6
EU - Europa 6
PE - Perù 6
AT - Austria 5
CZ - Repubblica Ceca 5
JM - Giamaica 5
JO - Giordania 5
SA - Arabia Saudita 5
TG - Togo 5
TH - Thailandia 5
BO - Bolivia 4
HR - Croazia 4
MY - Malesia 4
UY - Uruguay 4
VE - Venezuela 4
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
CH - Svizzera 3
DK - Danimarca 3
GA - Gabon 3
HU - Ungheria 3
IR - Iran 3
NO - Norvegia 3
PT - Portogallo 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
XK - ???statistics.table.value.countryCode.XK??? 3
AL - Albania 2
DZ - Algeria 2
EE - Estonia 2
GR - Grecia 2
HN - Honduras 2
LV - Lettonia 2
ME - Montenegro 2
MW - Malawi 2
NG - Nigeria 2
PH - Filippine 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
BH - Bahrain 1
BY - Bielorussia 1
CG - Congo 1
DO - Repubblica Dominicana 1
GE - Georgia 1
HT - Haiti 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PS - Palestinian Territory 1
Totale 15.854
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Jacksonville 805
Chandler 578
Singapore 564
Moscow 517
Woodbridge 499
Dallas 383
Houston 356
Hong Kong 327
Ashburn 322
Ann Arbor 301
Dublin 262
The Dalles 179
Beijing 170
Jinan 119
Lawrence 114
Princeton 114
Wilmington 109
Jakarta 107
Nanjing 99
Shenyang 88
Milan 74
Los Angeles 73
Sindelfingen 73
Buffalo 67
Council Bluffs 66
Columbus 64
Tianjin 57
Hebei 53
Phoenix 53
Boardman 51
Ho Chi Minh City 51
São Paulo 49
Helsinki 48
Verona 47
Nanchang 42
Toronto 42
Santa Clara 41
Cambridge 40
Hanoi 40
Haikou 39
Zhengzhou 39
Changsha 33
Des Moines 32
Redondo Beach 31
Ningbo 30
Fairfield 28
North York 27
Guangzhou 26
New York 26
Dong Ket 25
Lancaster 24
Jiaxing 23
Brussels 22
San Francisco 21
Seoul 20
Munich 19
Taizhou 19
Hangzhou 18
Seattle 18
Lanzhou 16
Rio de Janeiro 16
Tokyo 16
Taiyuan 15
Norwalk 14
Elora 13
Montreal 13
Redwood City 13
Belo Horizonte 12
Düsseldorf 12
Frankfurt am Main 12
London 12
Ormskirk 12
Rome 12
Salvador 12
Amsterdam 11
Bologna 11
Dhaka 10
Haiphong 10
Tashkent 10
Brasília 9
Chicago 9
Haifa 9
Saint Petersburg 9
Shanghai 9
Washington 9
Campinas 8
Fort Worth 8
Stockholm 8
Sydney 8
Warsaw 8
Baghdad 7
Boston 7
Buenos Aires 7
Guarulhos 7
Lappeenranta 7
Melbourne 7
Porto Alegre 7
Sant'Ambrogio di Valpolicella 7
Sha Tin Wai 7
Totale 10.058
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 320
Automated reasoning for explainable artificial intelligence 292
On first-order model-based reasoning 268
A system for distributed simplification-based theorem proving 244
An application of automated equational reasoning to many-valued logic 234
On semantic resolution with lemmaizing and contraction 227
Abstract canonical inference 222
A taxonomy of theorem-proving strategies 220
A category theory approach to completion-based theorem proving strategies (Abstract) 216
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures 214
On fairness of completion-based theorem proving strategies 201
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 193
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 190
Towards a unified model of search in theorem proving: subgoal-reduction strategies 189
Completion procedures as semidecision procedures 186
Another term rewriting based proof of the `non-obvious' theorem 185
New results on rewrite-based satisfiability procedures 185
On interpolation in automated theorem proving 180
Analysis of distributed-search contraction-based strategies 180
On fairness in distributed automated deduction 178
Distributed deduction by Clause-Diffusion: the Aquarius prover 177
Automated proofs in Lukasiewicz logic 177
Canonical inference for implicational systems 176
Rewrite-based satisfiability procedures for recursive data structures 174
The Clause-Diffusion theorem prover Peers-mcd 171
KBlab: an equational theorem prover for the Macintosh 170
Distributed theorem proving by Peers 169
Parallel theorem proving 166
On conflict-driven reasoning 166
Interpolation systems for ground proofs in automated deduction: a survey 165
Automated Reasoning 164
Towards interpolation in an SMT solver with integrated superposition 163
On deciding satisfiability by theorem proving with speculative inferences 160
Deduzione automatica 157
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 155
A taxonomy of parallel strategies for deduction 151
Advances in first-order theorem proving 151
A note on the analysis of theorem-proving strategies 151
Combination of distributed search and multi-search in Peers-mcd.d 150
On handling distinct objects in the superposition calculus 149
On theorem proving for program checking - Historical perspective and recent developments 149
Operational and denotational semantics of rewrite programs 148
A category-theoretic treatment of automated theorem proving 146
T-decision by decomposition 145
Theory decision by decomposition 144
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 143
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 142
A model-constructing framework for theory combination 142
Satisfiability modulo theories and assignments 140
PSATO: a distributed propositional prover and its application to quasigroup problems 140
High-performance deduction for verification: a case study in the theory of arrays 139
A note on the analysis of theorem-proving strategies 134
Rewrite-based decision procedures 132
SGGS decision procedures 132
SBR3: a refutational prover for equational theorems 131
Two-stage interpolation systems 130
The Eos SMT/SMA-solver: a preliminary report 127
Petri nets for knowledge representation 126
L'algoritmo di Knuth-Bendix 124
SGGS theorem proving: an exposition 123
Fifth workshop on strategies in automated deduction: selected papers 121
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 121
On interpolation in decision procedures 120
On rewrite programs: semantics and relationship with Prolog 118
The CDSAT method for satisfiability modulo theories and assignments: an exposition 117
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 116
Notes of the First International Workshop on First-order Theorem Proving (FTP) 116
Problems in Lukasiewicz logic 115
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 115
A model and a first analysis of distributed-search contraction-based strategies 115
Theorem proving strategies: a search-oriented taxonomy (Position paper) 114
Distributed automated deduction 114
The Clause-Diffusion methodology for distributed deduction 114
On the modelling of search in theorem proving - Towards a theory of strategy analysis 114
Machine-independent evaluation of theorem-proving strategies (Position paper) 113
On SGGS and Horn clauses 112
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 111
Incompleteness of the RUE/NRF inference systems 109
Future directions of automated deduction: Distributed automated deduction (Position paper) 109
High performance simplification-based automated deduction 108
Sulla dimostrazione di teoremi per completamento 108
Experiments with subdivision of search in distributed theorem proving 108
Proofs in conflict-driven theory combination 107
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 107
On subsumption in distributed derivations 106
Mechanical proofs of the Levi commutator problem 105
Parallelization of deduction strategies: an analytical study 104
On the representation of dynamic search spaces in theorem proving 102
Fourth workshop on strategies in automated deduction: selected papers 101
Towards a foundation of completion procedures as semidecision procedures 101
Strategy analysis: from sequential to parallel strategies (Position paper) 99
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 99
Generic theorem proving for decision procedures 98
On the notion of complexity of search in theorem proving 97
On the representation of parallel search in theorem proving 97
Constraint manipulation in SGGS 97
Ten years of parallel theorem proving: a perspective 96
On variable-inactivity and polynomial T-satisfiability procedures 96
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 95
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 94
Totale 14.632
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.640
article - articoli 15.471
book - libri 1.016
conference - conferenze 14.678
curatela - curatele 3.502
other - altro 2.820
patent - brevetti 0
selected - selezionate 0
volume - volumi 12.153
Totale 99.280
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021721 0 0 0 0 0 210 30 91 111 43 138 98
2021/20221.313 98 190 31 40 90 95 55 105 80 105 119 305
2022/20231.928 159 154 206 320 153 417 61 127 193 55 52 31
2023/2024895 42 78 223 116 97 74 37 74 5 28 82 39
2024/20253.050 181 279 66 477 149 80 149 288 402 183 301 495
2025/20263.743 566 439 390 882 1.367 99 0 0 0 0 0 0
Totale 16.403