Alicia Villanueva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2008–2016
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | LOPSTR | Symbolic Abstract Contract Synthesis in a Rewriting Framework. | Mara Alpuente, Daniel Pardo, Alicia Villanueva |
| 2015 | LOPSTR | Abstract Analysis of Universal Properties for tccp. | Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
| 2013 | PEPM | Automatic inference of specifications using matching logic. | Mara Alpuente, Marco A. Feli, Alicia Villanueva |
| 2012 | ICLP | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. | Giovanni Bacci, Marco Comini, Marco A. Feli, Alicia Villanueva |
| 2012 | PPDP | Automatic synthesis of specifications for first order curry programs. | Giovanni Bacci, Marco Comini, Marco Antonio Feli, Alicia Villanueva |
| 2009 | LOPSTR | Defining Datalog in Rewriting Logic. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | FMICS | Using Datalog and Boolean Equation Systems for Program Analysis. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |