CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020566 0 0 0 0 0 0 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/20251.358 181 279 66 477 149 80 126 0 0 0 0 0
Totale 10.968