PROIETTI, MAURIZIO
 Distribuzione geografica
Continente #
AS - Asia 3.742
NA - Nord America 2.025
SA - Sud America 637
EU - Europa 598
AF - Africa 72
OC - Oceania 2
Totale 7.076
Nazione #
US - Stati Uniti d'America 1.940
SG - Singapore 1.628
CN - Cina 869
BR - Brasile 531
VN - Vietnam 399
HK - Hong Kong 348
FR - Francia 219
KR - Corea 167
IT - Italia 137
JP - Giappone 87
IN - India 65
GB - Regno Unito 49
DE - Germania 48
AR - Argentina 40
CA - Canada 31
FI - Finlandia 31
MX - Messico 29
BD - Bangladesh 26
IL - Israele 24
NL - Olanda 20
TR - Turchia 19
ID - Indonesia 18
ZA - Sudafrica 18
IQ - Iraq 16
CO - Colombia 14
EC - Ecuador 13
ES - Italia 12
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
JM - Giamaica 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
DO - Repubblica Dominicana 5
DZ - Algeria 5
KE - Kenya 5
LT - Lituania 5
SE - Svezia 5
SN - Senegal 5
TN - Tunisia 5
AL - Albania 4
AT - Austria 4
MY - Malesia 4
PH - Filippine 4
UG - Uganda 4
UY - Uruguay 4
CI - Costa d'Avorio 3
HU - Ungheria 3
IE - Irlanda 3
RO - Romania 3
RS - Serbia 3
TT - Trinidad e Tobago 3
BB - Barbados 2
BG - Bulgaria 2
CR - Costa Rica 2
EE - Estonia 2
ET - Etiopia 2
HN - Honduras 2
JO - Giordania 2
KH - Cambogia 2
LA - Repubblica Popolare Democratica del Laos 2
LB - Libano 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
AD - Andorra 1
AM - Armenia 1
AO - Angola 1
BF - Burkina Faso 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CG - Congo 1
GE - Georgia 1
GR - Grecia 1
GT - Guatemala 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
MZ - Mozambico 1
NI - Nicaragua 1
Totale 7.071
Città #
Singapore 975
Santa Clara 947
Hefei 412
Hong Kong 343
San Jose 209
Lauterbourg 187
Seoul 164
Beijing 146
Ho Chi Minh City 134
Hanoi 101
Ashburn 97
Los Angeles 97
Rome 74
Tokyo 60
Dallas 58
New York 49
São Paulo 30
Rio de Janeiro 25
Minamishinagawa 24
Bengaluru 19
Frankfurt am Main 19
Orem 19
Helsinki 18
Haiphong 17
Biên Hòa 16
Buffalo 16
Council Bluffs 16
Milan 16
Da Nang 14
Belo Horizonte 12
Lappeenranta 12
Brasília 10
Nuremberg 10
Porto Alegre 10
Johannesburg 9
Baghdad 8
Hải Dương 8
Naples 8
The Dalles 8
Thái Bình 8
Atlanta 7
Mexico City 7
Zurich 7
Baku 6
Brooklyn 6
Curitiba 6
Fortaleza 6
Guangzhou 6
Guayaquil 6
Lang Son 6
Manchester 6
Montreal 6
Ninh Bình 6
Ribeirão Preto 6
San Francisco 6
Toronto 6
Amsterdam 5
Chennai 5
Contagem 5
Dakar 5
Denver 5
Des Moines 5
Formosa 5
London 5
Miami 5
Newark 5
Phoenix 5
Prague 5
Salvador 5
Alexandria 4
Arapiraca 4
Asunción 4
Bangkok 4
Bauru 4
Campinas 4
Chicago 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
Quito 4
Quảng Ngãi 4
Quận Một 4
Richmond 4
Riyadh 4
Seattle 4
Sumaré 4
Totale 4.693
Nome #
A Software Platform for Semantics-based Enterprise Knowledge Management 99
Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024) 87
A Semantic Framework for Knowledge Management in Virtual Innovation Factories 85
Multiple Query Satisfiability of Constrained Horn Clauses 82
First Order Predicate Calculus and Logic Programming 79
Program verification via iterated specialization 78
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 76
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 73
Synthesis of Eureka Predicates for Developing Logic Programs 70
A Roadmap for Neuro-argumentative Learning 68
Learning Assumption-Based Argumentation Frameworks 67
Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework 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 62
ABALearn: An Automated Logic-Based Learning System for ABA Frameworks 62
Improving Reachability Analysis of Infinite State Systems by Specialization 61
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis 61
Program Transformation for Program Verification 59
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
Controlling polyvariance for specialization-based verification 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
A Theory of Totally Correct Logic Program Transformations 51
Relational Verification Through Horn Clause Transformation 50
Editorial, Special Issue on LOPSTR'14 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? 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 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
QuBPAL: Querying Business Process Knowledge 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
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 46
Inferring Relations among Test Programs in Microservices Applications 46
Horn Clause Transformation for Program Verification 45
Semantics and Controllability of Time-Aware Business Processes 45
Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs 43
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach 43
Contract Strengthening through Constrained Horn Clause Verification 43
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
Combining Logic Programs and Monadic Second Order Logics by Program Transformation 39
Verifying relational program properties by transforming constrained Horn clauses 39
Semantics-based generation of verification conditions via program specialization 39
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
Solving Horn Clauses on Inductive Data Types Without Induction 37
Transformational Verification of Linear Temporal Logic 36
Knowledge-Based Support to Business Innovation 36
Ontology-Based Querying of Composite Services 36
Removing unnecessary variables from Horn clause verification conditions 36
Production and Innovation Knowledge Repository (D5.1 - BIVEE FP7 EU project) 36
Knowledge-intensive choreographies for open manufacturing production networks 36
Importing and Exporting Information in Program Development 35
Reasoning on Data-Aware Business Processes with Constraint Logic 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
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 35
Verifying controllability of time-aware business processes 35
Transforming Constrained Horn Clauses for Program Verification 34
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
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism 34
Deciding Full Branching Time Logic by Program Transformation 33
First Order Predicate Calculus and Logic Programming, Third Edition 33
Deciding Full Branching Time Logic by Program Transformation 33
Proceedings Fifth International Workshop on Verification and Program Transformation 33
Program derivation = rules + strategies 33
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs 32
Transformational Verification of Parameterized Protocols Using Array Formulas 32
First Order Predicate Calculus and Logic Programming 32
Software Model Checking by Program Specialization 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
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Verification of Time-Aware Business Processes using Constrained Horn Clauses 31
Preface 31
Verifying Array Programs by Transforming Verification Conditions 31
Transformations of Logic Programs with Goals as Arguments 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
Controlling Polyvariance for Specialization-Based Verification 30
Efficient generation of test data structures using constraint logic programming and program transformation 30
Totale 4.658
Categoria #
all - tutte 21.950
article - articoli 8.631
book - libri 435
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 647
Totale 31.663


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.189 207 522 376 628 775 133 727 210 228 287 96 0
Totale 7.220