FORMISANO, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 258
EU - Europa 231
AS - Asia 92
AF - Africa 4
SA - Sud America 2
Totale 587
Nazione #
US - Stati Uniti d'America 253
IT - Italia 93
FR - Francia 41
GB - Regno Unito 21
VN - Vietnam 20
CN - Cina 17
HK - Hong Kong 14
SE - Svezia 12
DE - Germania 11
JP - Giappone 10
NL - Olanda 9
AT - Austria 8
IN - India 7
SG - Singapore 7
TW - Taiwan 7
PL - Polonia 6
BE - Belgio 5
CA - Canada 5
ES - Italia 5
IE - Irlanda 4
UA - Ucraina 4
MY - Malesia 3
CH - Svizzera 2
EG - Egitto 2
FI - Finlandia 2
NO - Norvegia 2
RS - Serbia 2
AE - Emirati Arabi Uniti 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BR - Brasile 1
CO - Colombia 1
DZ - Algeria 1
HU - Ungheria 1
ID - Indonesia 1
IL - Israele 1
JO - Giordania 1
KR - Corea 1
LU - Lussemburgo 1
PK - Pakistan 1
RU - Federazione Russa 1
ZA - Sudafrica 1
Totale 587
Città #
Ashburn 34
Houston 32
Udine 21
Dong Ket 20
Fairfield 15
Modena 15
Buffalo 12
Stockholm 10
Seattle 9
Des Moines 8
Woodbridge 8
Ann Arbor 7
Fleming Island 7
Santa Cruz 6
Tokyo 6
Cambridge 5
Central 5
Vienna 5
Warsaw 5
Wilmington 5
Belfast 4
Seville 4
Suzhou 4
Trieste 4
Air Putih 3
Amsterdam 3
Bengaluru 3
Cesson-Sévigné 3
Chicago 3
Dublin 3
Florence 3
Kryvyi Rih 3
Manning 3
Paris 3
Rome 3
San Diego 3
Shanghai 3
Trento 3
Xizhi District 3
Aalst 2
Antigonish 2
Bagneux 2
Beijing 2
Belgrade 2
Birmingham 2
Bochum 2
Bolzano 2
Bolzano Vicentino 2
Brussels 2
Charlottesville 2
Clearwater 2
Fredericksburg 2
Helsinki 2
Henderson 2
Leesburg 2
Minneapolis 2
Naples 2
New York 2
Nishikicho 2
Oslo 2
Palo Alto 2
Plymouth 2
Portland 2
Rajkot 2
Recanati 2
Rennes 2
Singapore 2
Taipei 2
Taiyuan 2
Zagazig 2
Abu Dhabi 1
Ain Touta 1
Aioicho 1
Amman 1
Aurora 1
Berkeley 1
Berlin 1
Boardman 1
Borgoricco 1
Brescia 1
Budapest 1
Cachan 1
Carpi 1
Central District 1
Changchun 1
Chennai 1
Council Bluffs 1
Dallas 1
Denver 1
Durham 1
Eindhoven 1
Ekerö 1
Esch-sur-Alzette 1
Fortaleza 1
Frankfurt am Main 1
Fremont 1
Fulham 1
Glasgow 1
Grado 1
Hangzhou 1
Totale 388
Nome #
T-resolution: refinements and model elimination, file e27ce0c1-c9d3-055e-e053-6605fe0a7873 131
GPU Parallelism for SAT Solving Heuristics, file fef89cc5-fc82-4b4b-9f41-24d48c48e1c5 83
Parallel execution of the ASP computation - An investigation on GPUs, file e27ce0c2-6b28-055e-e053-6605fe0a7873 50
Multi-context systems in time, file e27ce0c9-372a-055e-e053-6605fe0a7873 37
Three-variable statements of set-pairing, file e27ce0c1-d606-055e-e053-6605fe0a7873 32
Logic programming applied to genome evolution in cancer?, file e27ce0c3-5873-055e-e053-6605fe0a7873 30
A graphical approach to relational reasoning, file e27ce0c9-13cc-055e-e053-6605fe0a7873 24
2D object reconstruction with ASP, file e27ce0c7-a7f6-055e-e053-6605fe0a7873 23
Students' Careers and AI: a decision-making support system for Academia, file b0bc92e3-f00d-4728-927d-1d3ae4aff576 22
Layered map reasoning: An experimental approach put to trial on sets, file e27ce0c9-5109-055e-e053-6605fe0a7873 18
An Agg application supporting visual reasoning, file e27ce0c9-328d-055e-e053-6605fe0a7873 17
An xAI Approach for Data-to-Text Processing with ASP, file 7ebc33e1-2410-4801-85e2-0518e67c9ca6 16
Qualitative Uncertainty Orderings Revised, file e27ce0c8-e73e-055e-e053-6605fe0a7873 16
Constraints Propagation on GPU: A Case Study for AllDifferent, file 1b7ad3cd-ebad-49ca-8774-69d01aaf3013 14
Towards explainable data-to-text generation, file 2be33b83-b13d-49e8-bcc7-50e5d02d477a 14
{CUDA}: Set Constraints on GPUs., file e27ce0ca-108c-055e-e053-6605fe0a7873 12
Temporalizing Epistemic Logic L-DINF, file a542aaa3-eb47-4bbd-96e2-75438ecfea29 9
Fast Prototyping of a Solver for Reduct-based ELP Semantics, file 464d2ba4-45d6-4926-90b6-9b73a9f9627d 6
Epistemic Logic Programs: an Approach to Semantic Comparison, file c4f4acab-b2ee-47dd-bfcc-f4799d97aa24 6
Epistemic Logic Programs: a Novel Perspective and Some Extensions, file 2a2d9cbc-dfca-48e7-8740-ab60a4de6bb6 5
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules, file e27ce0c8-f277-055e-e053-6605fe0a7873 5
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents, file aa5ba35b-0e27-40e9-9e53-e09afc604327 4
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules, file e27ce0c8-f275-055e-e053-6605fe0a7873 4
Parallel Logic Programming: A Sequel, file 4a9bc1be-82e7-41db-81f9-bf864ac176c5 3
CUD@SAT: SAT solving on GPUs, file e27ce0c9-6c35-055e-e053-6605fe0a7873 3
Parallel Answer Set Programming, file e27ce0c5-4818-055e-e053-6605fe0a7873 2
ASP Applications in Bio-informatics: A Short Tour, file e27ce0c5-6f3b-055e-e053-6605fe0a7873 2
Multi-valued Action Languages with Constraints in CLP(FD), file e27ce0c1-e5fb-055e-e053-6605fe0a7873 1
A GPU implementation of the ASP computation, file e27ce0c3-52eb-055e-e053-6605fe0a7873 1
Exploring Life: Answer Set Programming in Bioinformatics, file e27ce0c5-a9b3-055e-e053-6605fe0a7873 1
Totale 591
Categoria #
all - tutte 1.663
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 1.663


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201923 0 0 0 0 0 0 0 0 4 3 10 6
2019/202046 10 4 3 1 0 0 3 5 9 3 3 5
2020/202173 0 2 1 2 3 10 4 9 5 8 15 14
2021/202299 11 8 7 26 11 2 2 6 2 10 10 4
2022/2023147 1 9 6 6 19 30 11 13 9 13 16 14
2023/2024182 11 23 25 10 16 37 21 34 5 0 0 0
Totale 591