CNR Institutional Research Information System

DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.418
NA - Nord America 965
EU - Europa 329
SA - Sud America 207
AF - Africa 30
Totale 2.949
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 927
SG - Singapore 602
CN - Cina 336
BR - Brasile 165
HK - Hong Kong 139
VN - Vietnam 139
IT - Italia 104
FR - Francia 85
KR - Corea 54
JP - Giappone 41
DE - Germania 27
IN - India 26
GB - Regno Unito 23
FI - Finlandia 20
CA - Canada 18
BD - Bangladesh 14
AR - Argentina 12
IL - Israele 11
NL - Olanda 10
ES - Italia 9
CH - Svizzera 8
MX - Messico 8
TR - Turchia 8
CO - Colombia 7
IQ - Iraq 7
PK - Pakistan 7
CL - Cile 6
EC - Ecuador 6
ZA - Sudafrica 6
PL - Polonia 5
RU - Federazione Russa 5
SA - Arabia Saudita 5
TH - Thailandia 5
PE - Perù 4
SE - Svezia 4
AZ - Azerbaigian 3
CZ - Repubblica Ceca 3
EG - Egitto 3
ID - Indonesia 3
JM - Giamaica 3
KE - Kenya 3
LT - Lituania 3
MA - Marocco 3
RO - Romania 3
RS - Serbia 3
TN - Tunisia 3
UZ - Uzbekistan 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
CI - Costa d'Avorio 2
HU - Ungheria 2
IE - Irlanda 2
LA - Repubblica Popolare Democratica del Laos 2
MY - Malesia 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
PY - Paraguay 2
SN - Senegal 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
UG - Uganda 2
UY - Uruguay 2
AO - Angola 1
BB - Barbados 1
BG - Bulgaria 1
CG - Congo 1
CR - Costa Rica 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
GT - Guatemala 1
HN - Honduras 1
JO - Giordania 1
KH - Cambogia 1
KZ - Kazakistan 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
MT - Malta 1
NI - Nicaragua 1
NO - Norvegia 1
PH - Filippine 1
SI - Slovenia 1
Totale 2.949
Salva come PNG Salva come JPEG
Città #
Santa Clara 445
Singapore 350
Hong Kong 138
Hefei 130
San Jose 108
Beijing 71
Los Angeles 66
Rome 66
Lauterbourg 64
Seoul 53
Ho Chi Minh City 44
Ashburn 42
Dallas 33
Hanoi 30
Tokyo 30
New York 17
Lappeenranta 14
Milan 13
Orem 13
São Paulo 11
Frankfurt am Main 9
Council Bluffs 8
Minamishinagawa 8
Bengaluru 7
Zurich 7
Brasília 6
Da Nang 6
Haiphong 6
Helsinki 6
Rio de Janeiro 6
Des Moines 5
London 5
The Dalles 5
Toronto 5
Amsterdam 4
Buffalo 4
Chennai 4
Lang Son 4
Mexico City 4
Montreal 4
Nuremberg 4
Paris 4
Porto Alegre 4
Warsaw 4
Atlanta 3
Baku 3
Bangkok 3
Belgrade 3
Belo Horizonte 3
Biên Hòa 3
Caxias do Sul 3
Chicago 3
Curitiba 3
Dhaka 3
Guayaquil 3
Horhausen 3
Johannesburg 3
Manchester 3
Nairobi 3
Naples 3
Newark 3
Osaka 3
Poplar 3
Portsmouth 3
Prague 3
Ribeirão Preto 3
San Francisco 3
Santiago 3
Seattle 3
Abidjan 2
Alcorcón 2
Annapolis 2
Asunción 2
Baghdad 2
Barretos 2
Brooklyn 2
Bạc Liêu 2
Cairo 2
Campinas 2
Charlotte 2
Contagem 2
Cubatão 2
Dakar 2
Denver 2
Dublin 2
Duque de Caxias 2
Fiumicino 2
Fortaleza 2
Go Vap 2
Guangzhou 2
Guarulhos 2
Ha Long 2
Hải Dương 2
Itajaí 2
Jeddah 2
Jundiaí 2
Kampala 2
Lima 2
Magé 2
Miami 2
Totale 2.004
Salva come PNG Salva come JPEG
Nome #
Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024) 87
Multiple Query Satisfiability of Constrained Horn Clauses 82
Program verification via iterated specialization 78
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings 74
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 73
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis 61
A Classification Study on Testing and Verification of AI-based Systems 61
Analysis and Transformation of Constrained Horn Clauses for Program Verification 59
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 58
Verifying Array Programs by Transforming Verification Conditions 57
ABA Learning via ASP 57
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 56
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021) 55
Learning Brave Assumption-Based Argumentation Frameworks via ASP 54
Synthesizing Concurrent Programs Using Answer Set Programming 53
Learning Brave Assumption-Based Argumentation Frameworks via ASP 53
Relational Verification Through Horn Clause Transformation 50
Predicate pairing with abstraction for relational verification 50
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 50
What makes test programs similar in microservices applications? 49
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 49
A Rule-based Verification Strategy for Array Manipulating Programs 47
Predicate Pairing for program verification 47
Semantics and Controllability of Time-Aware Business Processes 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Inferring Relations among Test Programs in Microservices Applications 46
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 45
Horn Clause Transformation for Program Verification 45
Semantics and Controllability of Time-Aware Business Processes 45
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach 43
Contract Strengthening through Constrained Horn Clause Verification 43
CHC-COMP 2022: Competition Report 41
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 41
Property-Based Test Case Generators for Free 41
Automated Verification of Relational Program Properties 40
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 40
Verifying relational program properties by transforming constrained Horn clauses 39
CHC-COMP 2023: Competition Report 39
Semantics-based generation of verification conditions via program specialization 39
Verifying Controllability of Time-Aware Business Processes 38
Solving Horn Clauses on Inductive Data Types Without Induction 37
Removing unnecessary variables from Horn clause verification conditions 36
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 35
Verifying controllability of time-aware business processes 35
Verifying Programs via Iterated Specialization 34
VeriMAP: A tool for verifying programs through transformations 34
Verification of time-aware business processes using constrained Horn clauses 34
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023) 33
Software Model Checking by Program Specialization 32
Verification of Time-Aware Business Processes using Constrained Horn Clauses 31
Verifying Array Programs by Transforming Verification Conditions 31
Verification of Imperative Programs through Transformation of Constraint Logic Programs 31
Enhancing Predicate Pairing with Abstraction for Relational Verification 31
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 31
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 30
Specialization with Constrained Generalization for Software Model Checking 30
Semantics-based generation of verification conditions by program specialization 29
Verifying Programs via Iterated Specialization 29
Transformational verification of quicksort 29
Proving Horn Clause Specifications of Imperative Programs 28
Program Verification via Iterated Specialization 27
A Rule-based Verification Strategy for Array Manipulating Programs 27
Synthesizing Concurrent Programs using Answer Set Programming 26
Verification of Imperative Programs by Transforming Constraint Logic Programs 26
Using Answer Set Programming Solvers to Synthesize Concurrent Programs 25
Predicate Pairing for Program Verification 24
Branching Preserving Specialization for Software Model Checking 24
Verification of Programs by Combining Iterated Specialization with Interpolation 23
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning 23
Software model checking by program specialization 23
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 21
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 18
A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties 18
Argumentation-based explainable recommender system with ARES 15
Agentified Argumentative Learning 13
Learning to Contest Argumentative Claims 9
Greedy ABA Learning for Case-Based Reasoning 9
Object-Centric Neuro-Argumentative Learning 7
Totale 3.077
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.510
article - articoli 3.153
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 110
Totale 12.773
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20249 0 0 0 0 0 0 0 0 2 4 3 0
2024/20251.330 2 4 79 37 383 125 51 120 59 35 251 184
2025/20261.738 74 179 133 229 337 100 321 64 115 141 45 0
Totale 3.077