IRIS - Res&Arch Institutional Research Information System - Research & Archive

FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.188
EU - Europa 2.720
AS - Asia 2.294
SA - Sud America 573
AF - Africa 54
Continente sconosciuto - Info sul continente non disponibili 11
Totale 8.840
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.092
SG - Singapore 1.021
IT - Italia 616
UA - Ucraina 518
BR - Brasile 452
IE - Irlanda 428
VN - Vietnam 379
RU - Federazione Russa 366
CN - Cina 273
HK - Hong Kong 228
SE - Svezia 193
FR - Francia 142
DE - Germania 130
FI - Finlandia 122
KR - Corea 76
GB - Regno Unito 63
CA - Canada 58
IN - India 50
TR - Turchia 46
AR - Argentina 43
BD - Bangladesh 43
IQ - Iraq 35
PK - Pakistan 24
AT - Austria 23
EC - Ecuador 23
UZ - Uzbekistan 20
CH - Svizzera 19
CO - Colombia 19
PL - Polonia 18
NL - Olanda 17
MX - Messico 16
ID - Indonesia 15
VE - Venezuela 14
BE - Belgio 12
RO - Romania 12
ZA - Sudafrica 12
JP - Giappone 11
MA - Marocco 11
SA - Arabia Saudita 11
KE - Kenya 10
AE - Emirati Arabi Uniti 9
EU - Europa 9
JM - Giamaica 8
LB - Libano 8
PY - Paraguay 8
DZ - Algeria 7
ES - Italia 7
GR - Grecia 7
PE - Perù 6
PH - Filippine 6
CR - Costa Rica 5
IL - Israele 5
JO - Giordania 5
CL - Cile 4
ET - Etiopia 4
LT - Lituania 4
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
EG - Egitto 3
KZ - Kazakistan 3
MN - Mongolia 3
MY - Malesia 3
NP - Nepal 3
PT - Portogallo 3
TN - Tunisia 3
AL - Albania 2
AZ - Azerbaigian 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
IR - Iran 2
KH - Cambogia 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BW - Botswana 1
CI - Costa d'Avorio 1
EE - Estonia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
IS - Islanda 1
KG - Kirghizistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MU - Mauritius 1
NO - Norvegia 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
TL - Timor Orientale 1
Totale 8.838
Salva come PNG Salva come JPEG
Città #
Singapore 733
Dublin 428
Perugia 354
San Mateo 305
Chandler 300
Jacksonville 289
Dong Ket 237
Hong Kong 226
San Jose 212
Ashburn 164
Boardman 142
Wilmington 131
Moscow 123
Altamura 119
Santa Clara 119
Medford 115
Princeton 114
Lauterbourg 97
Ann Arbor 91
Lawrence 80
Seoul 75
Andover 68
Beijing 68
Ho Chi Minh City 54
Des Moines 49
São Paulo 42
Saint Petersburg 37
Hanoi 36
New York 31
The Dalles 31
Los Angeles 30
Izmir 28
Helsinki 23
Parma 20
Woodbridge 20
Piscataway 18
Baghdad 16
Norwalk 15
Rio de Janeiro 15
San Paolo di Civitate 15
Vienna 15
Chicago 14
Milan 13
Atlanta 11
Belo Horizonte 11
Brussels 11
Montreal 11
Orem 11
Council Bluffs 10
Falkenstein 10
Tokyo 10
Columbus 9
Curitiba 9
Porto Alegre 9
San Diego 9
Shanghai 9
Warsaw 9
Brasília 8
Brooklyn 8
Da Nang 8
Dhaka 8
Frankfurt am Main 8
Houston 8
Lahore 8
Phoenix 8
Tashkent 8
Asunción 7
Bogotá 7
Boston 7
Buenos Aires 7
Munich 7
Timisoara 7
Toronto 7
Amsterdam 6
Caracas 6
Den Haag 6
Falls Church 6
Guangzhou 6
Kingston 6
Mumbai 6
Nairobi 6
Quito 6
Redmond 6
Basingstoke 5
Campinas 5
Cape Town 5
Dubai 5
Fairfield 5
Florence 5
Franca 5
Guarulhos 5
Lima 5
Manaus 5
Mexico City 5
Redwood City 5
San Francisco 5
Addis Ababa 4
Amman 4
Ankara 4
Auburn Hills 4
Totale 5.513
Salva come PNG Salva come JPEG
Nome #
A comparison of CLP(FD) and ASP solutions to NP-complete problems 141
Query Answering in Resource-Based Answer Set Semantics 136
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 134
Accelerating Energy Games Solvers on Modern Architectures 132
Parallel execution of the ASP computation - An investigation on GPUs 127
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda 117
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 114
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 113
A GPU implementation of the ASP computation 113
Query Answering in Resource-Based Answer Set Semantics 112
An AGG application supporting visual reasoning 109
Advances in Computational Logic 106
2D object reconstruction with ASP 106
Layered map reasoning: An experimental approach put to trial on sets 105
An Equational Re-Engineering of Set Theories 105
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics 104
A graphical representation of relational formulae with complementation 104
A comparison of CLP(FD) and ASP solutions to NP-complete problems 101
A graphical approach to relational reasoning 100
A Prolog tool for relational translation of modal logics 99
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 98
Exploring life: answer set programming in bioinformatics 98
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning 98
BAAC: A Prolog System for Action Description and Agents Coordination 97
A graphical representation of relational formulae with complementation 96
A declarative approach to uncertainty orders 96
Planning with Action Languages: Perspectives using CLP(FD) and ASP 95
T-resolution: Refinements and Model Elimination 95
A comparison of CLP(FD) and ASP solutions to NP-complete problems 95
Strong Equivalence of RASP Programs 95
CUD@SAT: SAT solving on GPUs 92
Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks 91
Augmenting knowledge representation and reasoning languages with customizable metalogic features 90
A graphical representation of relational formulae with complementation 88
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 88
Instructing equational set-reasoning with Otter 87
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 87
Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda 86
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 86
Comparative uncertainty: theory and automation 85
Theoretical Computer Science in Italy 85
Views of Time in Systems Biology 84
Nested Weight Constraints in ASP 84
Provable \exixts∗\forall-sentences about sets with atoms 84
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 84
ASP Applications in Bio-informatics: A Short Tour 84
CUD@SAT: GPU parallelism for SAT Solving 83
Multivalued Action Languages with Constraints in CLP(FD) 82
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 82
Preface - 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2016 81
Decidability results for sets with atoms 80
Weight Constraints with Preferences in ASP 80
Negation as a Resource: A Novel View on Answer Set Semantics 80
Answer Set Programming with Resources 79
Parallel answer set programming 79
Three-variable statements of set-pairing 78
An investigation of Multi-Agent Planning in CLP 78
Exploiting Unexploited Computing Resources for Computational Logics 78
Answer Set Programming with Resources 77
Query answering in resource-based answer set semantics 76
Conditional preferences in P-RASP 75
Management of Uncertainty Orderings through ASP 74
Multi-agent planning in CLP 74
Representing Multi-agent Planning in CLP 74
ProdProc - Product and Production Process Modeling and Configuration 74
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 74
Qualitative uncertainty orderings revised 73
Negation as a Resource: A Novel View on Answer Set Semantics. 73
Theory-Specific Automated Reasoning 73
Answer Set Programming with Resources 72
Modeling preferences on resource consumption and production in ASP 71
An efficient relational deductive system for propositional non-classical logics 70
On multiple learning schemata in conflict driven solvers 70
PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty 69
Preferences and Priorities in ASP 69
Management of Uncertainty Orderings through ASP 68
Mappings Between Domain Models in Answer Set Programming 68
Augmenting weight constraints with complex preferences 68
Proving the completeness of theory-based variants of resolution 68
Uniform relational frameworks for modal inferences 67
Product and Production Process Modeling and Configuration 67
Preface 67
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 66
Various commonly occurring decidable extensions of multi-level syllogistic 65
Modeling preferences on resource consumption and production in ASP 65
Modeling preferences and conditional preferences on resource consumption and production in ASP 64
Extending and implementing RASP 64
Timed Memory in Resource-Bounded Agents 64
Introduction to the 35th International Conference on Logic Programming Special Issue 64
Multi-context systems in dynamic environments 64
How to enhance multi-level syllogistic with binary relations 63
The axiom of elementary sets on the edge of Peircean expressibility 62
Compiling dyadic first-order specifications into map algebra 62
On the Completeness of Theory-Based Variants of Resolution 62
Multi-context systems: Dynamics and evolution 61
Goals and Benchmarks for Automated Map Reasoning 60
Uniform relational frameworks for non-classical inferences 60
Negation as a Resource: a Novel View on Answer Set Semantics 60
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming 58
Extending and implementing RASP 58
Totale 8.419
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.973
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 38.973
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021246 0 0 0 0 0 0 0 0 0 0 0 246
2021/2022954 18 174 22 53 37 7 8 303 13 56 116 147
2022/20231.324 122 272 28 75 96 141 0 41 505 4 29 11
2023/2024462 50 35 26 8 1 2 65 4 106 21 74 70
2024/20251.097 26 128 7 35 164 26 11 102 286 69 145 98
2025/20262.757 156 157 194 488 331 213 432 183 333 197 55 18
Totale 9.126