IRIS
GIUNCHIGLIA, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.781
AS - Asia 1.042
NA - Nord America 976
Continente sconosciuto - Info sul continente non disponibili 108
SA - Sud America 99
AF - Africa 16
OC - Oceania 7
Totale 14.029
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.597
US - Stati Uniti d'America 897
SG - Singapore 450
CN - Cina 266
VN - Vietnam 159
FR - Francia 92
BD - Bangladesh 63
BR - Brasile 62
CA - Canada 33
HK - Hong Kong 30
GB - Regno Unito 17
DE - Germania 15
JP - Giappone 15
MX - Messico 15
CH - Svizzera 13
AR - Argentina 12
ID - Indonesia 9
EC - Ecuador 8
IN - India 8
JM - Giamaica 8
NL - Olanda 8
AU - Australia 7
CR - Costa Rica 7
IQ - Iraq 7
ES - Italia 6
FI - Finlandia 6
PL - Polonia 5
CL - Cile 4
HN - Honduras 4
JO - Giordania 4
TW - Taiwan 4
VE - Venezuela 4
CO - Colombia 3
CZ - Repubblica Ceca 3
KE - Kenya 3
NI - Nicaragua 3
NP - Nepal 3
PH - Filippine 3
PY - Paraguay 3
TH - Thailandia 3
TR - Turchia 3
UA - Ucraina 3
BB - Barbados 2
BG - Bulgaria 2
BO - Bolivia 2
DZ - Algeria 2
KG - Kirghizistan 2
KR - Corea 2
LT - Lituania 2
OM - Oman 2
PR - Porto Rico 2
PT - Portogallo 2
SA - Arabia Saudita 2
SE - Svezia 2
SV - El Salvador 2
TN - Tunisia 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CY - Cipro 1
EG - Egitto 1
GN - Guinea 1
IE - Irlanda 1
KN - Saint Kitts e Nevis 1
KY - Cayman, isole 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
NE - Niger 1
NG - Nigeria 1
PE - Perù 1
RO - Romania 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
UZ - Uzbekistan 1
Totale 13.921
Salva come PNG Salva come JPEG
Città #
Genova 7.444
Genoa 2.511
Rapallo 807
Vado Ligure 722
San Jose 266
Singapore 215
Lauterbourg 80
Ashburn 65
New York 49
Ho Chi Minh City 40
Hanoi 31
Hong Kong 29
Los Angeles 24
Beijing 23
Santa Clara 20
Milan 13
Zurich 13
Frankfurt am Main 12
Tokyo 12
Bordighera 11
Chicago 11
Orem 11
San Francisco 11
Atlanta 10
Da Nang 10
Haiphong 10
Mexico City 10
Montreal 9
Toronto 9
Buffalo 8
Dallas 8
Tianjin 8
Amsterdam 7
City of London 7
Miami 7
Rome 7
São Paulo 7
Phoenix 6
Queens 6
San José 6
Sydney 6
Helsinki 5
Philadelphia 5
Warsaw 5
Amman 4
Baghdad 4
Bernal Oeste 4
Brooklyn 4
Council Bluffs 4
Houston 4
Jacksonville 4
Kingston 4
Naples 4
Rio de Janeiro 4
San Pedro Sula 4
The Dalles 4
Belo Horizonte 3
Boardman 3
Bologna 3
Brasília 3
Cardiff 3
Charlotte 3
Jakarta 3
Kansas City 3
Kyiv 3
Las Vegas 3
Leander 3
Madrid 3
Marseille 3
Nairobi 3
North Bergen 3
North Charleston 3
Palmer 3
Paris 3
Prague 3
Thái Nguyên 3
Anna 2
Bangkok 2
Bay City 2
Bishkek 2
Biên Hòa 2
Bridgetown 2
Buenos Aires 2
Bắc Giang 2
Bến Tre 2
Cagliari 2
Calgary 2
Can Tho 2
Chennai 2
Chillicothe 2
Cincinnati 2
Citrus Heights 2
Dammam 2
Dayton 2
Denver 2
Fairborn 2
Farmington 2
Florence 2
Foggia 2
Fulton 2
Totale 12.732
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 250
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 231
Automatic Test Generation for Coverage Analysis of ERTMS Software 224
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 223
Backjumping for Quantified Boolean Logic satisfiability 216
Benefits of bounded model checking at an industrial setting 211
Automatic Test Generation for Coverage Analysis Using CBMC 208
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 207
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 206
Automatic Test-Pattern Generation for Grey-Box Programs 204
Watched Data Structures for QBF Solvers 201
Computing All Optimal Solutions in Satisfiability Problems with Preferences 200
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 191
Comparison of knowledge sharing strategies in a parallel QBF solver 189
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 189
QuBE++: An efficient QBF solver 182
MRG: Building Planners for Real World Complex Applications 182
Answer Set Programming based on Propositional Satisfiability 182
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 181
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 179
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 177
Backjumping for Quantified Boolean Logic Satisfiability 177
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 177
Quantifier Structure in search based procedures for QBFs 170
Dependent and Independent Variables in Propositional Satisfiability 170
QBF Reasoning on Real-World Instances 170
Introducing Preferences in Planning as Satisfiability 166
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 165
Improving Plan Quality in SAT-Based Planning 163
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 162
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 161
Solving satisfiability problems with preferences 160
Nonmonotonic causal theories 155
Embedding complex decision procedures inside an interactive theorem prover 155
Conditional behavior trees: Definition, executability, and applications 155
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 154
Optimal Planning as Constraint Optimization 154
A knowledge Based System for Automatic 3D Scene Generation 153
TSAT++: an Open Platform for Satisfiability Modulo Theories 152
Constraints and AI Planning 151
OPTSAT: A Tool for Solving SAT Related Optimization Problems 151
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 148
Evaluating search heuristics and optimization techniques in propositional satisfiability 148
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 148
Monotone Literals and Learning in QBF Reasoning 148
Ideal and Real Belief about Belief 148
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 147
Towards an Efficient Library for SAT: a Manifesto 147
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 146
Learning for Quantified Boolean Logic Satisfiability 146
The SAT-based Approach to Separation Logic 145
Structured proof procedures 144
An empirical perspective on ten years of QBF solving 144
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 143
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 141
Visual Representation of Natural Language Scene Descriptions 141
Translation-based approaches for solving disjunctive temporal problems with preferences 137
Flexible planning by integrating multilevel reasoning 136
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences 136
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 135
SAT-Based Procedures for Temporal Reasoning 132
Proving formulas through reduction to decidable classes 130
Combining approaches for solving satisfiability problems with qualitative preferences 130
SAT-Based Decision Procedures for Classical Modal Logics 128
On the Relation among Answer Set Solvers 128
Parallel QBF Solving with Advanced Knowledge Sharing 127
Quantifier Structure in search based procedures for QBFs 126
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 123
Improving the automatic test generation proces for Coverage Analysis using CBMC 122
“On the integration of biomedical Knowledge bases: problems and solutions” 119
Representing Action: Indeterminacy and Ramifications 118
A generate-and-test approach for computing "optimal" plans in SAT-based planning 117
Editorial: Nonmonotonic Reasoning 114
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) 113
Reasoning with Quantified Boolean Formulas 113
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 113
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 110
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 107
Satisfiability in the Year 2005 107
A SAT-based polynomial space algorithm for answer set programming 105
Solving Optimization Problems with DLL 96
SAT-Based Answer Set Programming 95
Planning as Satisfiability with Preferences 93
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 92
Chapter 30. Reasoning with Quantified Boolean Formulas 89
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 88
Non-Omniscient Belief as Context-Based Resoning 87
Planning as Quantified Boolean Formula 87
A simple proof-theoretic characterization of Stable Models 85
QuBE7.0 83
Symbolic Numeric Planning with Patterns 78
Partially Grounded Planning as Quantified Boolean Formula 76
Nice and Nasty Theory of Mind for Social and Antisocial Robots 68
null 65
Optimal Planning Modulo Theories 64
Nice and Nasty Theory of Mind for Social and Antisocial Robots 44
Optimal Planning with Expressive Action Languages as Constraint Optimization 33
Improvements to SAT-based conformant planning 32
Introduction to the special issue on quantified CSPs and QBF 26
Optimal Planning as Constraint Optimisation - Preliminary Report 25
Totale 13.970
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.210
article - articoli 15.786
book - libri 0
conference - conferenze 24.534
curatela - curatele 325
other - altro 42
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.523
Totale 86.420
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.241 29 104 128 175 33 72 74 260 45 108 55 158
2022/20231.013 119 53 8 126 180 181 3 71 159 3 81 29
2023/2024511 32 83 14 55 25 103 17 29 28 25 41 59
2024/20251.680 54 145 52 79 272 193 153 257 49 67 178 181
2025/20262.979 344 82 224 263 292 298 452 134 264 219 168 239
2026/2027314 314 0 0 0 0 0 0 0 0 0 0 0
Totale 14.029