Alberto Pettorossi

Identifiers

• name variant Alberto Pettorossi 0.60 · backfill

Papers (7)

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

Mentions

• 1705.09695 #1 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• 1607.04460 #3 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• 1110.0999 #2 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• 1007.4157 #1 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• cs/0402048 #2 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• cs/0311044 #1 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• cs/0307022 #1 · arxiv_oai · confidence 0.70 Alberto Pettorossi
• 1110.0999 #2 · backfill · confidence 0.70 Alberto Pettorossi
• 1007.4157 #1 · backfill · confidence 0.70 Alberto Pettorossi

Frequent Coauthors

• Maurizio Proietti 7 shared papers
• Fabio Fioravanti 3 shared papers
• Valerio Senni 2 shared papers
• Emanuele De Angelis 1 shared papers
• Sophie Renault 1 shared papers