CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.926
EU - Europa 4.772
AS - Asia 3.106
SA - Sud America 463
AF - Africa 63
OC - Oceania 33
Continente sconosciuto - Info sul continente non disponibili 10
Totale 13.373
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.803
GB - Regno Unito 2.246
SG - Singapore 1.258
CN - Cina 1.039
RU - Federazione Russa 546
BR - Brasile 416
FR - Francia 360
HK - Hong Kong 336
SE - Svezia 309
IT - Italia 291
DE - Germania 283
IE - Irlanda 266
FI - Finlandia 249
ID - Indonesia 108
CA - Canada 102
UA - Ucraina 101
KR - Corea 98
VN - Vietnam 65
TR - Turchia 56
AU - Australia 32
CM - Camerun 24
NL - Olanda 24
BE - Belgio 23
IL - Israele 21
JP - Giappone 21
IN - India 18
BD - Bangladesh 16
ES - Italia 13
AR - Argentina 12
MX - Messico 12
TW - Taiwan 12
MA - Marocco 11
IQ - Iraq 10
EC - Ecuador 9
PK - Pakistan 8
AE - Emirati Arabi Uniti 7
CL - Cile 7
PL - Polonia 7
CO - Colombia 6
EU - Europa 6
ZA - Sudafrica 6
AT - Austria 5
BG - Bulgaria 5
CZ - Repubblica Ceca 5
EG - Egitto 5
JM - Giamaica 5
SA - Arabia Saudita 5
TG - Togo 5
TH - Thailandia 5
HR - Croazia 4
JO - Giordania 4
PY - Paraguay 4
UZ - Uzbekistan 4
CH - Svizzera 3
DK - Danimarca 3
HU - Ungheria 3
IR - Iran 3
NO - Norvegia 3
PE - Perù 3
PT - Portogallo 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
UY - Uruguay 3
XK - ???statistics.table.value.countryCode.XK??? 3
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
EE - Estonia 2
GA - Gabon 2
GR - Grecia 2
LV - Lettonia 2
MW - Malawi 2
MY - Malesia 2
NG - Nigeria 2
PH - Filippine 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BH - Bahrain 1
BY - Bielorussia 1
CG - Congo 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GE - Georgia 1
HN - Honduras 1
HT - Haiti 1
LU - Lussemburgo 1
MD - Moldavia 1
ME - Montenegro 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PS - Palestinian Territory 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 13.373
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Jacksonville 805
Chandler 578
Singapore 553
Woodbridge 499
Houston 355
Dallas 351
Hong Kong 323
Ann Arbor 301
Dublin 262
Ashburn 203
Beijing 136
Jinan 119
Lawrence 114
Princeton 114
Wilmington 109
The Dalles 108
Jakarta 105
Nanjing 98
Shenyang 87
Sindelfingen 73
Milan 71
Council Bluffs 66
Columbus 64
Hebei 53
Tianjin 53
Boardman 51
Phoenix 51
Los Angeles 49
Helsinki 48
Verona 47
Buffalo 44
Nanchang 42
Cambridge 40
Haikou 39
Santa Clara 39
Zhengzhou 39
São Paulo 36
Toronto 36
Changsha 33
Ningbo 30
Fairfield 28
North York 27
Moscow 26
Dong Ket 25
Lancaster 24
Jiaxing 23
Brussels 22
Guangzhou 21
New York 20
San Francisco 20
Munich 19
Taizhou 19
Hangzhou 17
Lanzhou 16
Seattle 16
Taiyuan 15
Norwalk 14
Rio de Janeiro 14
Elora 13
Redwood City 13
Belo Horizonte 12
Düsseldorf 12
Ormskirk 12
Tokyo 12
Hanoi 11
Ho Chi Minh City 11
Bologna 10
Frankfurt am Main 10
Montreal 10
Rome 10
Amsterdam 9
Haifa 9
Redondo Beach 9
Saint Petersburg 9
Salvador 9
Fort Worth 8
Stockholm 8
Sydney 8
Washington 8
Chicago 7
Dhaka 7
Lappeenranta 7
Melbourne 7
Sant'Ambrogio di Valpolicella 7
Seoul 7
Sha Tin Wai 7
Wollongong 7
Baghdad 6
Brasília 6
Brooklyn 6
Canberra 6
Falkenstein 6
Menlo Park 6
New Haven 6
Tappahannock 6
Campinas 5
Casablanca 5
Chennai 5
Cuenca 5
Totale 9.012
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 297
Automated reasoning for explainable artificial intelligence 255
On first-order model-based reasoning 251
On semantic resolution with lemmaizing and contraction 205
A system for distributed simplification-based theorem proving 203
An application of automated equational reasoning to many-valued logic 195
A category theory approach to completion-based theorem proving strategies (Abstract) 187
Abstract canonical inference 185
On fairness of completion-based theorem proving strategies 184
A taxonomy of theorem-proving strategies 182
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 170
Towards a unified model of search in theorem proving: subgoal-reduction strategies 169
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures 168
New results on rewrite-based satisfiability procedures 167
Completion procedures as semidecision procedures 167
On fairness in distributed automated deduction 160
Distributed deduction by Clause-Diffusion: the Aquarius prover 160
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 159
The Clause-Diffusion theorem prover Peers-mcd 156
Parallel theorem proving 153
KBlab: an equational theorem prover for the Macintosh 153
Distributed theorem proving by Peers 151
Rewrite-based satisfiability procedures for recursive data structures 151
Automated proofs in Lukasiewicz logic 147
Analysis of distributed-search contraction-based strategies 147
On interpolation in automated theorem proving 146
On conflict-driven reasoning 144
Canonical inference for implicational systems 142
Another term rewriting based proof of the `non-obvious' theorem 141
Towards interpolation in an SMT solver with integrated superposition 140
Deduzione automatica 139
On deciding satisfiability by theorem proving with speculative inferences 138
Operational and denotational semantics of rewrite programs 136
Interpolation systems for ground proofs in automated deduction: a survey 135
Combination of distributed search and multi-search in Peers-mcd.d 134
On theorem proving for program checking - Historical perspective and recent developments 134
On handling distinct objects in the superposition calculus 131
Theory decision by decomposition 131
Automated Reasoning 130
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 130
A note on the analysis of theorem-proving strategies 127
Satisfiability modulo theories and assignments 127
T-decision by decomposition 126
High-performance deduction for verification: a case study in the theory of arrays 124
PSATO: a distributed propositional prover and its application to quasigroup problems 124
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 123
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 121
A taxonomy of parallel strategies for deduction 119
Advances in first-order theorem proving 119
SGGS decision procedures 118
A category-theoretic treatment of automated theorem proving 116
Two-stage interpolation systems 115
Rewrite-based decision procedures 114
SBR3: a refutational prover for equational theorems 112
Petri nets for knowledge representation 111
A model-constructing framework for theory combination 110
Fifth workshop on strategies in automated deduction: selected papers 108
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 107
SGGS theorem proving: an exposition 106
Problems in Lukasiewicz logic 105
L'algoritmo di Knuth-Bendix 105
On interpolation in decision procedures 105
On rewrite programs: semantics and relationship with Prolog 104
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 104
A note on the analysis of theorem-proving strategies 102
Machine-independent evaluation of theorem-proving strategies (Position paper) 102
The Clause-Diffusion methodology for distributed deduction 101
Theorem proving strategies: a search-oriented taxonomy (Position paper) 100
Distributed automated deduction 100
On the modelling of search in theorem proving - Towards a theory of strategy analysis 100
Sulla dimostrazione di teoremi per completamento 97
Incompleteness of the RUE/NRF inference systems 96
Proofs in conflict-driven theory combination 96
Experiments with subdivision of search in distributed theorem proving 94
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 93
Parallelization of deduction strategies: an analytical study 93
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 93
On the representation of dynamic search spaces in theorem proving 92
Mechanical proofs of the Levi commutator problem 92
Towards a foundation of completion procedures as semidecision procedures 92
Future directions of automated deduction: Distributed automated deduction (Position paper) 92
The Eos SMT/SMA-solver: a preliminary report 92
High performance simplification-based automated deduction 90
On SGGS and Horn clauses 89
The CDSAT method for satisfiability modulo theories and assignments: an exposition 88
Strategy analysis: from sequential to parallel strategies (Position paper) 88
Fourth workshop on strategies in automated deduction: selected papers 88
On the representation of parallel search in theorem proving 87
Generic theorem proving for decision procedures 87
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 87
Ten years of parallel theorem proving: a perspective 86
Notes of the First International Workshop on First-order Theorem Proving (FTP) 86
A model and a first analysis of distributed-search contraction-based strategies 85
On the notion of complexity of search in theorem proving 84
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 83
On subsumption in distributed derivations 80
Semantically-guided goal-sensitive theorem proving 80
Conflict-driven satisfiability for theory combination: transition system and completeness 79
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 78
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 77
Totale 12.572
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.094
article - articoli 13.645
book - libri 910
conference - conferenze 13.085
curatela - curatele 3.060
other - altro 2.475
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.919
Totale 88.188
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.076 0 0 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/20253.050 181 279 66 477 149 80 149 288 402 183 301 495
2025/20261.260 566 439 255 0 0 0 0 0 0 0 0 0
Totale 13.920