Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Joe Hendrix

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HendrixM12
- ask others
Joe Hendrix, José Meseguer: Order-sorted Equational Unification Revisited. Electr. Notes Theor. Comput. Sci. 290: 37-50 (2012)
2010
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/HendrixKM10
- ask others
Joe Hendrix, Deepak Kapur, José Meseguer: Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. ITP 2010: 275-290

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/BjornerH09
- ask others
Nikolaj Bjørner, Joe Hendrix: Linear Functional Fixed-points. CAV 2009: 124-139
2008
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/HendrixO08
- ask others
Joe Hendrix, Hitoshi Ohsaki: Combining Equational Tree Automata over AC and ACI Theories. RTA 2008: 142-156
2007
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/ClavelDHLMO07
- ask others
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/maude/ClavelDELMMTBFHOPSSV07
- ask others
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/HendrixM07
- ask others
Joe Hendrix, José Meseguer: On the Completeness of Context-Sensitive Order-Sorted Specifications. RTA 2007: 229-245
2006
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/HendrixMO06
- ask others
Joe Hendrix, José Meseguer, Hitoshi Ohsaki: A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. IJCAR 2006: 151-155
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/HendrixOV06
- ask others
Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan: Propositional Tree Automata. RTA 2006: 50-65
2005
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/HendrixCM05
- ask others
Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174