P. Arenas

发表

Elvira Albert, Samir Genaim, Germán Puebla, 2008, SAS.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2007, ESOP.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.
Elvira Albert, Samir Genaim, Michael Codish, 2008, FMOODS.
Elvira Albert, Samir Genaim, Germán Puebla, 2011, Journal of Automated Reasoning.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2012, Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Germán Puebla, 2009, APLAS.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, FMCO.
Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2017, CAV.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2018, Softw. Test. Verification Reliab..
Puri Arenas, Francisco Javier López-Fraguas, Ana Gil-Luezas, 1994, PLILP.
Elvira Albert, Germán Puebla, Puri Arenas, 2006, LPAR.
E. Albert, P. Arenas, S. Genaim, 2012 .
Agostino Dovier, Puri Arenas, P. Arenas, 1995, PLILP.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, ICLP.
Puri Arenas, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo, 1999, PPDP.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, SAC '08.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..
Elvira Albert, Samir Genaim, Germán Puebla, 2014, Sci. Comput. Program..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2011, APLAS.
Samir Genaim, Puri Arenas, Diego Esteban Alonso-Blas, 2011, Bytecode@ETAPS.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2011, LCTES '11.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2010, Theory and Practice of Logic Programming.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, FM.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2009, FOSAD.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, PROLE.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2012, PADL.
Mario Rodríguez-Artalejo, Puri Arenas, P. Arenas, 2001, Theory and Practice of Logic Programming.
Jorge A. Navas, Elvira Albert, Manuel Carro, 2010 .
Elvira Albert, Germán Puebla, Puri Arenas, 2007, ArXiv.
Elvira Albert, Germán Puebla, Puri Arenas, 2006 .