Elvira Albert

发表

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2009, ISMM '09.
John P. Gallagher, Elvira Albert, Miguel Gómez-Zamalloa, 2009, Inf. Process. Lett..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2009, Electron. Notes Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, FMCO.
María Alpuente, Germán Vidal, Elvira Albert, 1999 .
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, WFLP.
Germán Vidal, Elvira Albert, E. Albert, 2009, New Generation Computing.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, FM.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2008, LOPSTR.
Germán Vidal, Elvira Albert, Michael Hanus, 2002 .
Germán Vidal, Elvira Albert, Michael Hanus, 2003, Inf. Process. Lett..
Elvira Albert, Samir Genaim, Abu Naser Masud, 2013, TOCL.
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2015, ACM Trans. Comput. Log..
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, LPAR.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, J. Syst. Softw..
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2009, Theory and Practice of Logic Programming.
Germán Vidal, Elvira Albert, Michael Hanus, 2000, LPAR.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2014, SAS.
John P. Gallagher, Elvira Albert, Miguel Gómez-Zamalloa, 2008, LOPSTR.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, ICLP.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, ArXiv.
María Alpuente, Germán Vidal, Elvira Albert, 1999, LPAR.
John P. Gallagher, Elvira Albert, Germán Puebla, 2005, LOPSTR.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, APPIA-GULP-PRODE.
Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2015, FOPARA.
Jorge A. Navas, Elvira Albert, Manuel Carro, 2010 .
Elvira Albert, Germán Puebla, Puri Arenas, 2006, LPAR.
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, 2011, LOPSTR.
Elvira Albert, Samir Genaim, Germán Puebla, 2014, Sci. Comput. Program..
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, 2005, PPDP.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WRS.
Einar Broch Johnsen, Elvira Albert, Samir Genaim, 2011, FM.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2010, LOPSTR.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2014, Formal Aspects of Computing.
Elvira Albert, E. Albert, 2012, Lecture Notes in Computer Science.
Shin-Cheng Mu, Elvira Albert, 2014, Sci. Comput. Program..
Elvira Albert, Peter Y. H. Wong, Radu Muschevici, 2012, International Journal on Software Tools for Technology Transfer.
Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2012, SIGSOFT FSE.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, PROLE.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, APLAS.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008 .
Elvira Albert, Samir Genaim, Germán Puebla, 2011, Journal of Automated Reasoning.
Albert Rubio, Benjamin Livshits, Elvira Albert, 2018, ATVA.
Albert Rubio, Elvira Albert, Pablo Gordillo, 2020, CAV.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2007, Bytecode@ETAPS.
John P. Gallagher, Elvira Albert, Germán Puebla, 2005, LOPSTR.
Elvira Albert, Samir Genaim, Germán Puebla, 2015, Sci. Comput. Program..
Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2012, FMOODS/FORTE.
Alexandra Silva, Albert Rubio, Elvira Albert, 2021, J. Log. Algebraic Methods Program..
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2018, Softw. Test. Verification Reliab..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2011, APLAS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2010, Theory and Practice of Logic Programming.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2012, PADL.
Elvira Albert, Samir Genaim, S. Genaim, 2009, Electron. Notes Theor. Comput. Sci..
Germán Vidal, Elvira Albert, E. Albert, 2001, LOPSTR.
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, LOPSTR.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2007, ESOP.
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, 2017, LOPSTR.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, J. Funct. Log. Program..
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2014, TACAS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2004, LOPSTR.
Raúl Gutiérrez, Elvira Albert, Samir Genaim, 2019, Theory and Practice of Logic Programming.
Elvira Albert, Miguel Gómez-Zamalloa, Peter Y. H. Wong, 2013, ESEC/FSE 2013.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, SAC '08.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2010, PEPM '10.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2012, Theor. Comput. Sci..
Raúl Gutiérrez, Elvira Albert, Samir Genaim, 2020, Theory Pract. Log. Program..
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2016, Theory and Practice of Formal Methods.
Elvira Albert, Samir Genaim, Michael Codish, 2008, FMOODS.
Juan de Lara, Esther Guerra, Manuel Núñez, 2017, STAF Workshops.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2015, ATVA.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2010, ISMM '10.
María Alpuente, Germán Vidal, Elvira Albert, 1998, APPIA-GULP-PRODE.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..
Elvira Albert, Damiano Zanardini, Karina Villela, 2016, J. Log. Algebraic Methods Program..
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2009, ArXiv.
María Alpuente, Germán Vidal, Elvira Albert, 1998, SAS.
Elvira Albert, Samir Genaim, Abu Naser Masud, 2011, VMCAI.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2009, Inf. Softw. Technol..
Albert Rubio, Elvira Albert, Ilya Sergey, 2019, Lecture Notes in Computer Science.
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, 2016, CC.
Elvira Albert, Guillermo Román-Díez, Enrique Martin-Martin, 2014, ISoLA.
Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2020, Fundam. Informaticae.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, LPAR.
Germán Vidal, Elvira Albert, Michael Hanus, 2001, FLOPS.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2011, PEPM '11.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, ISSTA.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2014, FORTE.
Einar Broch Johnsen, Elvira Albert, Guillermo Román-Díez, 2015, SAS.
Albert Rubio, Elvira Albert, Shmuel Sagiv, 2020, Proc. ACM Program. Lang..
Elvira Albert, José Miguel Rojas, Bjarte M. Østvold, 2012, FMICS.
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, LOPSTR.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008 .
Elvira Albert, Samir Genaim, Damiano Zanardini, 2009, FOSAD.
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2016, Journal of Automated Reasoning.
Elvira Albert, Samir Genaim, Israel Herraiz, 2009, FOPARA.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2015, TACAS.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2013, IFM.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2015, Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2013, FMOODS/FORTE.
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2013, LPAR.
Elvira Albert, Germán Puebla, Puri Arenas, 2007, ArXiv.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, SAS.
Germán Vidal, Elvira Albert, Michael Hanus, 2005, J. Symb. Comput..
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2013, ATVA.
Germán Vidal, César Ferri, Elvira Albert, 2000, WFLP.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WFLP.
Elvira Albert, Miguel Gómez-Zamalloa, Matteo Sammartino, 2018, FM.
Germán Vidal, César Ferri, Elvira Albert, 2000, ASIAN.
Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2019, ISSTA.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2004, ICLP.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2016, ESOCC 2016.
Alexandra Silva, Albert Rubio, Elvira Albert, 2020, ArXiv.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2015, Software & Systems Modeling.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2013, Theory Pract. Log. Program..
Frank S. de Boer, Elvira Albert, Enrique Martin-Martin, 2016, LOPSTR.
Elvira Albert, Miguel Gómez-Zamalloa, Antonio Flores-Montoya, 2011, 2011 18th Working Conference on Reverse Engineering.
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, 2018, CAV.
Germán Vidal, Elvira Albert, Josep Silva, 2003, APPIA-GULP-PRODE.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2008, New Generation Computing.
Elvira Albert, Germán Puebla, Puri Arenas, 2006 .
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, ICLP.
Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2017, CAV.
Elvira Albert, E. Albert, 2001, AI Commun..
Einar Broch Johnsen, Elvira Albert, Ka I Pun, 2018, ACM Trans. Comput. Log..
Germán Vidal, Elvira Albert, Michael Hanus, 2000, WFLP.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2013, Sci. Comput. Program..
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, COCV@ETAPS.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2012, ICLP.
Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, 2008, ECOOP Workshops.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2012, FASE.
Elvira Albert, Samir Genaim, Germán Puebla, 2008, SAS.
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, 2016, IFM.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Ivan Lanese, Elvira Albert, 2016, Lecture Notes in Computer Science.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2009 .
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2007, ISMM '07.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2007, PADL.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, FM.
Elvira Albert, Samir Genaim, Pablo Gordillo, 2017, ATVA.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2011, LCTES '11.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2007, Electron. Notes Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, PEPM '12.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2012, PEPM '12.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2010, Theory Pract. Log. Program..
Albert Rubio, Elvira Albert, Ilya Sergey, 2018, ArXiv.
Elvira Albert, E. Albert, 2018, Electronic Proceedings in Theoretical Computer Science.
Elvira Albert, Georg Moser, Guillaume Bonfante, 2017 .
Elvira Albert, Enrique Martin-Martin, Miquel Bofill, 2019, Theory and Practice of Logic Programming.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Emil Sekerinski, Elvira Albert, 2014, Lecture Notes in Computer Science.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2016, PPDP.
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2014, Service Oriented Computing and Applications.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2021, J. Syst. Softw..
Reiner Hähnle, Elvira Albert, Dominic Steinhöfel, 2021, FASE.
Elvira Albert, Sergio Antoy, E. Albert, 2000 .
Germán Vidal, Elvira Albert, Michael Hanus, 2005 .