 | 2010 |
|---|
| 9 |       | Joe Hendrix,
Deepak Kapur,
José Meseguer:
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
ITP 2010: 275-290 |
| 2009 |
|---|
| 8 | | Nikolaj Bjørner,
Joe Hendrix:
Linear Functional Fixed-points.
CAV 2009: 124-139 |
| 2008 |
|---|
| 7 | | Joe Hendrix,
Hitoshi Ohsaki:
Combining Equational Tree Automata over AC and ACI Theories.
RTA 2008: 142-156 |
| 2007 |
|---|
| 6 | | 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 |
| 5 | | Manuel Clavel,
Francisco Durán,
Joe Hendrix,
Salvador Lucas,
José Meseguer,
Peter Csaba Ölveczky:
The Maude Formal Tool Environment.
CALCO 2007: 173-178 |
| 4 | | Joe Hendrix,
José Meseguer:
On the Completeness of Context-Sensitive Order-Sorted Specifications.
RTA 2007: 229-245 |
| 2006 |
|---|
| 3 | | Joe Hendrix,
José Meseguer,
Hitoshi Ohsaki:
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.
IJCAR 2006: 151-155 |
| 2 | | Joe Hendrix,
Hitoshi Ohsaki,
Mahesh Viswanathan:
Propositional Tree Automata.
RTA 2006: 50-65 |
| 2005 |
|---|
| 1 | | Joe Hendrix,
Manuel Clavel,
José Meseguer:
A Sufficient Completeness Reasoning Tool for Partial Specifications.
RTA 2005: 165-174 |
Data released under the ODC-BY 1.0 license — See also our legal information page