Alicia Villanueva

Identifiers

• name variant Alicia Villanueva 0.60 · backfill

Papers (4)

1. Symbolic Abstract Contract Synthesis in a Rewriting Framework cs.PL · 2016 · author #3
2. Towards an Effective Decision Procedure for LTL formulas with Constraints cs.LO · 2013 · author #3
3. Abstract Diagnosis for Timed Concurrent Constraint programs cs.PL · 2011 · author #3
4. Automatic Verification of Timed Concurrent Constraint Programs cs.LO · 2005 · author #2

Mentions

• 1308.4171 #3 · backfill · confidence 0.70 Alicia Villanueva
• 1109.1587 #3 · backfill · confidence 0.70 Alicia Villanueva

Frequent Coauthors

• Laura Titolo 2 shared papers
• Marco Comini 2 shared papers
• Daniel Pardo 1 shared papers
• Mar\'ia Alpuente 1 shared papers
• Moreno Falaschi 1 shared papers