E. Albert

发表

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.
Albert Rubio, Elvira Albert, Ilya Sergey, 2019, Lecture Notes in Computer Science.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, FMCO.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, LPAR.
Germán Vidal, Elvira Albert, Michael Hanus, 2001, FLOPS.
Peter J. Stuckey, Elvira Albert, Miguel Gómez-Zamalloa, 2017, CAV.
Elvira Albert, Peter Y. H. Wong, Radu Muschevici, 2012, International Journal on Software Tools for Technology Transfer.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2018, Softw. Test. Verification Reliab..
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WRS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, COCV@ETAPS.
Elvira Albert, E. Albert, 2012, Lecture Notes in Computer Science.
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2014, Service Oriented Computing and Applications.
Elvira Albert, Miguel Gómez-Zamalloa, Matteo Sammartino, 2018, FM.
Einar Broch Johnsen, Elvira Albert, Samir Genaim, 2011, FM.
E. Albert, Pablo Gordillo, A. Rubio, 2022 .
Elvira Albert, Germán Puebla, Puri Arenas, 2006, LPAR.
Elvira Albert, Sergio Antoy, E. Albert, 2000 .
E. Albert, P. Arenas, S. Genaim, 2012 .
Elvira Albert, Georg Moser, Guillaume Bonfante, 2017 .
Elvira Albert, E. Albert, 2018, Electronic Proceedings in Theoretical Computer Science.
María Alpuente, Germán Vidal, Elvira Albert, 1998, APPIA-GULP-PRODE.
Elvira Albert, E. Albert, 2001, AI Commun..
E. Albert, G. Puebla, M. Gómez-Zamalloa, 2006 .
E. Albert, M. Gómez-Zamalloa, Miguel Isabel, 2022 .
E. Albert, Pablo Gordillo, A. Rubio, 2022, ACM Trans. Softw. Eng. Methodol..
E. Albert, F. Steiner, E. Ferri, 2000 .
E. Albert, G. Puebla, J. Gallagher, 2006 .
María Alpuente, Germán Vidal, Elvira Albert, 1999 .
E. Albert, G. Román-Díez, Pablo Gordillo, 2023, TACAS.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2021, J. Syst. Softw..
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2014, TACAS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2009, Theory and Practice of Logic Programming.
John P. Gallagher, Elvira Albert, Miguel Gómez-Zamalloa, 2009, Inf. Process. Lett..
Germán Vidal, Elvira Albert, E. Albert, 2009, New Generation Computing.
John P. Gallagher, Elvira Albert, Miguel Gómez-Zamalloa, 2008, LOPSTR.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2007, Bytecode@ETAPS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2004, LOPSTR.
Albert Rubio, Benjamin Livshits, Elvira Albert, 2018, ATVA.
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2015, ACM Trans. Comput. Log..
E. Albert, M. Hanus, G. Vidal, 2007 .
Germán Vidal, Elvira Albert, Michael Hanus, 2002, WFLP.
Elvira Albert, Damiano Zanardini, Karina Villela, 2016, J. Log. Algebraic Methods Program..
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, SAS.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2006, ICLP.
John P. Gallagher, Elvira Albert, Germán Puebla, 2005, LOPSTR.
Elvira Albert, Samir Genaim, Damiano Zanardini, 2008, SAC '08.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2015, Theor. Comput. Sci..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2015, Softw. Test. Verification Reliab..
Elvira Albert, Samir Genaim, Germán Puebla, 2014, Sci. Comput. Program..
Raúl Gutiérrez, Elvira Albert, Samir Genaim, 2019, Theory and Practice of Logic Programming.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2013, Sci. Comput. Program..
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2011, APLAS.
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, Miguel Gómez-Zamalloa, 2010, ISMM '10.
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, 2009, ISMM '09.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2009 .
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, 2005, PPDP.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, ISSTA.
Elvira Albert, Samir Genaim, Pablo Gordillo, 2017, ATVA.
Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2012, FMOODS/FORTE.
Germán Vidal, Elvira Albert, Michael Hanus, 2000, LPAR.
Germán Vidal, Elvira Albert, Michael Hanus, 2002, J. Funct. Log. Program..
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, WFLP.
Germán Vidal, Elvira Albert, Michael Hanus, 2000, WFLP.
Albert Rubio, Elvira Albert, Shmuel Sagiv, 2020, Proc. ACM Program. Lang..
María Alpuente, Germán Vidal, Elvira Albert, 1999, LPAR.
Elvira Albert, Samir Genaim, Abu Naser Masud, 2013, TOCL.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.
Elvira Albert, Samir Genaim, Germán Puebla, 2009, PROLE.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2005, ICLP.
E. Albert, M. Sagiv, A. Rubio, 2023, IEEE Transactions on Dependable and Secure Computing.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Albert Rubio, Elvira Albert, Pablo Gordillo, 2020, CAV.
Alexandra Silva, Albert Rubio, Elvira Albert, 2021, J. Log. Algebraic Methods Program..
Alexandra Silva, Albert Rubio, Elvira Albert, 2020, ArXiv.
Albert Rubio, Elvira Albert, Guillermo Román-Díez, 2020, ArXiv.
Albert Rubio, Elvira Albert, Ilya Sergey, 2018, ArXiv.
E. Albert, Pablo Gordillo, A. Rubio, 2022, International Conference on Tools and Algorithms for Construction and Analysis of Systems.
María Alpuente, Germán Vidal, Elvira Albert, 1998, SAS.
Germán Vidal, Elvira Albert, Sergio Antoy, 2000, LOPSTR.
Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas, 2012, PADL.
Elvira Albert, Miguel Gómez-Zamalloa, Antonio Flores-Montoya, 2011, 2011 18th Working Conference on Reverse Engineering.
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla, 2010, LOPSTR.
Reiner Hähnle, E. Albert, S. Genaim, 2016, Software & Systems Modeling.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2011, PEPM '11.
Elvira Albert, Guillermo Román-Díez, Jesús Correas Fernández, 2019, J. Syst. Softw..
Einar Broch Johnsen, Elvira Albert, Ka I Pun, 2018, ACM Trans. Comput. Log..
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2014, Formal Aspects of Computing.
Elvira Albert, Germán Puebla, Guillermo Román-Díez, 2013, IFM.
Manuel V. Hermenegildo, Elvira Albert, Germán Puebla, 2008, New Generation Computing.
John P. Gallagher, Elvira Albert, Germán Puebla, 2005, LOPSTR.
Elvira Albert, José Miguel Rojas, Bjarte M. Østvold, 2012, FMICS.
Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2016, Journal of Automated Reasoning.
Germán Vidal, Elvira Albert, E. Albert, 2001, LOPSTR.
Jorge A. Navas, Elvira Albert, Manuel Carro, 2010 .
E. Albert, G. Puebla, M. Gómez-Zamalloa, 2009, Inf. Softw. Technol..
Elvira Albert, Germán Puebla, Puri Arenas, 2007, ArXiv.
Elvira Albert, Germán Puebla, Puri Arenas, 2006 .
Elvira Albert, Enrique Martin-Martin, Miquel Bofill, 2019, Theory and Practice of Logic Programming.