CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.771
EU - Europa 6.435
AS - Asia 4.779
SA - Sud America 713
AF - Africa 150
OC - Oceania 37
Continente sconosciuto - Info sul continente non disponibili 10
Totale 18.895
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.596
GB - Regno Unito 2.281
SG - Singapore 2.059
RU - Federazione Russa 1.861
CN - Cina 1.294
BR - Brasile 576
IT - Italia 479
VN - Vietnam 407
FR - Francia 381
HK - Hong Kong 355
DE - Germania 314
SE - Svezia 311
IE - Irlanda 270
FI - Finlandia 258
KR - Corea 149
CA - Canada 129
ID - Indonesia 120
UA - Ucraina 111
BD - Bangladesh 72
TR - Turchia 65
IN - India 52
AR - Argentina 49
NG - Nigeria 39
NL - Olanda 37
AU - Australia 34
JP - Giappone 34
IQ - Iraq 26
MX - Messico 26
EC - Ecuador 25
CM - Camerun 24
IL - Israele 24
BE - Belgio 23
ES - Italia 21
PK - Pakistan 19
MA - Marocco 18
CO - Colombia 17
CL - Cile 15
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
CZ - Repubblica Ceca 5
HN - Honduras 5
NP - Nepal 5
UY - Uruguay 5
VE - Venezuela 5
AL - Albania 4
BO - Bolivia 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
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
GT - Guatemala 1
Totale 18.882
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Singapore 1.100
Jacksonville 806
Ashburn 765
Chandler 578
San Jose 554
Moscow 519
Woodbridge 499
Dallas 389
Houston 360
Hong Kong 336
Ann Arbor 301
Dublin 266
The Dalles 262
Verona 174
Beijing 173
Council Bluffs 134
Ho Chi Minh City 120
Jinan 119
Lawrence 114
Princeton 114
Wilmington 109
Jakarta 107
Hanoi 101
Nanjing 99
Los Angeles 90
Shenyang 88
Milan 75
Sindelfingen 73
Buffalo 71
Columbus 65
Tianjin 60
Phoenix 58
Santa Clara 56
Helsinki 55
Hebei 53
Boardman 51
São Paulo 51
Toronto 46
New York 43
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
Lancaster 24
Frankfurt am Main 23
Jiaxing 23
Seoul 23
Tokyo 23
Brussels 22
Seattle 20
Chennai 19
Haiphong 19
Montreal 19
Munich 19
Rio de Janeiro 19
Rome 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
Brasília 11
Shanghai 11
Washington 11
Baghdad 10
Stockholm 10
Boston 9
Brooklyn 9
Haifa 9
Johannesburg 9
Saint Petersburg 9
Sydney 9
Warsaw 9
Atlanta 8
Buenos Aires 8
Totale 12.268
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 374
Automated reasoning for explainable artificial intelligence 339
On first-order model-based reasoning 283
A system for distributed simplification-based theorem proving 273
A category theory approach to completion-based theorem proving strategies (Abstract) 268
Abstract canonical inference 264
On semantic resolution with lemmaizing and contraction 262
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 258
A taxonomy of theorem-proving strategies 252
New results on rewrite-based satisfiability procedures 240
On interpolation in automated theorem proving 235
On fairness of completion-based theorem proving strategies 229
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 224
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 218
Rewrite-based satisfiability procedures for recursive data structures 215
Completion procedures as semidecision procedures 214
Towards interpolation in an SMT solver with integrated superposition 208
On fairness in distributed automated deduction 207
Canonical inference for implicational systems 207
On deciding satisfiability by theorem proving with speculative inferences 207
Interpolation systems for ground proofs in automated deduction: a survey 207
Distributed deduction by Clause-Diffusion: the Aquarius prover 206
On handling distinct objects in the superposition calculus 204
Another term rewriting based proof of the `non-obvious' theorem 203
Analysis of distributed-search contraction-based strategies 203
Automated Reasoning 202
KBlab: an equational theorem prover for the Macintosh 200
Distributed theorem proving by Peers 197
On conflict-driven reasoning 197
Automated proofs in Lukasiewicz logic 195
On theorem proving for program checking - Historical perspective and recent developments 192
Parallel theorem proving 191
The Clause-Diffusion theorem prover Peers-mcd 189
Deduzione automatica 187
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 181
A taxonomy of parallel strategies for deduction 179
Theory decision by decomposition 177
Advances in first-order theorem proving 176
A category-theoretic treatment of automated theorem proving 176
High-performance deduction for verification: a case study in the theory of arrays 174
Operational and denotational semantics of rewrite programs 173
PSATO: a distributed propositional prover and its application to quasigroup problems 172
Combination of distributed search and multi-search in Peers-mcd.d 171
SGGS decision procedures 168
A note on the analysis of theorem-proving strategies 167
Rewrite-based decision procedures 163
A model-constructing framework for theory combination 162
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 162
Satisfiability modulo theories and assignments 160
The Eos SMT/SMA-solver: a preliminary report 159
T-decision by decomposition 157
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 156
The CDSAT method for satisfiability modulo theories and assignments: an exposition 152
A note on the analysis of theorem-proving strategies 151
Two-stage interpolation systems 150
SGGS theorem proving: an exposition 148
A model and a first analysis of distributed-search contraction-based strategies 147
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 144
SBR3: a refutational prover for equational theorems 143
On rewrite programs: semantics and relationship with Prolog 142
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) 140
Petri nets for knowledge representation 140
L'algoritmo di Knuth-Bendix 138
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
The Clause-Diffusion methodology for distributed deduction 135
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 134
Problems in Lukasiewicz logic 133
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 133
Incompleteness of the RUE/NRF inference systems 132
Machine-independent evaluation of theorem-proving strategies (Position paper) 132
Distributed automated deduction 132
Parallelization of deduction strategies: an analytical study 131
On the modelling of search in theorem proving - Towards a theory of strategy analysis 129
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
Future directions of automated deduction: Distributed automated deduction (Position paper) 126
Proofs in conflict-driven theory combination 126
Experiments with subdivision of search in distributed theorem proving 126
Towards a foundation of completion procedures as semidecision procedures 125
On subsumption in distributed derivations 124
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 124
Conflict-driven reasoning in unions of theories 124
Sulla dimostrazione di teoremi per completamento 123
Constraint manipulation in SGGS 119
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 117
Fourth workshop on strategies in automated deduction: selected papers 117
On the representation of parallel search in theorem proving 116
Semantically-guided goal-sensitive theorem proving 115
On model-based reasoning: recent trends and current developments 115
On the representation of dynamic search spaces in theorem proving 114
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.288
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.602
article - articoli 18.048
book - libri 1.153
conference - conferenze 27.791
curatela - curatele 4.037
other - altro 3.195
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.378
Totale 115.204
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202198 0 0 0 0 0 0 0 0 0 0 0 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.813 566 439 390 882 1.367 486 788 527 520 552 156 140
Totale 19.473