CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.823
EU - Europa 6.639
AS - Asia 4.844
SA - Sud America 778
Continente sconosciuto - Info sul continente non disponibili 588
AF - Africa 152
OC - Oceania 37
Totale 20.861
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.591
GB - Regno Unito 2.288
SG - Singapore 2.080
RU - Federazione Russa 1.861
CN - Cina 1.306
IT - Italia 668
BR - Brasile 617
VN - Vietnam 411
FR - Francia 382
HK - Hong Kong 359
DE - Germania 315
SE - Svezia 313
IE - Irlanda 270
FI - Finlandia 258
CA - Canada 164
KR - Corea 151
ID - Indonesia 123
UA - Ucraina 111
BD - Bangladesh 76
TR - Turchia 66
IN - India 56
AR - Argentina 54
NG - Nigeria 39
NL - Olanda 38
JP - Giappone 35
AU - Australia 34
MX - Messico 30
EC - Ecuador 29
CO - Colombia 27
IQ - Iraq 26
CM - Camerun 24
IL - Israele 24
BE - Belgio 23
ES - Italia 22
PK - Pakistan 20
MA - Marocco 18
CL - Cile 16
PH - Filippine 15
PL - Polonia 14
ZA - Sudafrica 14
SA - Arabia Saudita 13
UZ - Uzbekistan 13
JM - Giamaica 12
TW - Taiwan 12
PY - Paraguay 10
TN - Tunisia 10
AE - Emirati Arabi Uniti 9
MY - Malesia 9
CH - Svizzera 8
BG - Bulgaria 7
EG - Egitto 7
JO - Giordania 7
PE - Perù 7
UY - Uruguay 7
AT - Austria 6
BJ - Benin 6
EU - Europa 6
GA - Gabon 6
GR - Grecia 6
HN - Honduras 6
TG - Togo 6
TH - Thailandia 6
VE - Venezuela 6
BO - Bolivia 5
CR - Costa Rica 5
CZ - Repubblica Ceca 5
NP - Nepal 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
GT - Guatemala 3
HU - Ungheria 3
KE - Kenya 3
LB - Libano 3
LV - Lettonia 3
MW - Malawi 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PA - Panama 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
KZ - Kazakistan 2
LT - Lituania 2
ME - Montenegro 2
OM - Oman 2
PR - Porto Rico 2
SC - Seychelles 2
TT - Trinidad e Tobago 2
Totale 20.265
Salva come PNG Salva come JPEG
Città #
Southend 2.085
Singapore 1.101
Ashburn 1.053
Jacksonville 807
San Jose 617
Chandler 579
Moscow 519
Woodbridge 500
Dallas 429
Houston 366
Hong Kong 340
Ann Arbor 301
Dublin 266
The Dalles 263
Council Bluffs 196
Beijing 182
Verona 178
Ho Chi Minh City 121
Jinan 119
Lawrence 114
Princeton 114
Wilmington 110
Jakarta 107
Los Angeles 104
Hanoi 103
Nanjing 99
Shenyang 88
Santa Clara 82
Milan 80
Sindelfingen 73
Buffalo 72
Columbus 68
Staranzano 68
Phoenix 65
Tianjin 60
São Paulo 58
Toronto 58
Helsinki 55
Hebei 53
Boardman 52
New York 51
Nanchang 42
Cambridge 41
Haikou 39
Zhengzhou 39
Abuja 34
Des Moines 34
Changsha 33
Redondo Beach 31
Ningbo 30
Rome 29
Fairfield 28
North York 28
Orem 28
Guangzhou 27
San Francisco 27
Dong Ket 25
Seoul 25
Frankfurt am Main 24
Lancaster 24
Tokyo 24
Agrolândia 23
Jiaxing 23
Brussels 22
Montreal 22
Seattle 22
Chennai 19
Haiphong 19
Munich 19
Rio de Janeiro 19
Taizhou 19
Hangzhou 18
Amsterdam 17
Bologna 17
Chicago 17
Da Nang 17
Las Vegas 17
Ormskirk 17
Lanzhou 16
Naples 16
London 15
Taiyuan 15
Norwalk 14
Providence 14
Belo Horizonte 13
Brooklyn 13
Elora 13
Redwood City 13
Tashkent 13
Brasília 12
Dhaka 12
Düsseldorf 12
Salvador 12
Shanghai 12
Washington 12
Atlanta 11
Boston 11
Philadelphia 11
Baghdad 10
Regalbuto 10
Totale 12.975
Salva come PNG Salva come JPEG
Nome #
Canonical ground Horn theories 388
Automated reasoning for explainable artificial intelligence 348
On first-order model-based reasoning 290
A category theory approach to completion-based theorem proving strategies (Abstract) 289
Abstract canonical inference 281
A system for distributed simplification-based theorem proving 279
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures 275
A taxonomy of parallel strategies for deduction 273
On semantic resolution with lemmaizing and contraction 272
An application of automated equational reasoning to many-valued logic 270
New results on rewrite-based satisfiability procedures 265
A taxonomy of theorem-proving strategies 260
On interpolation in automated theorem proving 247
On fairness of completion-based theorem proving strategies 246
Towards a unified model of search in theorem proving: subgoal-reduction strategies 241
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction 239
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 232
Rewrite-based satisfiability procedures for recursive data structures 229
Completion procedures as semidecision procedures 226
Towards interpolation in an SMT solver with integrated superposition 223
Canonical inference for implicational systems 222
Distributed deduction by Clause-Diffusion: the Aquarius prover 221
Another term rewriting based proof of the `non-obvious' theorem 221
On fairness in distributed automated deduction 220
Interpolation systems for ground proofs in automated deduction: a survey 219
On deciding satisfiability by theorem proving with speculative inferences 218
On handling distinct objects in the superposition calculus 216
Analysis of distributed-search contraction-based strategies 212
Automated Reasoning 211
On theorem proving for program checking - Historical perspective and recent developments 211
On conflict-driven reasoning 209
KBlab: an equational theorem prover for the Macintosh 208
Distributed theorem proving by Peers 207
Parallel theorem proving 206
Automated proofs in Lukasiewicz logic 205
Advances in first-order theorem proving 200
The Clause-Diffusion theorem prover Peers-mcd 199
Deduzione automatica 195
Theory decision by decomposition 191
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 191
A category-theoretic treatment of automated theorem proving 186
Operational and denotational semantics of rewrite programs 185
PSATO: a distributed propositional prover and its application to quasigroup problems 185
High-performance deduction for verification: a case study in the theory of arrays 183
Combination of distributed search and multi-search in Peers-mcd.d 181
A note on the analysis of theorem-proving strategies 174
SGGS decision procedures 174
Rewrite-based decision procedures 172
The Eos SMT/SMA-solver: a preliminary report 172
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 170
Satisfiability modulo theories and assignments 167
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving 166
The CDSAT method for satisfiability modulo theories and assignments: an exposition 165
A model-constructing framework for theory combination 165
Theorem proving strategies: a search-oriented taxonomy (Position paper) 163
T-decision by decomposition 163
SGGS theorem proving: an exposition 163
Two-stage interpolation systems 161
A note on the analysis of theorem-proving strategies 159
L'algoritmo di Knuth-Bendix 159
A model and a first analysis of distributed-search contraction-based strategies 154
The Clause-Diffusion methodology for distributed deduction 153
Petri nets for knowledge representation 152
On semantic resolution with lemmaizing and contraction and a formal treatment of caching 152
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 152
On rewrite programs: semantics and relationship with Prolog 151
On SGGS and Horn clauses 149
SBR3: a refutational prover for equational theorems 148
Distributed automated deduction 144
On interpolation in decision procedures 144
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 143
Machine-independent evaluation of theorem-proving strategies (Position paper) 143
Fifth workshop on strategies in automated deduction: selected papers 142
Parallelization of deduction strategies: an analytical study 142
Mechanical proofs of the Levi commutator problem 141
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 141
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 141
High performance simplification-based automated deduction 140
Problems in Lukasiewicz logic 139
Incompleteness of the RUE/NRF inference systems 137
Sulla dimostrazione di teoremi per completamento 136
Constraint manipulation in SGGS 136
On the modelling of search in theorem proving - Towards a theory of strategy analysis 135
Proofs in conflict-driven theory combination 134
Experiments with subdivision of search in distributed theorem proving 134
Towards a foundation of completion procedures as semidecision procedures 133
On subsumption in distributed derivations 132
Conflict-driven reasoning in unions of theories 132
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 131
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS) 131
Notes of the First International Workshop on First-order Theorem Proving (FTP) 131
Future directions of automated deduction: Distributed automated deduction (Position paper) 130
Semantically-guided goal-sensitive theorem proving (Abstract) 130
On the representation of dynamic search spaces in theorem proving 127
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 125
Strategy analysis: from sequential to parallel strategies (Position paper) 124
Fourth workshop on strategies in automated deduction: selected papers 124
On model-based reasoning: recent trends and current developments 124
On the representation of parallel search in theorem proving 123
Semantically-guided goal-sensitive theorem proving 123
Totale 18.471
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.149
article - articoli 19.904
book - libri 1.281
conference - conferenze 30.387
curatela - curatele 4.439
other - altro 3.489
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.649
Totale 126.298
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022994 0 0 0 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/20271.384 94 178 607 505 0 0 0 0 0 0 0 0
Totale 20.861