Jesús Correas

	2012
8		Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez: Incremental resource usage analysis. PEPM 2012: 25-34
	2010
7		Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla: Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS 2010: 218-236
	2008
6		Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70
	2006
5		Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406
	2005
4		Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
	2004
3		Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119
2		Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260
	2003
1		Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482

Coauthor Index

1	Elvira Albert	[8]
2	Maria Garcia de la Banda (Maria J. García de la Banda)	[2]
3	Francisco Bueno	[2] [4]
4	Daniel Cabeza (Daniel Cabeza Gras)	[1] [3]
5	Manuel Carro	[1] [3]
6	J. M. Gómez	[1] [3]
7	Manuel V. Hermenegildo	[1] [2] [3] [4] [5] [6]
8	Kim Marriott	[2]
9	Pawel Pietrzak	[5] [6]
10	Germán Puebla (German Puebla)	[2] [4] [5] [6] [7] [8]
11	Diana V. Ramírez-Deantes	[7]
12	Guillermo Román-Díez	[8]
13	Peter J. Stuckey	[2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page