Alicia Villanueva

	2009
15		Alexei Lescaylle, Alicia Villanueva: A Tool for Generating a Symbolic Representation of tccp Executions. Electr. Notes Theor. Comput. Sci. 246: 131-145 (2009)
14		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009)
	2008
13		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
12		Sonia Flores, Salvador Lucas, Alicia Villanueva: Formal Verification of Websites. Electr. Notes Theor. Comput. Sci. 200(3): 103-118 (2008)
11		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008)
	2007
10		María Alpuente, Bernhard Gramlich, Alicia Villanueva: A Framework for Timed Concurrent Constraint Programming with External Functions. Electr. Notes Theor. Comput. Sci. 188: 143-155 (2007)
9		Alicia Villanueva: Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. J. Funct. Program. 17(6): 813-814 (2007)
	2006
8		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Verifying Real-Time Properties of tccp Programs. J. UCS 12(11): 1551-1573 (2006)
7		Moreno Falaschi, Alicia Villanueva: Automatic verification of timed concurrent constraint programs. TPLP 6(3): 265-300 (2006)
	2005
6		Moreno Falaschi, Alicia Villanueva: Automatic Verification of Timed Concurrent Constraint Programs CoRR abs/cs/0505026: (2005)
5		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Abstract Model Checking of tccp programs. Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005)
4		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005)
	2004
3		María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
2		Alicia Villanueva: Model checking for the concurrent constraint paradigm. AI Commun. 17(2): 93-94 (2004)
	2001
1		Moreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electr. Notes Theor. Comput. Sci. 48: (2001)

Coauthor Index

1	María Alpuente	[3] [4] [5] [8] [10] [11] [13] [14]
2	Moreno Falaschi	[1] [3] [6] [7]
3	Marco A. Feliú	[13] [14]
4	Sonia Flores	[12]
5	María-del-Mar Gallardo	[4] [5] [8] [11]
6	Bernhard Gramlich	[10]
7	Christophe Joubert	[13] [14]
8	Alexei Lescaylle	[15]
9	Salvador Lucas	[12]
10	Ernesto Pimentel	[4] [5] [8] [11]
11	Alberto Policriti	[1]

Colors in the list of coauthors