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: Hendrix:Joe
Contributed to:
2013
2009
20082007
200620062005Wrote 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.