BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Japan
2 × France
3 × USA
Collaborated with:
H.Ohsaki J.Meseguer N.Bjørner M.Viswanathan M.Clavel K.Carter A.Foltzer B.Huffman A.Tomb
Talks about:
complet (3) specif (3) automata (2) suffici (2) linear (2) order (2) tree (2) sort (2) workbench (1) proposit (1)

Person: Joe Hendrix

DBLP DBLP: Hendrix:Joe

Contributed to:

HILT 20132013
CAV 20092009
RTA 20082008
RTA 20072007
IJCAR 20062006
RTA 20062006
RTA 20052005

Wrote 7 papers:

HILT-2013-CarterFHHT #analysis #named
SAW: the software analysis workbench (KC, AF, JH, BH, AT), pp. 15–18.
CAV-2009-BjornerH #fixpoint #functional #linear
Linear Functional Fixed-points (NB, JH), pp. 124–139.
RTA-2008-HendrixO #automaton #equation
Combining Equational Tree Automata over AC and ACI Theories (JH, HO), pp. 142–156.
RTA-2007-HendrixM #on the #order #specification
On the Completeness of Context-Sensitive Order-Sorted Specifications (JH, JM), pp. 229–245.
IJCAR-2006-HendrixMO #axiom #linear #order #specification
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms (JH, JM, HO), pp. 151–155.
RTA-2006-HendrixOV #automaton
Propositional Tree Automata (JH, HO, MV), pp. 50–65.
RTA-2005-HendrixCM #reasoning #specification
A Sufficient Completeness Reasoning Tool for Partial Specifications (JH, MC, JM), pp. 165–174.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.