Jorge A. Navas

发表

Jorge A. Navas, Leonid Ryzhyk, Nina Narodytska, 2019, PLDI.
Jorge A. Navas, Manuel V. Hermenegildo, Daniel Cabeza Gras, 2003 .
Jorge A. Navas, Bruno Dutertre, Dejan Jovanovic, 2018, NFM.
Jorge A. Navas, Manuel V. Hermenegildo, Stephanie Forrest, 2008, ICLP.
Jorge A. Navas, Arie Gurfinkel, A. Gurfinkel, 2017, SAS.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2012, CAV.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2012, APLAS.
Jorge A. Navas, Elvira Albert, Manuel Carro, 2010 .
Jorge A. Navas, Sibin Mohan, Ashish Gehani, 2020, P-RECS@HPDC.
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2009, BYTECODE@ETAPS.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2014, ArXiv.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2016, VMCAI.
Jorge A. Navas, Joxan Jaffar, Vijayaraghavan Murali, 2013, ESEC/FSE 2013.
Jorge A. Navas, Guillaume Brat, Arnaud Venet, 2014, SEFM.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2013, Theory Pract. Log. Program..
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2007, Bytecode@ETAPS.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2011, ArXiv.
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2007 .
Jorge A. Navas, Bruno Dutertre, Dejan Jonanovic, 2018 .
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2008, LOPSTR.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2015, ACM Trans. Program. Lang. Syst..
Jorge A. Navas, Manuel V. Hermenegildo, Pedro López-García, 2007, ICLP.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2013, SAS.
Jorge A. Navas, Arie Gurfinkel, Jakub Kuderski, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2013, TACAS.
Jorge A. Navas, Valentin Wüstholz, Maria Christakis, 2020, ArXiv.
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2008, FM'08 2008.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2012, SAS.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, CAV.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2011, RV.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2015, NFM.
Jorge A. Navas, Manuel V. Hermenegildo, Pedro López García, 2006 .
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2014, LOPSTR.
Jorge A. Navas, Manuel V. Hermenegildo, Pedro López García, 2010 .
Jorge A. Navas, Manuel V. Hermenegildo, Stephanie Forrest, 2008 .
Jorge A. Navas, Manuel V. Hermenegildo, Francisco Bueno, 2006, PADL.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2009 .
Jorge A. Navas, Ian A. Mason, Bruno Dutertre, 2020, VSTTE.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2010 .
Jorge A. Navas, Manuel V. Hermenegildo, Stephanie Forrest, 2008 .
Jorge A. Navas, Temesghen Kahsai, Martin Schäf, 2015, LPAR.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2019, APLAS.
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2011 .
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2016, SAS.
Jorge A. Navas, Fabio Fioravanti, Maurizio Proietti, 2014, HCVS.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, TACAS.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2014, Theor. Comput. Sci..
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, SIGL.
Jorge A. Navas, Manuel V. Hermenegildo, Francisco Bueno, 2005, WLPE.
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2006 .
Jorge A. Navas, Andrew E. Santosa, Joxan Jaffar, 2010, ATVA.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2015, Theory Pract. Log. Program..
Jorge A. Navas, Peter J. Stuckey, Kathryn Francis, 2013, CP.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2018, VSTTE.
Jorge A. Navas, Manuel V. Hermenegildo, Francisco Bueno, 2010, ArXiv.
Jorge A. Navas, Manuel V. Hermenegildo, Mario Méndez-Lojo, 2008 .
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2021, SAS.
Jorge A. Navas, Valentin Wüstholz, Maria Christakis, 2021, CAV.
Jorge A. Navas, Jörg Hoffmann, Holger Hermanns, 2021, CAV.
Jorge A. Navas, Peter J. Stuckey, Peter Schachte, 2021, ACM Trans. Program. Lang. Syst..
Jorge A. Navas, Manuel V. Hermenegildo, Francisco Bueno Carrillo, 2005 .