Alicia Villanueva Vis

*	2008
13	EE	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
12	EE	Sonia Flores, Salvador Lucas, Alicia Villanueva: Formal Verification of Websites. Electr. Notes Theor. Comput. Sci. 200(3): 103-118 (2008)
11	EE	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	EE	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	EE	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	EE	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	EE	Moreno Falaschi, Alicia Villanueva: Automatic verification of timed concurrent constraint programs. TPLP 6(3): 265-300 (2006)
	2005
6	EE	Moreno Falaschi, Alicia Villanueva: Automatic Verification of Timed Concurrent Constraint Programs CoRR abs/cs/0505026: (2005)
5	EE	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	EE	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	EE	María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
2	EE	Alicia Villanueva: Model checking for the concurrent constraint paradigm. AI Commun. 17(2): 93-94 (2004)
	2001
1	EE	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]
2	Moreno Falaschi	[1] [3] [6] [7]
3	Marco A. Feliú	[13]
4	Sonia Flores	[12]
5	María-del-Mar Gallardo	[4] [5] [8] [11]
6	Bernhard Gramlich	[10]
7	Christophe Joubert	[13]
8	Salvador Lucas	[12]
9	Ernesto Pimentel	[4] [5] [8] [11]
10	Alberto Policriti	[1]