Travelled to:1 × Belgium
1 × Hungary
1 × Italy
1 × Portugal
Collaborated with:M.Comini M.Alpuente M.A.Feliú L.Titolo G.Bacci M.A.Feliú C.Joubert M.Gallardo E.Pimentel
Talks about:logic (5) abstract (3) program (3) automat (3) specif (3) synthesi (2) diagnosi (2) tccp (2) use (2) difficulti (1)
Person: Alicia Villanueva
DBLP: Villanueva:Alicia
Contributed to:
2014
20132012
20122011
2009
2005Wrote 7 papers:
- ICLP-J-2014-CominiTV #linear #logic #using
- Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.
- PEPM-2013-AlpuenteFV #automation #logic #specification #using
- Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.
- ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
- PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
- Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
- ICLP-J-2011-CominiTV #concurrent #constraints #source code
- Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.
- LOPSTR-2009-AlpuenteFJV #datalog #logic
- Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.
- QAPL-2004-AlpuenteGPV05 #model checking #source code
- Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.