Jade Alglave

发表

Richard Bornat, Jade Alglave, Matthew J. Parkinson, 2015, ArXiv.
Patrick Cousot, Jade Alglave, Caterina Urban, 2016, Dagstuhl Reports.
Jade Alglave, J. Alglave, 2016, SAS.
Arthur Charguéraud, Patrick Cousot, Filip Sieczkowski, 2015 .
Francesco Zappa Nardelli, Magnus O. Myreen, Jade Alglave, 2009, SIGP.
Daniel Kroening, Jade Alglave, Michael Tautschnig, 2011, APLAS.
Ganesh Gopalakrishnan, Jade Alglave, John Wickerson, 2015, ASPLOS.
Jade Alglave, Tyler Sorensen, Luc Maranget, 2015, Tiny Trans. Comput. Sci..
Daniel Kroening, Jade Alglave, Michael Tautschnig, 2013, ArXiv.
Jade Alglave, Luc Maranget, Michael Tautschnig, 2013, ArXiv.
Jade Alglave, Peter Sewell, Kayvan Memarian, 2012, PLDI.
Daniel Kroening, Jade Alglave, Michael Tautschnig, 2013, CAV.
Jade Alglave, Peter Sewell, Luc Maranget, 2012, Formal Methods in System Design.
Andrea Parri, Alan S. Stern, Jade Alglave, 2017 .
Jade Alglave, Luc Maranget, J. Alglave, 2011, CAV.
Daniel Kroening, Jade Alglave, Daniel Poetzl, 2013, ACM Trans. Program. Lang. Syst..
Patrick Cousot, Jade Alglave, P. Cousot, 2017, POPL.
Daniel Kroening, Jade Alglave, Alastair F. Donaldson, 2011, ATVA.
Jade Alglave, J. Alglave, 2015, SFM.
Jade Alglave, Peter Sewell, Luc Maranget, 2011, PLDI '11.
Daniel Kroening, Jade Alglave, Michael Tautschnig, 2012, ESOP.
Francesco Zappa Nardelli, Jade Alglave, Peter Sewell, 2009 .
Daniel Kroening, Jade Alglave, Daniel Poetzl, 2014, CAV.
Jade Alglave, J. Alglave, 2012, Formal Methods in System Design.
Jade Alglave, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Patrick Cousot, Jade Alglave, Luc Maranget, 2016, ArXiv.
Jade Alglave, Keryan Didier, Luc Maranget, 2015 .
Rajeev Alur, Milo M. K. Martin, Jade Alglave, 2012, CAV.
Tom Ridge, Francesco Zappa Nardelli, Magnus O. Myreen, 2009, POPL '09.
Jade Alglave, Peter Sewell, Luc Maranget, 2010, CAV.
Jade Alglave, Alex Horn, J. Alglave, 2014, ArXiv.
Jade Alglave, Peter Sewell, Luc Maranget, 2013 .
Jade Alglave, Peter Sewell, Luc Maranget, 2011, TACAS.
Jade Alglave, Luc Maranget, Michael Tautschnig, 2014, PLDI 2014.
Francesco Zappa Nardelli, Magnus O. Myreen, Jade Alglave, 2009, DAMP '09.
Patrick Cousot, Jade Alglave, P. Cousot, 2016, ArXiv.
Jade Alglave, Luc Maranget, Richard Grisenthwaite, 2021, ACM Trans. Program. Lang. Syst..