Joe Hendrix
发表
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2007,
CALCO.
Joe Hendrix,
Hitoshi Ohsaki,
Joe Hendrix,
2008,
RTA.
José Meseguer,
Joe Hendrix,
2012,
Electron. Notes Theor. Comput. Sci..
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
José Meseguer,
Manuel Clavel,
Joe Hendrix,
2005,
RTA.
José Meseguer,
Joe Hendrix,
2007,
RTA.
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013
.
Nikolaj Bjørner,
Joe Hendrix,
N. Bjørner,
2009,
CAV.
José Meseguer,
Joe Hendrix,
Hitoshi Ohsaki,
2006,
IJCAR.
Brian Huffman,
Robert Dockins,
Dylan McNamee,
2016,
VSTTE.
Robert Dockins,
Joe Hendrix,
Tristan Ravitch,
2019,
Proc. ACM Program. Lang..
José Meseguer,
Deepak Kapur,
Joe Hendrix,
2010,
ITP.
Brian Huffman,
Joe Hendrix,
Aaron Tomb,
2013,
HILT.
Mahesh Viswanathan,
Joe Hendrix,
Hitoshi Ohsaki,
2006,
RTA.
José Meseguer,
Santiago Escobar,
Catherine Meadows,
2006
.
José Meseguer,
Joe Hendrix,
Hitoshi Ohsaki,
2005
.
Joe Hendrix,
2003
.