Lorena Bourg

	2012
3		Ana Garcia Robles, Javier García Guzmán, Lorena Bourg, J. Manuel Ojel, R. Ignacio Madrid: Social Spaces for Reseach and Innovation (SSRI): Users Leading Research and Innovation in Ambient Assisted Living. Handbook of Ambient Assisted Living 2012: 729-748
	2006
2		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: Monotonicity Analysis Can Speed Up Verification. RelMiCS 2006: 177-191
	2005
1		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE 2005: 305-308

Coauthor Index

1	Marcelo F. Frias (Marcelo Fabiùn Frias)	[1] [2]
2	Rodolfo Gamarra	[1] [2]
3	Javier García Guzmán	[3]
4	R. Ignacio Madrid	[3]
5	J. Manuel Ojel	[3]
6	Ana Garcia Robles	[3]
7	Gabriela Steren	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page