CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.855
EU - Europa 6.454
AS - Asia 4.798
SA - Sud America 724
Continente sconosciuto - Info sul continente non disponibili 588
AF - Africa 150
OC - Oceania 37
Totale 19.606
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.673
GB - Regno Unito 2.281
SG - Singapore 2.069
RU - Federazione Russa 1.861
CN - Cina 1.300
BR - Brasile 579
IT - Italia 494
VN - Vietnam 407
FR - Francia 381
HK - Hong Kong 356
DE - Germania 315
SE - Svezia 311
IE - Irlanda 270
FI - Finlandia 258
KR - Corea 149
CA - Canada 132
ID - Indonesia 120
UA - Ucraina 111
BD - Bangladesh 73
TR - Turchia 65
IN - India 52
AR - Argentina 51
NG - Nigeria 39
NL - Olanda 38
AU - Australia 34
JP - Giappone 34
EC - Ecuador 27
IQ - Iraq 26
MX - Messico 26
CM - Camerun 24
IL - Israele 24
BE - Belgio 23
ES - Italia 22
CO - Colombia 19
PK - Pakistan 19
MA - Marocco 18
CL - Cile 16
PH - Filippine 14
PL - Polonia 14
UZ - Uzbekistan 13
ZA - Sudafrica 13
TW - Taiwan 12
SA - Arabia Saudita 11
PY - Paraguay 10
TN - Tunisia 10
AE - Emirati Arabi Uniti 9
CH - Svizzera 8
BG - Bulgaria 7
EG - Egitto 7
JM - Giamaica 7
JO - Giordania 7
MY - Malesia 7
PE - Perù 7
AT - Austria 6
BJ - Benin 6
EU - Europa 6
GA - Gabon 6
GR - Grecia 6
TG - Togo 6
TH - Thailandia 6
BO - Bolivia 5
CZ - Repubblica Ceca 5
HN - Honduras 5
NP - Nepal 5
UY - Uruguay 5
VE - Venezuela 5
AL - Albania 4
ET - Etiopia 4
HR - Croazia 4
IR - Iran 4
AO - Angola 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
DK - Danimarca 3
DZ - Algeria 3
HU - Ungheria 3
KE - Kenya 3
LV - Lettonia 3
MW - Malawi 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PT - Portogallo 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
XK - ???statistics.table.value.countryCode.XK??? 3
BY - Bielorussia 2
DO - Repubblica Dominicana 2
EE - Estonia 2
GE - Georgia 2
GT - Guatemala 2
LB - Libano 2
ME - Montenegro 2
OM - Oman 2
PA - Panama 2
TT - Trinidad e Tobago 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
BH - Bahrain 1
CG - Congo 1
CI - Costa d'Avorio 1
Totale 19.011
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Singapore 1.101
Jacksonville 806
Ashburn 784
Chandler 578
San Jose 557
Moscow 519
Woodbridge 499
Dallas 389
Houston 362
Hong Kong 337
Ann Arbor 301
Dublin 266
The Dalles 263
Beijing 178
Verona 174
Council Bluffs 134
Ho Chi Minh City 120
Jinan 119
Lawrence 114
Princeton 114
Wilmington 109
Jakarta 107
Hanoi 101
Nanjing 99
Los Angeles 91
Shenyang 88
Milan 78
Sindelfingen 73
Buffalo 71
Columbus 66
Santa Clara 62
Tianjin 60
Phoenix 59
Helsinki 55
Hebei 53
Boardman 51
São Paulo 51
Toronto 47
New York 44
Nanchang 42
Cambridge 40
Haikou 39
Zhengzhou 39
Abuja 34
Des Moines 34
Changsha 33
Redondo Beach 31
Ningbo 30
Fairfield 28
North York 28
Guangzhou 27
Orem 27
San Francisco 26
Dong Ket 25
Frankfurt am Main 24
Lancaster 24
Jiaxing 23
Seoul 23
Tokyo 23
Brussels 22
Rome 20
Seattle 20
Chennai 19
Haiphong 19
Montreal 19
Munich 19
Rio de Janeiro 19
Taizhou 19
Hangzhou 18
Amsterdam 17
Da Nang 17
Ormskirk 17
Bologna 16
Lanzhou 16
Taiyuan 15
Norwalk 14
Belo Horizonte 13
Elora 13
London 13
Redwood City 13
Tashkent 13
Chicago 12
Dhaka 12
Düsseldorf 12
Salvador 12
Shanghai 12
Brasília 11
Washington 11
Baghdad 10
Boston 10
Stockholm 10
Brooklyn 9
Haifa 9
Johannesburg 9
Saint Petersburg 9
Sydney 9
Warsaw 9
Atlanta 8
Buenos Aires 8
Totale 12.318
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 374
Automated reasoning for explainable artificial intelligence 340
On first-order model-based reasoning 283
A category theory approach to completion-based theorem proving strategies (Abstract) 275
A system for distributed simplification-based theorem proving 275
Abstract canonical inference 266
On semantic resolution with lemmaizing and contraction 263
An application of automated equational reasoning to many-valued logic 259
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures 259
A taxonomy of theorem-proving strategies 252
New results on rewrite-based satisfiability procedures 241
On interpolation in automated theorem proving 235
On fairness of completion-based theorem proving strategies 233
Towards a unified model of search in theorem proving: subgoal-reduction strategies 227
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 225
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 219
Rewrite-based satisfiability procedures for recursive data structures 218
Completion procedures as semidecision procedures 216
Canonical inference for implicational systems 213
Distributed deduction by Clause-Diffusion: the Aquarius prover 210
On deciding satisfiability by theorem proving with speculative inferences 209
Towards interpolation in an SMT solver with integrated superposition 209
Interpolation systems for ground proofs in automated deduction: a survey 209
On fairness in distributed automated deduction 208
On handling distinct objects in the superposition calculus 206
Another term rewriting based proof of the `non-obvious' theorem 203
Automated Reasoning 203
Analysis of distributed-search contraction-based strategies 203
KBlab: an equational theorem prover for the Macintosh 201
On conflict-driven reasoning 200
Distributed theorem proving by Peers 198
Automated proofs in Lukasiewicz logic 196
Parallel theorem proving 194
On theorem proving for program checking - Historical perspective and recent developments 192
The Clause-Diffusion theorem prover Peers-mcd 190
Deduzione automatica 188
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 182
A taxonomy of parallel strategies for deduction 181
Theory decision by decomposition 178
Advances in first-order theorem proving 177
Operational and denotational semantics of rewrite programs 176
A category-theoretic treatment of automated theorem proving 176
PSATO: a distributed propositional prover and its application to quasigroup problems 175
High-performance deduction for verification: a case study in the theory of arrays 174
Combination of distributed search and multi-search in Peers-mcd.d 172
SGGS decision procedures 169
A note on the analysis of theorem-proving strategies 167
Rewrite-based decision procedures 165
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 164
A model-constructing framework for theory combination 162
Satisfiability modulo theories and assignments 161
The Eos SMT/SMA-solver: a preliminary report 159
T-decision by decomposition 158
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 156
The CDSAT method for satisfiability modulo theories and assignments: an exposition 154
A note on the analysis of theorem-proving strategies 152
Two-stage interpolation systems 150
SGGS theorem proving: an exposition 149
A model and a first analysis of distributed-search contraction-based strategies 147
The Clause-Diffusion methodology for distributed deduction 144
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 144
SBR3: a refutational prover for equational theorems 144
On rewrite programs: semantics and relationship with Prolog 143
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 142
On SGGS and Horn clauses 141
Theorem proving strategies: a search-oriented taxonomy (Position paper) 141
Petri nets for knowledge representation 140
L'algoritmo di Knuth-Bendix 139
High performance simplification-based automated deduction 137
Mechanical proofs of the Levi commutator problem 137
Fifth workshop on strategies in automated deduction: selected papers 136
On interpolation in decision procedures 136
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 134
Incompleteness of the RUE/NRF inference systems 134
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 134
Problems in Lukasiewicz logic 133
Parallelization of deduction strategies: an analytical study 133
Machine-independent evaluation of theorem-proving strategies (Position paper) 132
Distributed automated deduction 132
On the modelling of search in theorem proving - Towards a theory of strategy analysis 130
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 128
Notes of the First International Workshop on First-order Theorem Proving (FTP) 128
Experiments with subdivision of search in distributed theorem proving 128
Future directions of automated deduction: Distributed automated deduction (Position paper) 127
Proofs in conflict-driven theory combination 127
Conflict-driven reasoning in unions of theories 126
Towards a foundation of completion procedures as semidecision procedures 125
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 125
On subsumption in distributed derivations 124
Sulla dimostrazione di teoremi per completamento 123
Constraint manipulation in SGGS 121
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 118
On the representation of parallel search in theorem proving 117
Fourth workshop on strategies in automated deduction: selected papers 117
On model-based reasoning: recent trends and current developments 117
On the representation of dynamic search spaces in theorem proving 116
Semantically-guided goal-sensitive theorem proving 116
Strategy analysis: from sequential to parallel strategies (Position paper) 113
On variable-inactivity and polynomial T-satisfiability procedures 112
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 112
Totale 17.402
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.610
article - articoli 18.726
book - libri 1.193
conference - conferenze 28.745
curatela - curatele 4.167
other - altro 3.315
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.464
Totale 119.220
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.215 0 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/20266.817 566 439 390 882 1.367 486 788 527 520 552 156 144
2026/2027129 94 35 0 0 0 0 0 0 0 0 0 0
Totale 19.606