PROIETTI, MAURIZIO
 Distribuzione geografica
Continente #
AS - Asia 30
EU - Europa 11
NA - Nord America 1
Totale 42
Nazione #
CN - Cina 18
SG - Singapore 12
IT - Italia 8
FI - Finlandia 2
SE - Svezia 1
US - Stati Uniti d'America 1
Totale 42
Città #
Rome 6
Singapore 6
Helsinki 2
Forest City 1
Totale 15
Nome #
A Roadmap for Neuro-argumentative Learning 2
Efficient generation of test data structures using constraint logic programming and program transformation 2
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties 2
A Software Platform for Semantics-based Enterprise Knowledge Management 2
A Classification Study on Testing and Verification of AI-based Systems 2
What makes test programs similar in microservices applications? 2
QuBPAL: Querying Business Process Knowledge 2
Automatic Proofs of Protocols via Program Transformation 1
Generalization strategies for the verification of infinite state systems 1
Predicate pairing with abstraction for relational verification 1
Importing and Exporting Information in Program Development 1
Deriving Efficient Logic Programs from Unfolding Trees 1
The Use of the Tupling Strategy in the Development of Parallel Programs 1
Controlling Polyvariance for Specialization-Based Verification 1
Querying semantically annotated business processes 1
Using Real Relaxations During Program Specialization 1
Verification of Programs by Combining Iterated Specialization with Interpolation 1
A Constraint-Based Transformation for Verifying Infinite State Systems 1
Synthesizing Concurrent Programs using Answer Set Programming 1
Verification of sets of infinite state processes using program transformation 1
Querying Business Processes and Ontologies in a Logic Programming Environment 1
Combining logic programs and monadic second order logics by program transformation 1
Specialization with Constrained Generalization for Software Model Checking 1
Program Transformation for Development, Verification, and Synthesis of Programs 1
Enhancing Predicate Pairing with Abstraction for Relational Verification 1
Automatic Correctness Proofs for Logic Program Transformations 1
Production and Innovation Knowledge Repository (D5.1 - BIVEE FP7 EU project) 1
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism 1
Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation 1
A Business Process Knowledge Base for Composite Services Development 1
ABA Learning via ASP 1
Transformation of Logic Programs 1
Generalization Strategies for the Verification of Infinite State Systems 1
Querying Semantically Enriched Business Processes 1
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 1
Totale 42
Categoria #
all - tutte 1.925
article - articoli 762
book - libri 39
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 62
Totale 2.788


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/202514 12 2 0 0 0 0 0 0 0 0 0 0
Totale 42