CNR Institutional Research Information System

PROIETTI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 3.758
NA - Nord America 2.209
SA - Sud America 638
EU - Europa 608
AF - Africa 72
OC - Oceania 2
Totale 7.287
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.101
SG - Singapore 1.629
CN - Cina 874
BR - Brasile 531
VN - Vietnam 399
HK - Hong Kong 348
FR - Francia 219
KR - Corea 167
IT - Italia 146
JP - Giappone 87
IN - India 65
GB - Regno Unito 49
DE - Germania 48
CA - Canada 41
AR - Argentina 40
BD - Bangladesh 33
FI - Finlandia 31
MX - Messico 29
IL - Israele 24
NL - Olanda 20
TR - Turchia 19
ID - Indonesia 18
ZA - Sudafrica 18
IQ - Iraq 16
CO - Colombia 14
EC - Ecuador 14
ES - Italia 12
JM - Giamaica 11
SA - Arabia Saudita 11
VE - Venezuela 11
CL - Cile 9
MA - Marocco 9
PL - Polonia 9
RU - Federazione Russa 9
CH - Svizzera 8
EG - Egitto 8
PK - Pakistan 8
AE - Emirati Arabi Uniti 7
PE - Perù 7
UA - Ucraina 7
AZ - Azerbaigian 6
CZ - Repubblica Ceca 6
KZ - Kazakistan 6
PY - Paraguay 6
TH - Thailandia 6
UZ - Uzbekistan 6
CR - Costa Rica 5
DO - Repubblica Dominicana 5
DZ - Algeria 5
KE - Kenya 5
LT - Lituania 5
MY - Malesia 5
SE - Svezia 5
SN - Senegal 5
TN - Tunisia 5
TT - Trinidad e Tobago 5
AL - Albania 4
AT - Austria 4
IE - Irlanda 4
PH - Filippine 4
UG - Uganda 4
UY - Uruguay 4
CI - Costa d'Avorio 3
HU - Ungheria 3
KH - Cambogia 3
NP - Nepal 3
RO - Romania 3
RS - Serbia 3
BB - Barbados 2
BG - Bulgaria 2
EE - Estonia 2
ET - Etiopia 2
GT - Guatemala 2
HN - Honduras 2
JO - Giordania 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
AD - Andorra 1
AI - Anguilla 1
AM - Armenia 1
AO - Angola 1
BF - Burkina Faso 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CG - Congo 1
CU - Cuba 1
GE - Georgia 1
GR - Grecia 1
GY - Guiana 1
KW - Kuwait 1
MK - Macedonia 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
MT - Malta 1
MW - Malawi 1
Totale 7.279
Salva come PNG Salva come JPEG
Città #
Singapore 975
Santa Clara 948
Hefei 412
Hong Kong 343
San Jose 209
Lauterbourg 187
Seoul 164
Beijing 146
Ho Chi Minh City 134
Ashburn 132
Hanoi 101
Los Angeles 101
Rome 74
Tokyo 60
Dallas 58
New York 51
São Paulo 30
Rio de Janeiro 25
Minamishinagawa 24
Bengaluru 19
Frankfurt am Main 19
Orem 19
Buffalo 18
Helsinki 18
Haiphong 17
Biên Hòa 16
Council Bluffs 16
Milan 16
Da Nang 14
Belo Horizonte 12
Lappeenranta 12
Brasília 10
Brooklyn 10
Montreal 10
Nuremberg 10
Porto Alegre 10
Johannesburg 9
Naples 9
Baghdad 8
Hải Dương 8
Las Vegas 8
Miami 8
The Dalles 8
Thái Bình 8
Atlanta 7
Chicago 7
Guayaquil 7
London 7
Mexico City 7
Richmond 7
San Francisco 7
Toronto 7
Zurich 7
Baku 6
Curitiba 6
Fortaleza 6
Guangzhou 6
Kingston 6
Lang Son 6
Manchester 6
Ninh Bình 6
Ribeirão Preto 6
Amsterdam 5
Boardman 5
Chennai 5
Contagem 5
Dakar 5
Denver 5
Des Moines 5
Dublin 5
Formosa 5
Houston 5
Newark 5
Phoenix 5
Prague 5
Salvador 5
Alexandria 4
Arapiraca 4
Asunción 4
Bangkok 4
Bauru 4
Campinas 4
Cleveland 4
Columbus 4
Dhaka 4
Duque de Caxias 4
Guarulhos 4
Hortolândia 4
Istanbul 4
Itajaí 4
Kampala 4
Lima 4
Manaus 4
Medina 4
Mumbai 4
Nha Trang 4
Niterói 4
Philadelphia 4
Poplar 4
Portsmouth 4
Totale 4.769
Salva come PNG Salva come JPEG
Nome #
A Software Platform for Semantics-based Enterprise Knowledge Management 101
Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024) 88
A Semantic Framework for Knowledge Management in Virtual Innovation Factories 87
Multiple Query Satisfiability of Constrained Horn Clauses 82
First Order Predicate Calculus and Logic Programming 81
Program verification via iterated specialization 79
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 77
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 77
Synthesis of Eureka Predicates for Developing Logic Programs 71
A Roadmap for Neuro-argumentative Learning 69
Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework 67
Learning Assumption-Based Argumentation Frameworks 67
ABALearn: An Automated Logic-Based Learning System for ABA Frameworks 66
Ragionamento Automatico su Processi di Business 65
Automatic Proofs of Protocols via Program Transformation 64
Linking Ontologies to Business Process Schemas 64
A Classification Study on Testing and Verification of AI-based Systems 63
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis 62
Analysis and Transformation of Constrained Horn Clauses for Program Verification 62
Improving Reachability Analysis of Infinite State Systems by Specialization 61
Program Transformation for Program Verification 60
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
Controlling polyvariance for specialization-based verification 55
Synthesizing Concurrent Programs Using Answer Set Programming 54
Learning Brave Assumption-Based Argumentation Frameworks via ASP 54
Relational Verification Through Horn Clause Transformation 53
Predicate pairing with abstraction for relational verification 53
Learning Brave Assumption-Based Argumentation Frameworks via ASP 53
A Theory of Totally Correct Logic Program Transformations 51
Predicate Pairing for program verification 51
Semantics and Controllability of Time-Aware Business Processes 51
What makes test programs similar in microservices applications? 51
Editorial, Special Issue on LOPSTR'14 50
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 50
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation 50
Generalization strategies for the verification of infinite state systems 49
A Rule-based Verification Strategy for Array Manipulating Programs 49
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 49
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 48
QuBPAL: Querying Business Process Knowledge 48
Semantics and Controllability of Time-Aware Business Processes 48
Horn Clause Transformation for Program Verification 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Logic Program Synthesis and Transformation. Proceedings of the Fifth International Workshop, LOPSTR'95 46
Inferring Relations among Test Programs in Microservices Applications 46
Contract Strengthening through Constrained Horn Clause Verification 45
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach 44
Property-Based Test Case Generators for Free 44
Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs 43
Automated Verification of Relational Program Properties 43
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 42
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 42
Semantics-based generation of verification conditions via program specialization 41
Combining Logic Programs and Monadic Second Order Logics by Program Transformation 40
Verifying Controllability of Time-Aware Business Processes 40
Solving Horn Clauses on Inductive Data Types Without Induction 40
Verifying relational program properties by transforming constrained Horn clauses 39
Transforming Constrained Horn Clauses for Program Verification 38
Verifying controllability of time-aware business processes 38
Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs 37
Rule-Based Behavioral Reasoning on Semantic Business Processes 37
Knowledge-intensive choreographies for open manufacturing production networks 37
Transformational Verification of Linear Temporal Logic 36
Deciding Full Branching Time Logic by Program Transformation 36
Proceedings Fifth International Workshop on Verification and Program Transformation 36
Knowledge-Based Support to Business Innovation 36
Verifying Programs via Iterated Specialization 36
Ontology-Based Querying of Composite Services 36
Removing unnecessary variables from Horn clause verification conditions 36
VeriMAP: A tool for verifying programs through transformations 36
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 36
Production and Innovation Knowledge Repository (D5.1 - BIVEE FP7 EU project) 36
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 36
Importing and Exporting Information in Program Development 35
Reasoning on Data-Aware Business Processes with Constraint Logic 35
First Order Predicate Calculus and Logic Programming, Third Edition 35
Controlling Polyvariance for Specialization-based Verification 35
Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017 35
Deciding Full Branching Time Logic by Program Transformation 34
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs 34
Verification of Time-Aware Business Processes using Constrained Horn Clauses 34
First Order Predicate Calculus and Logic Programming 34
Verification of time-aware business processes using constrained Horn clauses 34
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism 34
Software Model Checking by Program Specialization 34
Preface 33
Program derivation = rules + strategies 33
Verification of Imperative Programs through Transformation of Constraint Logic Programs 33
Efficient generation of test data structures using constraint logic programming and program transformation 32
Semantics-based generation of verification conditions by program specialization 32
Verification of sets of infinite state processes using program transformation 32
Transformational Verification of Parameterized Protocols Using Array Formulas 32
Enhancing Predicate Pairing with Abstraction for Relational Verification 32
The Use of the Tupling Strategy in the Development of Parallel Programs 31
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach 31
The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction 31
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Totale 4.776
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.062
article - articoli 9.484
book - libri 470
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 693
Totale 34.709
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202428 0 0 0 0 0 0 0 0 2 6 18 2
2024/20253.003 12 13 190 119 815 212 49 154 87 52 691 609
2025/20264.263 207 522 376 628 775 133 727 210 228 287 111 59
2026/2027138 138 0 0 0 0 0 0 0 0 0 0 0
Totale 7.432