Alicia Villanueva

Alicia Villanueva

Universitat Politècnica de València - Valencia / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4341210
Polytechnic University of Valencia
person_outline Alicia Villanueva's MOST POPULAR ARTICLES
1-) Automatic verification of timed concurrent constraint programsM Falaschi, A VillanuevaTheory and Practice of Logic Programming 6 (03), 265-300, 2006512006
2-) A semantic framework for the abstract model checking of tccp programsM Alpuente, M del Mar Gallardo, E Pimentel, A VillanuevaTheoretical Computer Science 346 (1), 58-95, 2005282005
3-) Verifying Real-Time Properties of tccp Programs.M Alpuente, María-del-Mar Gallardo, E Pimentel, A VillanuevaJ. Univers. Comput. Sci. 12 (11), 1551-1573, 200624*2006
4-) Abstract diagnosis for timed concurrent constraint programsM Comini, L Titolo, A VillanuevaTheory and Practice of Logic Programming 11 (4-5), 487-502, 2011212011
5-) Datalog-based program analysis with BES and RWLM Alpuente, MA Feliú, C Joubert, A VillanuevaInternational Datalog 2.0 Workshop, 1-20, 2010202010