Maurizio Proietti

Identifiers

• name variant Maurizio Proietti 0.60 · backfill

Papers (9)

1. Regularity of languages generated by non context-free grammars over a singleton terminal alphabet cs.FL · 2017 · author #2
2. Removing Unnecessary Variables from Horn Clause Verification Conditions cs.LO · 2016 · author #4
3. Verification of Programs by Combining Iterated Specialization with Interpolation cs.LO · 2014 · author #4
4. Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach cs.AI · 2014 · author #2
5. Generalization Strategies for the Verification of Infinite State Systems cs.LO · 2011 · author #3
6. Transformations of Logic Programs on Infinite Lists cs.PL · 2010 · author #2
7. Transformation Rules for Locally Stratified Constraint Logic Programs cs.PL · 2004 · author #3
8. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism cs.PL · 2003 · author #2
9. Transformations of Logic Programs with Goals as Arguments cs.PL · 2003 · author #2

Mentions

• 1412.1151 #4 · backfill · confidence 0.70 Maurizio Proietti
• 1410.1776 #2 · backfill · confidence 0.70 Maurizio Proietti
• 1110.0999 #3 · backfill · confidence 0.70 Maurizio Proietti
• 1007.4157 #2 · backfill · confidence 0.70 Maurizio Proietti

Frequent Coauthors

• Alberto Pettorossi 7 shared papers
• Fabio Fioravanti 4 shared papers
• Emanuele De Angelis 2 shared papers
• Valerio Senni 2 shared papers
• Fabrizio Smith 1 shared papers
• Jorge A. Navas 1 shared papers
• Sophie Renault 1 shared papers