CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.199
NA - Nord America 3.972
AS - Asia 1.328
AF - Africa 32
OC - Oceania 28
SA - Sud America 13
Continente sconosciuto - Info sul continente non disponibili 7
Totale 9.579
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.893
GB - Regno Unito 2.209
CN - Cina 945
FR - Francia 337
SE - Svezia 303
RU - Federazione Russa 284
IE - Irlanda 264
SG - Singapore 258
DE - Germania 235
FI - Finlandia 225
IT - Italia 160
UA - Ucraina 94
CA - Canada 77
TR - Turchia 44
VN - Vietnam 29
AU - Australia 27
CM - Camerun 24
BE - Belgio 23
NL - Olanda 18
ES - Italia 10
BR - Brasile 9
HK - Hong Kong 9
JP - Giappone 9
IL - Israele 7
KR - Corea 7
EU - Europa 6
IN - India 6
TW - Taiwan 5
BG - Bulgaria 4
AT - Austria 3
CH - Svizzera 3
CL - Cile 3
EG - Egitto 3
HR - Croazia 3
HU - Ungheria 3
PL - Polonia 3
SA - Arabia Saudita 3
SK - Slovacchia (Repubblica Slovacca) 3
DK - Danimarca 2
GR - Grecia 2
LV - Lettonia 2
MW - Malawi 2
RS - Serbia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
ID - Indonesia 1
IR - Iran 1
JM - Giamaica 1
MA - Marocco 1
MD - Moldavia 1
ME - Montenegro 1
MK - Macedonia 1
MX - Messico 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
TH - Thailandia 1
Totale 9.579
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Jacksonville 805
Chandler 578
Woodbridge 499
Houston 353
Ann Arbor 301
Dublin 260
Ashburn 171
Singapore 167
Jinan 118
Lawrence 114
Princeton 114
Beijing 111
Wilmington 109
Nanjing 97
Shenyang 87
Sindelfingen 73
Hebei 53
Boardman 51
Tianjin 51
Phoenix 49
Nanchang 42
Cambridge 40
Haikou 39
Verona 38
Zhengzhou 35
Changsha 32
Ningbo 30
Fairfield 28
Helsinki 27
North York 27
Toronto 26
Dong Ket 25
Milan 25
Santa Clara 25
Lancaster 24
Jiaxing 23
Brussels 22
Guangzhou 20
Taizhou 18
Hangzhou 17
San Francisco 17
Lanzhou 16
New York 15
Norwalk 14
Taiyuan 14
Elora 13
Seattle 13
Düsseldorf 12
Redwood City 11
Saint Petersburg 9
Amsterdam 8
Washington 8
Fort Worth 7
Melbourne 7
Sant'Ambrogio di Valpolicella 7
Sha Tin Wai 7
Wollongong 7
Bologna 6
Canberra 6
Los Angeles 6
Menlo Park 6
Seoul 6
Tappahannock 6
Rome 5
Saarbrücken 5
Tokyo 5
Chicago 4
Clearwater 4
Fuzhou 4
Glasgow 4
Kemerovo 4
Kunming 4
Lappeenranta 4
Montréal 4
New Taipei 4
Nuremberg 4
Ormskirk 4
San Diego 4
Sergii 4
Shanghai 4
Sofia 4
São Paulo 4
Altavilla Vicentina 3
Andover 3
Auburn Hills 3
Boston 3
Cazzago San Martino 3
Dallas 3
Dongguan 3
Hefei 3
London 3
Munich 3
Novokuznetsk 3
Paris 3
Riyadh 3
Roverbella 3
Stockholm 3
Sunnyvale 3
Sydney 3
Totale 7.160
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 252
On first-order model-based reasoning 196
An application of automated equational reasoning to many-valued logic 156
Automated reasoning for explainable artificial intelligence 155
A system for distributed simplification-based theorem proving 153
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 148
A taxonomy of theorem-proving strategies 143
On fairness of completion-based theorem proving strategies 142
On fairness in distributed automated deduction 138
The Clause-Diffusion theorem prover Peers-mcd 138
Distributed deduction by Clause-Diffusion: the Aquarius prover 135
Completion procedures as semidecision procedures 133
Distributed theorem proving by Peers 132
KBlab: an equational theorem prover for the Macintosh 131
On semantic resolution with lemmaizing and contraction 129
Parallel theorem proving 125
A category theory approach to completion-based theorem proving strategies (Abstract) 122
Combination of distributed search and multi-search in Peers-mcd.d 120
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 116
Canonical inference for implicational systems 115
Analysis of distributed-search contraction-based strategies 115
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures 114
Automated proofs in Lukasiewicz logic 113
Deduzione automatica 113
New results on rewrite-based satisfiability procedures 111
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 110
Satisfiability modulo theories and assignments 108
Another term rewriting based proof of the `non-obvious' theorem 107
Abstract canonical inference 106
On interpolation in automated theorem proving 104
Rewrite-based satisfiability procedures for recursive data structures 104
T-decision by decomposition 103
Operational and denotational semantics of rewrite programs 100
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 98
A note on the analysis of theorem-proving strategies 96
Towards a unified model of search in theorem proving: subgoal-reduction strategies 96
SBR3: a refutational prover for equational theorems 95
SGGS decision procedures 94
Petri nets for knowledge representation 93
High-performance deduction for verification: a case study in the theory of arrays 92
Rewrite-based decision procedures 90
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 90
On conflict-driven reasoning 90
On handling distinct objects in the superposition calculus 89
Machine-independent evaluation of theorem-proving strategies (Position paper) 88
On theorem proving for program checking - Historical perspective and recent developments 88
On deciding satisfiability by theorem proving with speculative inferences 88
Distributed automated deduction 87
On interpolation in decision procedures 87
Theory decision by decomposition 86
Problems in Lukasiewicz logic 85
L'algoritmo di Knuth-Bendix 85
Interpolation systems for ground proofs in automated deduction: a survey 85
Fifth workshop on strategies in automated deduction: selected papers 84
Advances in first-order theorem proving 83
Two-stage interpolation systems 83
On rewrite programs: semantics and relationship with Prolog 81
The Clause-Diffusion methodology for distributed deduction 79
A category-theoretic treatment of automated theorem proving 79
Sulla dimostrazione di teoremi per completamento 78
Automated Reasoning 78
Incompleteness of the RUE/NRF inference systems 77
Theorem proving strategies: a search-oriented taxonomy (Position paper) 77
A taxonomy of parallel strategies for deduction 75
SGGS theorem proving: an exposition 75
A model-constructing framework for theory combination 75
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 74
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 73
On the modelling of search in theorem proving - Towards a theory of strategy analysis 73
Experiments with subdivision of search in distributed theorem proving 73
High performance simplification-based automated deduction 72
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 72
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 72
Towards interpolation in an SMT solver with integrated superposition 71
A note on the analysis of theorem-proving strategies 69
Parallelization of deduction strategies: an analytical study 69
Future directions of automated deduction: Distributed automated deduction (Position paper) 69
PSATO: a distributed propositional prover and its application to quasigroup problems 69
On the representation of dynamic search spaces in theorem proving 68
Fourth workshop on strategies in automated deduction: selected papers 68
Towards a foundation of completion procedures as semidecision procedures 68
Generic theorem proving for decision procedures 68
On the notion of complexity of search in theorem proving 67
On the representation of parallel search in theorem proving 67
Notes of the First International Workshop on First-order Theorem Proving (FTP) 66
Proofs in conflict-driven theory combination 66
Mechanical proofs of the Levi commutator problem 65
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 65
Ten years of parallel theorem proving: a perspective 64
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 63
Semantically-guided goal-sensitive theorem proving 63
Strategy analysis: from sequential to parallel strategies (Position paper) 62
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 62
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 61
Semantically-guided goal-sensitive theorem proving (Abstract) 60
The Eos SMT/SMA-solver: a preliminary report 59
On subsumption in distributed derivations 55
A model and a first analysis of distributed-search contraction-based strategies 55
On variable-inactivity and polynomial T-satisfiability procedures 54
Theory combination: beyond equality sharing 54
Totale 9.349
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.359
article - articoli 8.905
book - libri 676
conference - conferenze 9.045
curatela - curatele 2.094
other - altro 1.793
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.846
Totale 60.718
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020842 0 0 4 107 49 116 67 81 73 109 69 167
2020/20211.408 151 181 56 152 147 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/2025504 181 279 44 0 0 0 0 0 0 0 0 0
Totale 10.114