CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.528
EU - Europa 6.408
AS - Asia 4.729
SA - Sud America 705
AF - Africa 150
OC - Oceania 37
Continente sconosciuto - Info sul continente non disponibili 10
Totale 18.567
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.360
GB - Regno Unito 2.281
SG - Singapore 2.046
RU - Federazione Russa 1.860
CN - Cina 1.290
BR - Brasile 573
IT - Italia 460
VN - Vietnam 407
FR - Francia 381
HK - Hong Kong 354
DE - Germania 314
SE - Svezia 311
IE - Irlanda 270
FI - Finlandia 258
KR - Corea 147
CA - Canada 124
ID - Indonesia 120
UA - Ucraina 111
TR - Turchia 65
IN - India 52
AR - Argentina 49
BD - Bangladesh 44
NG - Nigeria 39
NL - Olanda 35
AU - Australia 34
JP - Giappone 33
IQ - Iraq 26
MX - Messico 26
EC - Ecuador 25
CM - Camerun 24
BE - Belgio 23
IL - Israele 23
ES - Italia 21
PK - Pakistan 19
MA - Marocco 18
CL - Cile 14
CO - Colombia 14
PH - Filippine 14
PL - Polonia 13
UZ - Uzbekistan 13
ZA - Sudafrica 13
TW - Taiwan 12
SA - Arabia Saudita 11
TN - Tunisia 10
AE - Emirati Arabi Uniti 9
PY - Paraguay 9
CH - Svizzera 8
BG - Bulgaria 7
EG - Egitto 7
JM - Giamaica 7
JO - Giordania 7
MY - Malesia 7
PE - Perù 7
BJ - Benin 6
EU - Europa 6
GA - Gabon 6
TG - Togo 6
TH - Thailandia 6
AT - Austria 5
CZ - Repubblica Ceca 5
NP - Nepal 5
UY - Uruguay 5
VE - Venezuela 5
AL - Albania 4
BO - Bolivia 4
ET - Etiopia 4
HN - Honduras 4
HR - Croazia 4
IR - Iran 4
AO - Angola 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
DK - Danimarca 3
DZ - Algeria 3
GR - Grecia 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
DO - Repubblica Dominicana 2
EE - Estonia 2
GE - Georgia 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
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
HT - Haiti 1
Totale 18.555
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Singapore 1.095
Jacksonville 805
Ashburn 730
Chandler 578
San Jose 523
Moscow 518
Woodbridge 499
Dallas 387
Houston 357
Hong Kong 335
Ann Arbor 301
Dublin 266
The Dalles 262
Verona 174
Beijing 172
Ho Chi Minh City 120
Jinan 119
Lawrence 114
Princeton 114
Wilmington 109
Jakarta 107
Hanoi 101
Nanjing 99
Shenyang 88
Los Angeles 84
Milan 74
Sindelfingen 73
Council Bluffs 71
Buffalo 68
Columbus 65
Tianjin 60
Phoenix 57
Helsinki 55
Hebei 53
Boardman 51
São Paulo 51
Santa Clara 48
Toronto 45
Nanchang 42
Cambridge 40
Haikou 39
Zhengzhou 39
New York 37
Abuja 34
Des Moines 34
Changsha 33
Redondo Beach 31
Ningbo 30
Fairfield 28
Guangzhou 27
North York 27
Orem 26
San Francisco 26
Dong Ket 25
Lancaster 24
Frankfurt am Main 23
Jiaxing 23
Brussels 22
Seoul 22
Tokyo 22
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
Rome 17
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
Bologna 11
Brasília 11
Shanghai 11
Baghdad 10
Stockholm 10
Washington 10
Haifa 9
Johannesburg 9
Saint Petersburg 9
Sydney 9
Warsaw 9
Atlanta 8
Boston 8
Brooklyn 8
Buenos Aires 8
Totale 12.085
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 370
Automated reasoning for explainable artificial intelligence 330
On first-order model-based reasoning 282
A system for distributed simplification-based theorem proving 270
Abstract canonical inference 264
On semantic resolution with lemmaizing and contraction 261
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 254
A taxonomy of theorem-proving strategies 252
A category theory approach to completion-based theorem proving strategies (Abstract) 244
New results on rewrite-based satisfiability procedures 235
On interpolation in automated theorem proving 231
On fairness of completion-based theorem proving strategies 228
Towards a unified model of search in theorem proving: subgoal-reduction strategies 225
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 223
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 214
Completion procedures as semidecision procedures 209
Towards interpolation in an SMT solver with integrated superposition 207
Rewrite-based satisfiability procedures for recursive data structures 207
Interpolation systems for ground proofs in automated deduction: a survey 206
Distributed deduction by Clause-Diffusion: the Aquarius prover 205
Canonical inference for implicational systems 204
On fairness in distributed automated deduction 203
Analysis of distributed-search contraction-based strategies 203
Another term rewriting based proof of the `non-obvious' theorem 202
On deciding satisfiability by theorem proving with speculative inferences 202
Automated Reasoning 198
On handling distinct objects in the superposition calculus 197
KBlab: an equational theorem prover for the Macintosh 197
Distributed theorem proving by Peers 196
Automated proofs in Lukasiewicz logic 194
On conflict-driven reasoning 191
Parallel theorem proving 190
On theorem proving for program checking - Historical perspective and recent developments 189
The Clause-Diffusion theorem prover Peers-mcd 188
Deduzione automatica 185
A taxonomy of parallel strategies for deduction 178
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 177
Advances in first-order theorem proving 175
A category-theoretic treatment of automated theorem proving 175
Theory decision by decomposition 173
Operational and denotational semantics of rewrite programs 171
Combination of distributed search and multi-search in Peers-mcd.d 170
PSATO: a distributed propositional prover and its application to quasigroup problems 167
A note on the analysis of theorem-proving strategies 165
Rewrite-based decision procedures 162
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 161
A model-constructing framework for theory combination 160
High-performance deduction for verification: a case study in the theory of arrays 158
T-decision by decomposition 156
SGGS decision procedures 156
Satisfiability modulo theories and assignments 155
The Eos SMT/SMA-solver: a preliminary report 155
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 154
A note on the analysis of theorem-proving strategies 150
Two-stage interpolation systems 149
The CDSAT method for satisfiability modulo theories and assignments: an exposition 147
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 144
A model and a first analysis of distributed-search contraction-based strategies 144
On rewrite programs: semantics and relationship with Prolog 142
SBR3: a refutational prover for equational theorems 142
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 141
Petri nets for knowledge representation 140
SGGS theorem proving: an exposition 139
L'algoritmo di Knuth-Bendix 138
Mechanical proofs of the Levi commutator problem 137
On SGGS and Horn clauses 136
Theorem proving strategies: a search-oriented taxonomy (Position paper) 136
Fifth workshop on strategies in automated deduction: selected papers 136
High performance simplification-based automated deduction 135
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 134
The Clause-Diffusion methodology for distributed deduction 134
On interpolation in decision procedures 133
Incompleteness of the RUE/NRF inference systems 132
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 132
Problems in Lukasiewicz logic 131
Machine-independent evaluation of theorem-proving strategies (Position paper) 131
Distributed automated deduction 131
On the modelling of search in theorem proving - Towards a theory of strategy analysis 127
Notes of the First International Workshop on First-order Theorem Proving (FTP) 127
Parallelization of deduction strategies: an analytical study 126
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 126
Towards a foundation of completion procedures as semidecision procedures 125
Future directions of automated deduction: Distributed automated deduction (Position paper) 125
On subsumption in distributed derivations 123
Experiments with subdivision of search in distributed theorem proving 123
Sulla dimostrazione di teoremi per completamento 122
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 122
Conflict-driven reasoning in unions of theories 121
Proofs in conflict-driven theory combination 120
Fourth workshop on strategies in automated deduction: selected papers 117
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 115
Constraint manipulation in SGGS 115
On model-based reasoning: recent trends and current developments 114
On the representation of dynamic search spaces in theorem proving 112
On the representation of parallel search in theorem proving 112
Strategy analysis: from sequential to parallel strategies (Position paper) 112
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length 111
On variable-inactivity and polynomial T-satisfiability procedures 110
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 110
Totale 17.012
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.384
article - articoli 17.024
book - libri 1.090
conference - conferenze 26.205
curatela - curatele 3.815
other - altro 3.015
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.235
Totale 108.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021279 0 0 0 0 0 0 0 0 0 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/20266.485 566 439 390 882 1.367 486 788 527 520 520 0 0
Totale 19.145